1 files changed, 46 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..3f13bc2d605c
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,46 @@
+# Maintainer: Brent Carmer <bcarmer@gmail.com>
+pkgname=cryptol-git
+_pkgname=cryptol
+
+pkgver=v2.2.1.r0.g300ed3c
+pkgver() {
+      cd "$_pkgname"
+        git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g'
+    }
+
+pkgrel=1
+pkgdesc="A domain-specific language for specifying cryptographic algorithms."
+url="http://www.cryptol.net"
+arch=('x86_64' 'i686')
+license=('BSD')
+depends=('cvc4')
+makedepends=('git' 'ghc' 'cabal-install>=1.20.0.0')
+optdepends=('boolector: theorem proving'
+            'mathsat-5: theorem proving'
+            'yices-bin: theorem proving')
+makedepends=()
+conflicts=()
+replaces=()
+backup=()
+conflicts=('cryptol')
+provides=('cryptol')
+md5sums=('SKIP')
+
+source=("git://github.com/GaloisInc/cryptol.git")
+
+build() {
+    cd $srcdir/${_pkgname}
+    cabal update
+    make
+}
+
+package() {
+  cd $srcdir/$_pkgname 
+  mkdir -p "$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/"
+}