summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD30
1 files changed, 21 insertions, 9 deletions
diff --git a/PKGBUILD b/PKGBUILD
index f34e0b1f4a69..0352d79bcb2b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,26 +1,38 @@
# Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
pkgname=alt-ergo
-pkgver=2.2.0
+pkgver=2.3.0
pkgrel=1
pkgdesc='SMT solver for software verification'
-arch=('i686' 'x86_64')
+arch=('x86_64')
license=('custom:CeCILL-C')
url='https://alt-ergo.ocamlpro.com'
-depends=('gtksourceview2' 'ocaml-zarith' 'ocaml-zip' 'ocaml-ocplib-simplex-git' 'ocaml-psmt2-frontend-git')
-makedepends=('lablgtk2')
-source=("https://github.com/OCamlPro/alt-ergo/archive/${pkgver}.tar.gz")
-sha256sums=('61b09612be666d1f5ac0abcc41d94bae81e036cc07cd74898dd37f7fbf48da06')
+depends=('gtksourceview2' 'ocaml-zarith' 'ocaml-zip' 'ocaml-num' 'ocaml-menhir'
+ 'ocaml-ocplib-simplex-git' 'ocaml-psmt2-frontend-git')
+makedepends=('lablgtk2' 'dune')
+source=("https://github.com/OCamlPro/alt-ergo/archive/$pkgver.tar.gz"
+ "non_fatal_warnings.patch")
+sha256sums=('8bcb71bc7568658799d49ca595f793cb576534fe87752739f6ec1c215a292e5b'
+ 'c09353c7d125135e9d451fa55d087dc4c92eadeb280cd56926723673a02a5e84')
+
+prepare() {
+ cd "$pkgname-$pkgver"/sources
+
+ # Make deprecation warnings for Pervasives non-fatal
+ # https://github.com/ocaml/dune/issues/1465
+ patch -p0 < "$srcdir"/non_fatal_warnings.patch
+}
build() {
- cd "$srcdir/$pkgname-$pkgver/sources"
- autoconf
+ cd "$pkgname-$pkgver"/sources
+
./configure --prefix=/usr
make
make gui
}
package() {
- cd "$srcdir/$pkgname-$pkgver/sources"
+ cd "$pkgname-$pkgver"/sources
+
make DESTDIR="$pkgdir" install
make DESTDIR="$pkgdir" install-gui
}