summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO18
-rw-r--r--PKGBUILD31
2 files changed, 49 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..c7609e0d1e4
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,18 @@
+# Generated by mksrcinfo v8
+# Wed Feb 24 15:04:43 UTC 2016
+pkgbase = darwin
+ pkgdesc = The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/
+ pkgver = 1.4.5
+ pkgrel = 2
+ url = http://combination.cs.uiowa.edu/Darwin/
+ arch = x86_64
+ license = GPL2
+ depends = ocaml
+ depends = python
+ provides = darwin
+ conflicts = darwin
+ source = http://combination.cs.uiowa.edu/Darwin/files/darwin_v1.4.5.tar.gz
+ sha1sums = 25edfc2ffb8af176387c6d8046ed447e4ae5a6b7
+
+pkgname = darwin
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..00c6ab48b03
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,31 @@
+# Maintainer: Eugen Kuksa <eugenk@cs.uni-bremen.de>
+
+pkgname=darwin
+pkgver=1.4.5
+pkgrel=2
+
+pkgdesc="The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/"
+
+url="http://combination.cs.uiowa.edu/Darwin/"
+arch=('x86_64')
+license=('GPL2')
+depends=('ocaml' 'python')
+provides=('darwin')
+conflicts=('darwin')
+sha1sums=('25edfc2ffb8af176387c6d8046ed447e4ae5a6b7')
+source=("http://combination.cs.uiowa.edu/Darwin/files/darwin_v${pkgver}.tar.gz")
+package() {
+ export MAKEFLAGS='-j1'
+ cd "${srcdir}/darwin_v${pkgver}"
+
+ python2 ./configure.py
+
+ sed -i 's/ -w $(WARNING_FLAGS) -warn-error A//g' Makefile
+
+ make
+
+ mkdir -p ${pkgdir}/usr/bin
+
+ cp darwin ${pkgdir}/usr/bin/darwin
+}
+# vim:syntax=sh