diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-03-24 08:33:34 +0100 |
---|---|---|
committer | Benjamin Hipple <bhipple@protonmail.com> | 2020-03-24 20:43:06 -0400 |
commit | 618bca7054f946a33b3f65dfd304035e399426ee (patch) | |
tree | 3cd20611dd3dbb346b8b9e24b96092d62f32ea74 /pkgs/applications | |
parent | fcbc4151d4a81916608ce9732a19d819c9ea1059 (diff) | |
download | nixlib-618bca7054f946a33b3f65dfd304035e399426ee.tar nixlib-618bca7054f946a33b3f65dfd304035e399426ee.tar.gz nixlib-618bca7054f946a33b3f65dfd304035e399426ee.tar.bz2 nixlib-618bca7054f946a33b3f65dfd304035e399426ee.tar.lz nixlib-618bca7054f946a33b3f65dfd304035e399426ee.tar.xz nixlib-618bca7054f946a33b3f65dfd304035e399426ee.tar.zst nixlib-618bca7054f946a33b3f65dfd304035e399426ee.zip |
alt-ergo: 2.3.0 → 2.3.1
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 44 |
1 files changed, 33 insertions, 11 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix index f83480cfbafc..ad931c23d53c 100644 --- a/pkgs/applications/science/logic/alt-ergo/default.nix +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -1,26 +1,48 @@ -{ fetchurl, stdenv, which, dune, ocamlPackages }: +{ fetchurl, lib, which, ocamlPackages }: -stdenv.mkDerivation rec { +let pname = "alt-ergo"; - version = "2.3.0"; + version = "2.3.1"; src = fetchurl { url = "https://alt-ergo.ocamlpro.com/download_manager.php?target=${pname}-${version}.tar.gz"; name = "${pname}-${version}.tar.gz"; - sha256 = "1ycr3ff0gacq1aqzs16n6swgfniwpim0m7rvhcam64kj0a80c6bz"; + sha256 = "124n836alqm13245hcnxixzc6a15rip919shfflvxqnl617mkmhg"; }; - buildInputs = [ dune which ] ++ (with ocamlPackages; [ - ocaml findlib camlzip lablgtk menhir num ocplib-simplex psmt2-frontend seq zarith - ]); - preConfigure = "patchShebangs ./configure"; + nativeBuildInputs = [ which ]; + +in + +let alt-ergo-lib = ocamlPackages.buildDunePackage rec { + pname = "alt-ergo-lib"; + inherit version src preConfigure nativeBuildInputs; + configureFlags = pname; + propagatedBuildInputs = with ocamlPackages; [ num ocplib-simplex zarith ]; +}; in + +let alt-ergo-parsers = ocamlPackages.buildDunePackage rec { + pname = "alt-ergo-parsers"; + inherit version src preConfigure nativeBuildInputs; + configureFlags = pname; + buildInputs = with ocamlPackages; [ menhir ]; + propagatedBuildInputs = [ alt-ergo-lib ] ++ (with ocamlPackages; [ camlzip psmt2-frontend ]); +}; in + +ocamlPackages.buildDunePackage { + + inherit pname version src preConfigure nativeBuildInputs; + + configureFlags = pname; + + buildInputs = [ alt-ergo-parsers ocamlPackages.menhir ]; + meta = { description = "High-performance theorem prover and SMT solver"; homepage = "https://alt-ergo.ocamlpro.com/"; - license = stdenv.lib.licenses.ocamlpro_nc; - platforms = stdenv.lib.platforms.linux ++ stdenv.lib.platforms.darwin; - maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + license = lib.licenses.ocamlpro_nc; + maintainers = [ lib.maintainers.thoughtpolice ]; }; } |