diff options
| author | Sander | 2018-10-10 21:53:58 +0200 |
|---|---|---|
| committer | Sander | 2018-10-10 21:53:58 +0200 |
| commit | a4e4f6ee658c2d4ee9aad8533150830f131864c8 (patch) | |
| tree | 58aed4b0ce3f2ccc4f56a4ee9fc664cb74c3836c | |
| download | aur-a4e4f6ee658c2d4ee9aad8533150830f131864c8.tar.gz | |
initial verifast-bin package
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 30 |
2 files changed, 44 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..f78dc47c006b --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = verifast-bin + pkgdesc = research prototype of a tool for formal verification of C and Java programs + pkgver = 18.02 + pkgrel = 1 + url = https://github.com/verifast/verifast + arch = any + license = MIT + source = http://github.com/verifast/verifast/releases/download/18.02/verifast-18.02-linux.tar.gz + source = https://raw.githubusercontent.com/verifast/verifast/master/LICENSE.md + md5sums = 79fb1f673df94776bb465fe154200129 + md5sums = a53d80725c9b46c7dc7dc507b6dee172 + +pkgname = verifast-bin + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..e0f4ea15d470 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,30 @@ +# Maintainer: Sander Van Balen <aur at sandervanbalen dot be> +# Contributor: imec-DistriNet research group, Department of Computer Science, KU Leuven - University of Leuven, Belgium + +pkgname=verifast-bin +_pkgname=verifast +pkgver=18.02 +pkgrel=1 +pkgdesc="research prototype of a tool for formal verification of C and Java programs" +arch=("any") +url="https://github.com/verifast/verifast" +license=('MIT') +depends=() +conflicts=() +source=("http://github.com/${_pkgname}/${_pkgname}/releases/download/${pkgver}/${_pkgname}-${pkgver}-linux.tar.gz" "https://raw.githubusercontent.com/verifast/verifast/master/LICENSE.md") +md5sums=("79fb1f673df94776bb465fe154200129" "a53d80725c9b46c7dc7dc507b6dee172") + +package() { + install -d "${pkgdir}/usr/bin" + install -d "${pkgdir}/usr/share/licences/${_pkgname}" + install -d "${pkgdir}/opt" + + install -m644 "${srcdir}/LICENSE.md" "${pkgdir}/usr/share/licences/${_pkgname}/LICENSE" + + destdir="${pkgdir}/opt/${_pkgname}" + cp -r "${srcdir}/${_pkgname}-${pkgver}" "${destdir}" + + ln -s "${destdir}/bin/verifast" "${pkgdir}/usr/bin/verifast" + ln -s "${destdir}/bin/vfide" "${pkgdir}/usr/bin/vfide" + ln -s "${destdir}/bin/vfide" "${pkgdir}/usr/bin/verifast-ide" +} |