Revive original package

2 files changed, 55 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..e662829d1009
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,19 @@
+# Generated by mksrcinfo v8
+# Sat Apr 16 05:49:50 UTC 2016
+pkgbase = why3-git
+	pkgdesc = The next generation of the former software verification platform Why
+	pkgver = 20120419
+	pkgrel = 1
+	url = http://why3.gforge.inria.fr/
+	arch = x86_64
+	arch = i686
+	license = GPL
+	makedepends = ocaml
+	makedepends = ocaml-sqlite3
+	makedepends = lablgtk2
+	makedepends = git
+	depends = gtksourceview2
+	conflicts = why3
+
+pkgname = why3-git
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..9905c900b8f0
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,36 @@
+
+# Contributor: Paolo Herms
+pkgname=why3-git
+pkgver=20120419
+pkgrel=1
+pkgdesc="The next generation of the former software verification platform Why"
+arch=(x86_64 i686)
+url="http://why3.gforge.inria.fr/"
+license=('GPL')
+depends=('gtksourceview2')
+makedepends=('ocaml' 'ocaml-sqlite3' 'lablgtk2' 'git')
+conflicts=('why3')
+
+_gitroot="git://scm.gforge.inria.fr/why3/why3.git"
+_gitname="why3"
+
+build() {
+  cd "$srcdir"
+
+  if [ -d $_gitname ] ; then
+    cd $_gitname && git pull origin
+  else
+    git clone $_gitroot $_gitname && 
+    cd $_gitname
+  fi
+
+  [[ -e "$srcdir"/NOCONFIGURE ]] && msg "Skipping configure - remove src/NOCONFIGURE to force it" || { 
+      autoconf &&
+      ./configure --prefix=/usr &&
+      echo "Remove this file to force ./configure" > "$srcdir"/NOCONFIGURE ||
+      return 1
+  }
+
+  make || return 1
+  make DESTDIR="$pkgdir" OCAMLLIB="$pkgdir"/usr/lib/ocaml install install-lib
+}