diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-02-12 09:19:06 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-02-12 09:19:06 +0000 |
| commit | e4a8af06d17eb39bee9808b4159d198f5e5a611d (patch) | |
| tree | 51b846d5eaaa0fbfed0d51a887f2a6cf30a71433 /pkgs/applications/science/logic/alt-ergo | |
| parent | 17711be1abcd06009ff3846706cf685c47cf549a (diff) | |
| download | nixpkgs-e4a8af06d17eb39bee9808b4159d198f5e5a611d.tar nixpkgs-e4a8af06d17eb39bee9808b4159d198f5e5a611d.tar.gz nixpkgs-e4a8af06d17eb39bee9808b4159d198f5e5a611d.tar.bz2 nixpkgs-e4a8af06d17eb39bee9808b4159d198f5e5a611d.tar.lz nixpkgs-e4a8af06d17eb39bee9808b4159d198f5e5a611d.tar.xz nixpkgs-e4a8af06d17eb39bee9808b4159d198f5e5a611d.tar.zst nixpkgs-e4a8af06d17eb39bee9808b4159d198f5e5a611d.zip | |
alt-ergo: 2.2.0 -> 2.3.0
Diffstat (limited to 'pkgs/applications/science/logic/alt-ergo')
| -rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix index 794430ebbe8..234b7474997 100644 --- a/pkgs/applications/science/logic/alt-ergo/default.nix +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -1,17 +1,20 @@ -{ fetchurl, stdenv, ocamlPackages }: +{ fetchurl, stdenv, which, dune, ocamlPackages }: stdenv.mkDerivation rec { name = "alt-ergo-${version}"; - version = "2.2.0"; + version = "2.3.0"; src = fetchurl { url = "https://alt-ergo.ocamlpro.com/download_manager.php?target=${name}.tar.gz"; name = "${name}.tar.gz"; - sha256 = "106zfgisq6qxr7dlk8z7gi68ly7qff4frn8wab2g8z2nkkwla92w"; + sha256 = "1ycr3ff0gacq1aqzs16n6swgfniwpim0m7rvhcam64kj0a80c6bz"; }; - buildInputs = with ocamlPackages; - [ ocaml findlib camlzip ocamlgraph zarith lablgtk ocplib-simplex psmt2-frontend menhir num ]; + buildInputs = [ dune which ] ++ (with ocamlPackages; [ + ocaml findlib camlzip lablgtk menhir num ocplib-simplex psmt2-frontend seq zarith + ]); + + preConfigure = "patchShebangs ./configure"; meta = { description = "High-performance theorem prover and SMT solver"; |