diff options
| author | Andrew O'Neill | 2018-06-25 21:23:21 -0400 |
|---|---|---|
| committer | Andrew O'Neill | 2018-06-25 21:23:21 -0400 |
| commit | e8bcc22056bb86304ec2564fee7de57e6c2668bb (patch) | |
| tree | e68b4dd567a18ded9e96c3bc9c636510bfd25b09 | |
| parent | f4665236d11381f97880186b8ea4dcd81815fefb (diff) | |
| download | aur-e8bcc22056bb86304ec2564fee7de57e6c2668bb.tar.gz | |
Version bump
| -rw-r--r-- | .SRCINFO | 10 | ||||
| -rw-r--r-- | PKGBUILD | 16 |
2 files changed, 14 insertions, 12 deletions
@@ -1,6 +1,6 @@ pkgbase = why3 pkgdesc = A platform for deductive program verification - pkgver = 0.88.3 + pkgver = 1.0.0 pkgrel = 1 url = http://why3.lri.fr/ arch = x86_64 @@ -11,13 +11,15 @@ pkgbase = why3 makedepends = gtksourceview2 makedepends = lablgtk2 makedepends = ocaml-ocamlgraph - makedepends = zarith + makedepends = ocaml-num + makedepends = ocaml-zarith + makedepends = ocaml-zip makedepends = coq makedepends = isabelle depends = gtksourceview2 options = !makeflags - source = https://gforge.inria.fr/frs/download.php/file/37313/why3-0.88.3.tar.gz - sha256sums = 3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552 + source = https://gforge.inria.fr/frs/download.php/file/37604/why3-1.0.0.tar.gz + sha256sums = b65f4c1661ac8a6240778e6fa553c46098a26d029b02e5cf0e05b0c0630300a2 pkgname = why3 @@ -4,8 +4,8 @@ # Contributor: Paolo Herms pkgname=why3 -pkgver=0.88.3 -_pkgvercode=37313 # Update when bumping release +pkgver=1.0.0 +_pkgvercode=37604 # Update when bumping release pkgrel=1 pkgdesc='A platform for deductive program verification' arch=('x86_64') @@ -13,19 +13,19 @@ options=('!makeflags') url='http://why3.lri.fr/' license=('LGPL') 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=('3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552') +makedepends=('ocaml' 'ocaml-menhir' 'rubber' 'gtksourceview2' 'lablgtk2' 'ocaml-ocamlgraph' 'ocaml-num' 'ocaml-zarith' 'ocaml-zip' 'coq' 'isabelle') +source=("https://gforge.inria.fr/frs/download.php/file/${_pkgvercode}/${pkgname}-${pkgver}.tar.gz") +sha256sums=('b65f4c1661ac8a6240778e6fa553c46098a26d029b02e5cf0e05b0c0630300a2') build() { - cd $pkgname-$pkgver + cd "${pkgname}-${pkgver}" ./configure --prefix=/usr --disable-pvs-libs make } package() { - cd $pkgname-$pkgver + cd "${pkgname}-${pkgver}" - make DESTDIR=$pkgdir install + make DESTDIR="${pkgdir}" install } |