Skip to content

Instantly share code, notes, and snippets.

@IgnoredAmbience
Created October 29, 2012 22:31
Show Gist options
  • Save IgnoredAmbience/3976968 to your computer and use it in GitHub Desktop.
Save IgnoredAmbience/3976968 to your computer and use it in GitHub Desktop.
z3-git PKGBUILD for Arch Linux
# Maintainer: Thomas Wood <grand.edgemaster@gmail.com>
pkgname=z3-git
pkgver=20121029
pkgrel=1
pkgdesc="A high performance theorem prover"
arch=('any')
url="http://research.microsoft.com/en-us/um/redmond/projects/z3/"
license=('custom')
depends=('gcc-libs')
makedepends=('git' 'dos2unix')
_gitroot=https://git01.codeplex.com/z3
_gitname=z3
build() {
cd "$srcdir"
msg "Connecting to GIT server...."
if [[ -d "$_gitname" ]]; then
cd "$_gitname" && git pull origin
msg "The local files are updated."
else
git clone "$_gitroot" "$_gitname"
fi
msg "GIT checkout done or server timeout"
msg "Starting build..."
rm -rf "$srcdir/$_gitname-build"
git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
cd "$srcdir/$_gitname-build"
autoconf
./configure --prefix=/usr
make
}
package() {
mkdir -p "$pkgdir/usr/include/z3"
mkdir -p "$pkgdir/usr/lib"
cd "$srcdir/$_gitname-build/lib"
cp `find . -name "*.h"` "$pkgdir/usr/include/z3"
cd "$srcdir/$_gitname-build/c++"
cp `find . -name "*.h"` "$pkgdir/usr/include/z3"
cd "$srcdir/$_gitname-build/bin/external"
cp `find . -name "libz3.*"` "$pkgdir/usr/lib"
install -D z3 "$pkgdir/usr/bin/z3"
cd "$srcdir/$_gitname-build"
install -Dm644 LICENSE.txt "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment