Initial commit

2 files changed, 53 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..5ccce883cc06
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,17 @@
+pkgbase = saw-script
+	pkgdesc = The SAW scripting language.
+	pkgver = 0.1.1
+	pkgrel = 1
+	url = http://saw.galois.com/
+	arch = x86_64
+	arch = i686
+	license = noncommercial
+	depends = cvc4
+	depends = ncurses
+	depends = java-environment
+	provides = saw-script
+	source = https://github.com/GaloisInc/saw-script/releases/download/v0.1.1-dev/saw-0.1.1-dev-2015-07-31-CentOS6-64.tar.gz
+	md5sums = SKIP
+
+pkgname = saw-script
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..b3e50203361b
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,36 @@
+# Maintainer: Brent Carmer <bcarmer@gmail.com>
+pkgname=saw-script
+
+pkgver=0.1.1
+pkgrel=1
+pkgdesc="The SAW scripting language."
+url="http://saw.galois.com/"
+arch=('x86_64' 'i686')
+license=('noncommercial')
+depends=('cvc4' 'ncurses' 'java-environment')
+makedepends=()
+optdepends=()
+conflicts=()
+replaces=()
+backup=()
+conflicts=('')
+provides=('saw-script')
+md5sums=('SKIP')
+
+source=('https://github.com/GaloisInc/saw-script/releases/download/v0.1.1-dev/saw-0.1.1-dev-2015-07-31-CentOS6-64.tar.gz')
+
+#build() {
+  #echo "HI"
+#}
+
+package() {
+  cd $srcdir/"saw-0.1.1-dev-2015-07-31-CentOS6-64"
+  mkdir -p "$pkgdir/usr/bin"
+  cp bin/* "$pkgdir/usr/bin"
+  #mkdir -p "$pkgdir/usr/share/cryptol"
+  #mkdir -p "$pkgdir/usr/share/licenses/$_pkgname/"
+  ##cp .cabal-sandbox/bin/cryptol "$pkgdir/usr/bin"
+  #cp dist/build/cryptol/cryptol "$pkgdir/usr/bin"
+  #cp lib/* "$pkgdir/usr/share/cryptol"
+  #cp LICENSE "$pkgdir/usr/share/licenses/$_pkgname/"
+}