diff options
author | Austin Seipp <aseipp@pobox.com> | 2014-05-01 02:29:42 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2014-05-01 02:42:31 -0500 |
commit | 6d52463bd338ebe3bdb1aeed6b6557d219c37788 (patch) | |
tree | af3f6c069958390ab1d05b781e8e394db5afb3ac /pkgs/applications/science/logic/alt-ergo | |
parent | 4ee4f76176856c2d0e11dbd1b1a00836d3ba9ee0 (diff) | |
download | nixpkgs-6d52463bd338ebe3bdb1aeed6b6557d219c37788.tar nixpkgs-6d52463bd338ebe3bdb1aeed6b6557d219c37788.tar.gz nixpkgs-6d52463bd338ebe3bdb1aeed6b6557d219c37788.tar.bz2 nixpkgs-6d52463bd338ebe3bdb1aeed6b6557d219c37788.tar.lz nixpkgs-6d52463bd338ebe3bdb1aeed6b6557d219c37788.tar.xz nixpkgs-6d52463bd338ebe3bdb1aeed6b6557d219c37788.tar.zst nixpkgs-6d52463bd338ebe3bdb1aeed6b6557d219c37788.zip |
nixpkgs: add alt-ergo 0.95.2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic/alt-ergo')
-rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix new file mode 100644 index 00000000000..2a95d0cd65b --- /dev/null +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -0,0 +1,23 @@ +{ fetchurl, stdenv, ocaml, ocamlPackages, gmp }: + +stdenv.mkDerivation rec { + name = "alt-ergo-${version}"; + version = "0.95.2"; + + src = fetchurl { + url = "http://alt-ergo.ocamlpro.com/download_manager.php?target=${name}.tar.gz"; + name = "${name}.tar.gz"; + sha256 = "1b7f0rh3jgm67g0x2m3wv7gnnqmz9cjlrfm136z56ihlkhsd8v2s"; + }; + + buildInputs = with ocamlPackages; + [ ocaml findlib ocamlgraph zarith lablgtk gmp ]; + + meta = { + description = "Alt-Ergo is a high-performance theorem prover and SMT solver"; + homepage = "http://alt-ergo.ocamlpro.com/"; + license = stdenv.lib.licenses.cecill-c; # LGPL-2 compatible + platforms = stdenv.lib.platforms.linux; + maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + }; +} |