Package for ProVerif version 1.90

2 files changed, 46 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..01d3f824f300
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,15 @@
+pkgbase = proverif
+	pkgdesc = Cryptographic protocol verifier in the formal model
+	pkgver = 1.90
+	pkgrel = 1
+	url = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/
+	arch = i686
+	arch = x86_64
+	license = GPL
+	depends = ocaml
+	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif1.90.tar.gz
+	sha1sums = e083b1fac9003d291dde35cb188f0344ade7849e
+	sha256sums = 7132729a7674c8c71414d0f0d9a86f6cb4aae7552598a8cd8b0239673521a991
+
+pkgname = proverif
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..188e4d2c8cad
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,31 @@
+# Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
+pkgname=proverif
+pkgver=1.90
+pkgrel=1
+pkgdesc='Cryptographic protocol verifier in the formal model'
+arch=('i686' 'x86_64')
+url='http://prosecco.gforge.inria.fr/personal/bblanche/proverif/'
+license=('GPL')
+depends=('ocaml')
+source=("http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif$pkgver.tar.gz")
+sha1sums=('e083b1fac9003d291dde35cb188f0344ade7849e')
+sha256sums=('7132729a7674c8c71414d0f0d9a86f6cb4aae7552598a8cd8b0239673521a991')
+
+build() {
+  cd "$srcdir/proverif$pkgver"
+  ./build
+}
+
+check() {
+  cd "$srcdir/proverif$pkgver"
+  ./test all
+  ./test-type all
+}
+
+package() {
+  cd "$srcdir/proverif$pkgver"
+
+  install -Dm755 proverif "$pkgdir/usr/bin/proverif"
+  install -Dm755 proveriftotex "$pkgdir/usr/bin/proveriftotex"
+  install -Dm644 LICENSE "$pkgdir/usr/share/licenses/proverif/LICENSE"
+}