init

2 files changed, 56 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..5803c8993ae3
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,13 @@
+pkgbase = btor2tools-git
+	pkgdesc = A generic parser and tool package for the BTOR2 format.
+	pkgver = r60.1df768d
+	pkgrel = 1
+	url = https://github.com/Boolector/btor2tools
+	arch = any
+	license = MIT
+	source = git://github.com/Boolector/btor2tools.git
+	sha256sums = SKIP
+	sha512sums = SKIP
+
+pkgname = btor2tools-git
+
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"
+}