diff options
| author | Florian Hahn | 2015-10-14 16:45:52 +0200 |
|---|---|---|
| committer | Florian Hahn | 2015-10-14 16:45:52 +0200 |
| commit | ba96fc681ae2ef6de223a9c04817751c10d81398 (patch) | |
| tree | 3815c2c0ce5cd06d1c018d65a4b0437c87a0628f /PKGBUILD | |
| download | aur-ba96fc681ae2ef6de223a9c04817751c10d81398.tar.gz | |
Update boogie PKGBUILD
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..2b56b08337be --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,46 @@ +# Maintainer: Florian Hahn <flo@fhahn.com> + +pkgname=boogie-git +pkgdesc='Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a +reasoning engine, typically an SMT solver' +license=('custom: Ms-Pl') +pkgver=0.r4273.bad6c01 +pkgrel=1 +depends=('z3-git' 'mono') +makedepends=('mercurial' 'wget') +conflicts=('boogie') +provides=('boogie') +arch=('any') +url=('http://boogie.codeplex.com') +source=("$pkgname"::'git+https://github.com/boogie-org/boogie.git' + execute_boogie.sh + license.txt) +md5sums=('SKIP' + '3c484f49455c24eb8984461b9d78d45f' + 'ab2e2e62d9befcc932895745749d4a54') + + +pkgver() { + cd "$pkgname" + printf "0.r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" +} + +build() { + cd "${srcdir}/${pkgname}/" + wget https://nuget.org/nuget.exe + mono ./nuget.exe restore Source/Boogie.sln + xbuild Source/Boogie.sln +} + +package() { + install -Dm755 execute_boogie.sh "${pkgdir}/usr/bin/boogie" + install -Dm644 license.txt "${pkgdir}/usr/share/licenses/boogie/LICENSE" + cd "${srcdir}/${pkgname}/Binaries" + + # install dll and exe files + for dll in $(ls *.dll *.exe) + do + install -Dm644 "$dll" "${pkgdir}/usr/lib/boogie/$dll" + done + ln -s /usr/bin/z3 "${pkgdir}/usr/lib/boogie/z3.exe" +} |