initial commit

2 files changed, 64 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..177937792f4a
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,22 @@
+# Generated by mksrcinfo v8
+# Fri Sep 30 17:59:07 UTC 2016
+pkgbase = saw-script-git
+	pkgdesc = The SAW scripting language.
+	pkgver = cbeb831
+	pkgrel = 1
+	url = http://saw.galois.com/
+	arch = x86_64
+	license = noncommercial
+	makedepends = cabal-install
+	depends = cvc4
+	depends = libtinfo
+	depends = java-environment
+	depends = ncurses
+	depends = cryptol
+	provides = saw-script
+	conflicts = saw-script
+	source = git://github.com/GaloisInc/saw-script.git
+	md5sums = SKIP
+
+pkgname = saw-script-git
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..3346eed4965c
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,42 @@
+# Maintainer: Brent Carmer <bcarmer@gmail.com>
+pkgname=saw-script-git
+_pkgname=saw-script
+
+pkgver=cbeb831
+pkgver() {
+    cd "$_pkgname"
+    git describe --long --tags --always | sed -r 's/([^-]*-g)/r\1/;s/-/./g'
+}
+
+pkgrel=1
+pkgdesc="The SAW scripting language."
+url="http://saw.galois.com/"
+arch=('x86_64')
+license=('noncommercial')
+depends=('cvc4' 'libtinfo' 'java-environment' 'ncurses' 'cryptol')
+makedepends=('cabal-install')
+optdepends=()
+conflicts=()
+replaces=()
+backup=()
+conflicts=('saw-script')
+provides=('saw-script')
+md5sums=('SKIP')
+
+source=('git://github.com/GaloisInc/saw-script.git')
+
+build() {
+    cd $srcdir/${_pkgname}
+    cabal update
+    hash stack || cabal install stack
+    ln -fs stack.ghc-8.0-unix.yaml stack.yaml
+    ./build-sandbox.sh -p
+}
+
+package() {
+    mkdir -p $pkgdir/usr/share/licenses/$_pkgname
+    mkdir -p $pkgdir/usr/bin
+    cd $srcdir/$_pkgname
+    cp LICENSE $pkgdir/usr/share/licenses/$_pkgname
+    cp $(stack path --local-install-root)/bin/saw $pkgdir/usr/bin
+}