summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorkaptoxic2019-01-26 21:07:35 -0500
committerkaptoxic2019-01-26 21:07:35 -0500
commitf1ea9fd349dcb19a9096fc432256fd9b2becb419 (patch)
tree3390d0b934f153400069d72a3133960a5708c55b
parentd57336f3163a632522633223617a85302a10ad25 (diff)
downloadaur-f1ea9fd349dcb19a9096fc432256fd9b2becb419.tar.gz
Update to 2.2.0
-rw-r--r--.SRCINFO13
-rw-r--r--PKGBUILD16
2 files changed, 16 insertions, 13 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 679cd8d57d0..ba80aa806e9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Wed Mar 23 18:55:07 UTC 2016
+# Sun Jan 27 02:07:25 UTC 2019
pkgbase = alt-ergo
pkgdesc = SMT solver for software verification
- pkgver = 1.01
+ pkgver = 2.2.0
pkgrel = 1
url = https://alt-ergo.ocamlpro.com
arch = i686
@@ -10,9 +10,12 @@ pkgbase = alt-ergo
license = custom:CeCILL-C
makedepends = lablgtk2
depends = gtksourceview2
- depends = zarith
- source = alt-ergo::https://alt-ergo.ocamlpro.com/download_manager.php?target=alt-ergo-1.01.tar.gz
- sha256sums = d51a9833acf265d475408cde04e9beb75f950355580b9c73292ffbfbebf280eb
+ depends = ocaml-zarith
+ depends = ocaml-zip
+ depends = ocaml-ocplib-simplex-git
+ depends = ocaml-psmt2-frontend-git
+ source = https://github.com/OCamlPro/alt-ergo/archive/2.2.0.tar.gz
+ sha256sums = 61b09612be666d1f5ac0abcc41d94bae81e036cc07cd74898dd37f7fbf48da06
pkgname = alt-ergo
diff --git a/PKGBUILD b/PKGBUILD
index 6691d4de6e6..f34e0b1f4a6 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,28 +1,28 @@
# Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
pkgname=alt-ergo
-pkgver=1.01
+pkgver=2.2.0
pkgrel=1
pkgdesc='SMT solver for software verification'
arch=('i686' 'x86_64')
license=('custom:CeCILL-C')
url='https://alt-ergo.ocamlpro.com'
-depends=('gtksourceview2' 'zarith')
+depends=('gtksourceview2' 'ocaml-zarith' 'ocaml-zip' 'ocaml-ocplib-simplex-git' 'ocaml-psmt2-frontend-git')
makedepends=('lablgtk2')
-source=("${pkgname}::https://alt-ergo.ocamlpro.com/download_manager.php?target=alt-ergo-${pkgver}.tar.gz")
-sha256sums=('d51a9833acf265d475408cde04e9beb75f950355580b9c73292ffbfbebf280eb')
+source=("https://github.com/OCamlPro/alt-ergo/archive/${pkgver}.tar.gz")
+sha256sums=('61b09612be666d1f5ac0abcc41d94bae81e036cc07cd74898dd37f7fbf48da06')
build() {
- cd "$srcdir/$pkgname-$pkgver"
- ./configure -prefix /usr
+ cd "$srcdir/$pkgname-$pkgver/sources"
+ autoconf
+ ./configure --prefix=/usr
make
make gui
}
package() {
- cd "$srcdir/$pkgname-$pkgver"
+ cd "$srcdir/$pkgname-$pkgver/sources"
make DESTDIR="$pkgdir" install
make DESTDIR="$pkgdir" install-gui
- install -Dm644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
}
# vim:set et sw=4 sts=4 et: