public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

alt-ergo: 2.2.0 -> 2.3.0

Browse Source
This commit is contained in:
Vincent Laporte 2019-02-12 09:19:06 +00:00
parent 17711be1ab
commit e4a8af06d1
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/applications/science/logic/alt-ergo/default.nix
View File

@ -1,17 +1,20 @@
{ fetchurl, stdenv, ocamlPackages }: { fetchurl, stdenv, which, dune, ocamlPackages }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "alt-ergo-${version}"; name = "alt-ergo-${version}";
version = "2.2.0"; version = "2.3.0";
src = fetchurl { src = fetchurl {
url = "https://alt-ergo.ocamlpro.com/download_manager.php?target=${name}.tar.gz"; url = "https://alt-ergo.ocamlpro.com/download_manager.php?target=${name}.tar.gz";
name = "${name}.tar.gz"; name = "${name}.tar.gz";
sha256 = "106zfgisq6qxr7dlk8z7gi68ly7qff4frn8wab2g8z2nkkwla92w"; sha256 = "1ycr3ff0gacq1aqzs16n6swgfniwpim0m7rvhcam64kj0a80c6bz";
}; };
buildInputs = with ocamlPackages; buildInputs = [ dune which ] ++ (with ocamlPackages; [
[ ocaml findlib camlzip ocamlgraph zarith lablgtk ocplib-simplex psmt2-frontend menhir num ]; ocaml findlib camlzip lablgtk menhir num ocplib-simplex psmt2-frontend seq zarith
]);
preConfigure = "patchShebangs ./configure";
meta = { meta = {
description = "High-performance theorem prover and SMT solver"; description = "High-performance theorem prover and SMT solver";