Initial import

2 files changed, 65 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..ebe458b286bf
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,19 @@
+pkgbase = cryptol-git
+	pkgdesc = A domain-specific language for specifying cryptographic algorithms.
+	pkgver = v2.2.1.r0.g300ed3c
+	pkgrel = 1
+	url = http://www.cryptol.net
+	arch = x86_64
+	arch = i686
+	license = BSD
+	depends = cvc4
+	optdepends = boolector: theorem proving
+	optdepends = mathsat-5: theorem proving
+	optdepends = yices-bin: theorem proving
+	provides = cryptol
+	conflicts = cryptol
+	source = git://github.com/GaloisInc/cryptol.git
+	md5sums = SKIP
+
+pkgname = cryptol-git
+
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/"
+}