alt-ergo: 2.3.3 → 2.4.0
This commit is contained in:
parent
f4c229058d
commit
35dfa0e927
|
@ -1,12 +1,14 @@
|
||||||
{ fetchurl, lib, which, ocamlPackages }:
|
{ fetchFromGitHub, lib, which, ocamlPackages }:
|
||||||
|
|
||||||
let
|
let
|
||||||
pname = "alt-ergo";
|
pname = "alt-ergo";
|
||||||
version = "2.3.3";
|
version = "2.4.0";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchFromGitHub {
|
||||||
url = "https://alt-ergo.ocamlpro.com/http/alt-ergo-${version}/alt-ergo-${version}.tar.gz";
|
owner = "OCamlPro";
|
||||||
sha256 = "124k2a4ikk4wdpmvgjpgl97x9skvr9qznk8m68dzsynzpv6yksaj";
|
repo = pname;
|
||||||
|
rev = version;
|
||||||
|
sha256 = "1jm1yrvsg8iyfp9bb728zdx2i7yb6z7minjrfs27k5ncjqkjm65g";
|
||||||
};
|
};
|
||||||
|
|
||||||
useDune2 = true;
|
useDune2 = true;
|
||||||
|
@ -19,6 +21,7 @@ let alt-ergo-lib = ocamlPackages.buildDunePackage rec {
|
||||||
pname = "alt-ergo-lib";
|
pname = "alt-ergo-lib";
|
||||||
inherit version src useDune2 nativeBuildInputs;
|
inherit version src useDune2 nativeBuildInputs;
|
||||||
configureFlags = pname;
|
configureFlags = pname;
|
||||||
|
buildInputs = with ocamlPackages; [ dune-configurator ];
|
||||||
propagatedBuildInputs = with ocamlPackages; [ num ocplib-simplex stdlib-shims zarith ];
|
propagatedBuildInputs = with ocamlPackages; [ num ocplib-simplex stdlib-shims zarith ];
|
||||||
}; in
|
}; in
|
||||||
|
|
||||||
|
@ -36,7 +39,9 @@ ocamlPackages.buildDunePackage {
|
||||||
|
|
||||||
configureFlags = pname;
|
configureFlags = pname;
|
||||||
|
|
||||||
buildInputs = [ alt-ergo-parsers ocamlPackages.menhir ];
|
buildInputs = [ alt-ergo-parsers ] ++ (with ocamlPackages; [
|
||||||
|
cmdliner menhir ])
|
||||||
|
;
|
||||||
|
|
||||||
meta = {
|
meta = {
|
||||||
description = "High-performance theorem prover and SMT solver";
|
description = "High-performance theorem prover and SMT solver";
|
||||||
|
|
Loading…
Reference in a new issue