diff options
author | Deian Stefan | 2019-06-13 15:17:40 -0700 |
---|---|---|
committer | Deian Stefan | 2019-06-13 15:17:40 -0700 |
commit | 355b38ec47127888bed14d630fae3f19543203ae (patch) | |
tree | a8caf86546ac4e12d7183e7a3524f6f183131d74 /PKGBUILD | |
download | aur-355b38ec47127888bed14d630fae3f19543203ae.tar.gz |
init
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..ab4e25b227f4 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,43 @@ +# Maintainer: Deian Stefan + +_pkgname=btor2tools +pkgname=btor2tools-git +pkgver=r60.1df768d +pkgrel=1 +pkgdesc="A generic parser and tool package for the BTOR2 format." +arch=('any') +url="https://github.com/Boolector/btor2tools" +license=('MIT') +depends=() +makedepends=() +conflicts=() +source=("git://github.com/Boolector/btor2tools.git") +sha256sums=('SKIP') +sha512sums=('SKIP') + +pkgver() { + cd $_pkgname + printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" +} + +prepare() { + cd $srcdir +} + +build() { + + cd "$srcdir/btor2tools" + CFLAGS="" ./configure.sh -shared -fPIC + make +} + +package() { + mkdir -p "$pkgdir/usr/bin/" + mkdir -p "$pkgdir/usr/lib/" + mkdir -p "$pkgdir/usr/include/btor2parser" + + install -m755 btor2tools/bin/* "$pkgdir/usr/bin/" + install -m755 btor2tools/build/*.so "$pkgdir/usr/lib/" + install -m755 btor2tools/build/*.a "$pkgdir/usr/lib/" + install -m755 btor2tools/src/btor2parser/btor2parser.h "$pkgdir/usr/include/btor2parser" +} |