Arch Linux User Repository

I can't get this build to work (see error below). A quick google search of the error points to some kind of incompatiblity with ocaml-num but I'm not sure how to handle it. Does anyone have an idea what to do here?

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "_none_", line 1:   
Error: Files /usr/lib/ocaml/num/nums.cmxa and /usr/lib/ocaml/stdlib.cmxa
       make inconsistent assumptions over implementation Stdlib__sys
File "tools/gui/connected_ast.ml", line 391, characters 20-34:
391 |             assert (Pervasives.(=) v v');

I get following error:

checking for ocp-ocamlc... no
checking for ocamlc... ocamlc
ocaml version is 4.07.1
ocaml library path is /usr/lib/ocaml
checking for ocamlfind... yes
ocamlfind: Package `zarith' not found
checking for /usr/lib/ocaml/zarith/zarith.cma... yes
ocamlfind found num in -I /home/radek/.opam/system/lib/num
ocamlfind: Package `camlzip' not found
checking for /usr/lib/ocaml/zip/zip.cma... yes
ocamlfind: Package `ocplib-simplex' not found
configure: error: Cannot find ocplib-simplex library.

Does not build:

File "/home/kuba/.cache/aurman/alt-ergo/src/alt-ergo-2.2.0/sources/parsers/smt2/psmt2_to_alt_ergo.ml", line 47, characters 17-21:
Error: This expression has type (Lexing.position * Lexing.position) option
       but an expression was expected of type
         Loc.t = Lexing.position * Lexing.position
make: *** [Makefile.users:305: parsers/smt2/psmt2_to_alt_ergo.cmx] Error 2

I have minutes of OCaml experience, but I think it might be caused by ocaml-psmt2-frontend-git, considering the error path.

Edit: updating to 2.3.0 fixes the issue. You'll need to add dune to makedepends and remove the autoconfig line.

To update to version 2.2.0, the following diff can be applied:

diff --git a/PKGBUILD b/PKGBUILD
index 6691d4d..f34e0b1 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:
</matej.grabovsky>

@IooNag: Sorry, I'm having some trouble compiling the latest version right now.

alt-ergo version 1.01 is no longer available on https://alt-ergo.ocamlpro.com/ . The package needs to be updated to version 1.30.
Moreover could you please add the version number to the downloaded archive, for example by using this line do define "source"?

source=("${pkgname}-${pkgver}.tar.gz::https://alt-ergo.ocamlpro.com/download_manager.php?target=alt-ergo-${pkgver}.tar.gz")