diff options
| author | Marek Kubica | 2015-06-08 20:18:06 +0200 |
|---|---|---|
| committer | Marek Kubica | 2015-06-08 20:18:06 +0200 |
| commit | 0ee2c8adf8806d069f2567a2601ea5e86d1b8a6e (patch) | |
| tree | 321cb2fd4e72d2b6a2f7c288cee051ae357baff6 | |
| download | aur-0ee2c8adf8806d069f2567a2601ea5e86d1b8a6e.tar.gz | |
Initial import
| -rw-r--r-- | .SRCINFO | 18 | ||||
| -rw-r--r-- | PKGBUILD | 28 |
2 files changed, 46 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..f4e0fa1a5c1d --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +pkgbase = why3 + pkgdesc = The next generation of the former software verification platform Why + pkgver = 0.85 + pkgrel = 1 + url = http://why3.gforge.inria.fr/ + arch = x86_64 + arch = i686 + license = GPL + makedepends = ocaml + makedepends = ocaml-sqlite3 + makedepends = lablgtk2 + depends = gtksourceview2 + depends = sqlite3 + source = https://gforge.inria.fr/frs/download.php/34074/why3-0.85.tar.gz + md5sums = f6d36c0dc43fe75af148d92d76b15937 + +pkgname = why3 + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..27417cf2e8e7 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,28 @@ +# Contributor: Lex Black <autumn-wind at web dot de> +# Contributor: Paolo Herms + +pkgname=why3 +pkgver=0.85 +_pkgvercode=34074 # IMPORTANT: update from gforge! +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' 'sqlite3') +makedepends=('ocaml' 'ocaml-sqlite3' 'lablgtk2') +source=(https://gforge.inria.fr/frs/download.php/$_pkgvercode/$pkgname-$pkgver.tar.gz) +md5sums=('f6d36c0dc43fe75af148d92d76b15937') + + +build() { + cd "$srcdir"/$pkgname-$pkgver + ./configure --prefix=/usr --disable-pvs-libs + make clean + make all # src/why3.cma +} + +package() { + cd "$srcdir"/$pkgname-$pkgver + make DESTDIR="$pkgdir" OCAMLLIB="$pkgdir"/usr/lib/ocaml install install-lib +} |