Search Criteria
Package Details: alt-ergo 2.3.0-2
Git Clone URL: | https://aur.archlinux.org/alt-ergo.git (read-only, click to copy) |
---|---|
Package Base: | alt-ergo |
Description: | SMT solver for software verification |
Upstream URL: | https://alt-ergo.ocamlpro.com |
Keywords: | sat-solver smt-solver |
Licenses: | |
Submitter: | mgrabovsky |
Maintainer: | None |
Last Packager: | Alad |
Votes: | 1 |
Popularity: | 0.000000 |
First Submitted: | 2016-03-23 18:59 |
Last Updated: | 2019-11-30 19:49 |
Dependencies (9)
- gtksourceview2
- ocaml-menhir (ocaml-menhir-compcert)
- ocaml-num
- ocaml-ocplib-simplex (ocaml-ocplib-simplex-git)
- ocaml-psmt2-frontend (ocaml-psmt2-frontend-git)
- ocaml-zarith
- ocaml-zip (ocaml-camlzip)
- dune (make)
- lablgtk2 (make)
Required by (2)
- frama-c-git (make)
- spark2014-git (optional)
Latest Comments
RobinWA commented on 2021-01-06 16:10
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?
radrow commented on 2019-06-27 13:48
I get following error:
NieDzejkob commented on 2019-04-23 19:34
Does not build:
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
tomakedepends
and remove theautoconfig
line.untitled commented on 2018-08-28 10:55
To update to version 2.2.0, the following diff can be applied:
mgrabovsky commented on 2016-12-31 17:12
@IooNag: Sorry, I'm having some trouble compiling the latest version right now.
IooNag commented on 2016-12-31 11:54
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")