diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/iprover')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/iprover/default.nix | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/iprover/default.nix b/nixpkgs/pkgs/applications/science/logic/iprover/default.nix new file mode 100644 index 000000000000..85fe52239ad9 --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/iprover/default.nix @@ -0,0 +1,33 @@ +{ stdenv, fetchurl, ocaml, eprover, zlib }: + +stdenv.mkDerivation rec { + pname = "iprover"; + version = "2018_Jul_24_11h"; + + src = fetchurl { + url = "http://www.cs.man.ac.uk/~korovink/iprover/iprover_${version}.tar.gz"; + sha256 = "1iqim11flzm56aaysasl5whajcv1gq31hkidaqfr8ww7kwl1h06p"; + }; + + buildInputs = [ ocaml eprover zlib ]; + + preConfigure = ''patchShebangs .''; + + installPhase = '' + mkdir -p "$out/bin" + cp iproveropt "$out/bin" + + mkdir -p "$out/share/${pname}-${version}" + cp *.p "$out/share/${pname}-${version}" + echo -e "#! ${stdenv.shell}\\n$out/bin/iproveropt --clausifier \"${eprover}/bin/eprover\" --clausifier_options \" --tstp-format --silent --cnf \" \"\$@\"" > "$out"/bin/iprover + chmod a+x "$out"/bin/iprover + ''; + + meta = with stdenv.lib; { + description = "An automated first-order logic theorem prover"; + homepage = http://www.cs.man.ac.uk/~korovink/iprover/; + maintainers = with maintainers; [ raskin gebner ]; + platforms = platforms.linux; + license = licenses.gpl3; + }; +} |