diff options
| author | kaptoxic | 2016-11-19 23:47:48 -0500 |
|---|---|---|
| committer | kaptoxic | 2016-11-19 23:47:48 -0500 |
| commit | a879df43b01285719ad8c52f57e5d72d4d460394 (patch) | |
| tree | 4dbf2f001d26bf13aab15bf8c838ab99588e8515 | |
| download | aur-a879df43b01285719ad8c52f57e5d72d4d460394.tar.gz | |
Revive original package
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 23 |
2 files changed, 40 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..fd9a058ea8cf --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +# Generated by mksrcinfo v8 +# Sun Nov 20 04:47:12 UTC 2016 +pkgbase = z3-bin + pkgdesc = An automatic theorem prover + pkgver = 4.1 + pkgrel = 1 + url = http://research.microsoft.com/en-us/um/redmond/projects/z3 + arch = i686 + arch = x86_64 + license = custom + source = http://research.microsoft.com/projects/z3/z3-4.1.tar.gz + source = http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/Z%203%20MSR-LA%20(2007-07-07).txt + md5sums = 4b7b4836264a7969f052cea45057e55b + md5sums = c5f05e7f2f95c796d5101069276d326f + +pkgname = z3-bin + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..47ac660ceb40 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,23 @@ +# Contributor: Paolo Herms + +pkgname=z3-bin +pkgver=4.1 +pkgrel=1 +pkgdesc="An automatic theorem prover" +arch=(i686 x86_64) +url="http://research.microsoft.com/en-us/um/redmond/projects/z3" +license=('custom') +source=("http://research.microsoft.com/projects/z3/z3-$pkgver.tar.gz" + 'http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/Z%203%20MSR-LA%20(2007-07-07).txt') +md5sums=('4b7b4836264a7969f052cea45057e55b' + 'c5f05e7f2f95c796d5101069276d326f') +[[ "$CARCH" = x86_64 ]] && { + source[0]="http://research.microsoft.com/projects/z3/z3-x64-$pkgver.tar.gz" + md5sums[0]='c4beeb5e86fe8dc0baf35a2e2a51476e' +} + +build() { + install -D "$srcdir"/z3/bin/z3 "$pkgdir"/usr/bin/z3 + install -m644 -D "$srcdir/Z%203%20MSR-LA%20(2007-07-07).txt" "$pkgdir"/usr/share/licenses/$pkgname/LICENSE +} + |