diff options
| author | Andrew O'Neill | 2017-10-15 17:35:53 -0400 |
|---|---|---|
| committer | Andrew O'Neill | 2017-10-15 17:35:53 -0400 |
| commit | 145f6dfbdf14c8eeb78108725ccdcf6a29d33e09 (patch) | |
| tree | c93e96c34c4fac81751213b22245331381452720 | |
| parent | 080cb8e0fb8d5de951fe3576a64c22aeba9b81de (diff) | |
| download | aur-145f6dfbdf14c8eeb78108725ccdcf6a29d33e09.tar.gz | |
Version bump
| -rw-r--r-- | .SRCINFO | 19 | ||||
| -rw-r--r-- | PKGBUILD | 35 |
2 files changed, 31 insertions, 23 deletions
@@ -1,19 +1,24 @@ pkgbase = why3 pkgdesc = The next generation of the software verification platform Why - pkgver = 0.86.3 - pkgrel = 2 + pkgver = 0.88.0 + pkgrel = 1 url = http://why3.lri.fr/ arch = x86_64 arch = i686 license = LGPL makedepends = ocaml - makedepends = ocaml-sqlite3 - makedepends = lablgtk2 makedepends = ocaml-menhir + makedepends = rubber + makedepends = gtksourceview2 + makedepends = lablgtk2 + makedepends = ocaml-ocamlgraph + makedepends = zarith + makedepends = coq + makedepends = isabelle depends = gtksourceview2 - depends = sqlite - source = https://gforge.inria.fr/frs/download.php/35537/why3-0.86.3.tar.gz - sha512sums = f6df47c01094a9eda1a416ad1787a5f0601022f4889e6f557fca59bd3b59faa9887be3d33f051d10f21a2b5b43bc76c4f5a9f6d1904c07ecee7ceef836ec9b7a + options = !makeflags + source = https://gforge.inria.fr/frs/download.php/file/37147/why3-0.88.0.tar.gz + sha256sums = 523b2566aa8f2089e52d2ea78bce310a7668c1e488fca49b3272ccef1c24bda4 pkgname = why3 @@ -1,28 +1,31 @@ +# Maintainer: Andrew O'Neill <andrew at meanjollies dot com> # Contributor: Marek Kubica <marek@xivilization.net> # Contributor: Lex Black <autumn-wind at web dot de> # Contributor: Paolo Herms pkgname=why3 -pkgver=0.86.3 -_pkgvercode=35537 # IMPORTANT: update from gforge! -pkgrel=2 -pkgdesc="The next generation of the software verification platform Why" -arch=(x86_64 i686) -url="http://why3.lri.fr/" +pkgver=0.88.0 +_pkgvercode=37147 # Update when bumping release +pkgrel=1 +pkgdesc='The next generation of the software verification platform Why' +arch=('x86_64' 'i686') +options=('!makeflags') +url='http://why3.lri.fr/' license=('LGPL') -depends=('gtksourceview2' 'sqlite') -makedepends=('ocaml' 'ocaml-sqlite3' 'lablgtk2' 'ocaml-menhir') -source=(https://gforge.inria.fr/frs/download.php/$_pkgvercode/$pkgname-$pkgver.tar.gz) -sha512sums=('f6df47c01094a9eda1a416ad1787a5f0601022f4889e6f557fca59bd3b59faa9887be3d33f051d10f21a2b5b43bc76c4f5a9f6d1904c07ecee7ceef836ec9b7a') +depends=('gtksourceview2') +makedepends=('ocaml' 'ocaml-menhir' 'rubber' 'gtksourceview2' 'lablgtk2' 'ocaml-ocamlgraph' 'zarith' 'coq' 'isabelle') +source=(https://gforge.inria.fr/frs/download.php/file/$_pkgvercode/$pkgname-$pkgver.tar.gz) +sha256sums=('523b2566aa8f2089e52d2ea78bce310a7668c1e488fca49b3272ccef1c24bda4') build() { - cd "$srcdir"/$pkgname-$pkgver - ./configure --prefix=/usr --disable-pvs-libs - make clean - make all # src/why3.cma + cd $pkgname-$pkgver + + ./configure --prefix=/usr --disable-pvs-libs + make } package() { - cd "$srcdir"/$pkgname-$pkgver - make -j 1 DESTDIR="$pkgdir" OCAMLLIB="$pkgdir"/usr/lib/ocaml install install-lib + cd $pkgname-$pkgver + + make DESTDIR=$pkgdir install } |