Author: raskin
Date: Sat Dec 4 18:39:44 2010
New Revision: 24969
URL: https://svn.nixos.org/websvn/nix/?rev=24969&sc=1
Log:
Adding iProver
Added:
nixpkgs/trunk/pkgs/applications/science/logic/iprover/
nixpkgs/trunk/pkgs/applications/science/logic/iprover/default.nix
Modified:
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Added: nixpkgs/trunk/pkgs/applications/science/logic/iprover/default.nix
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ nixpkgs/trunk/pkgs/applications/science/logic/iprover/default.nix Sat Dec
4 18:39:44 2010 (r24969)
@@ -0,0 +1,58 @@
+...@{builderdefspackage
+ , ocaml, eprover
+ , ...}:
+builderDefsPackage
+(a :
+let
+ helperArgNames = ["stdenv" "fetchurl" "builderDefsPackage"] ++
+ [];
+
+ buildInputs = map (n: builtins.getAttr n x)
+ (builtins.attrNames (builtins.removeAttrs x helperArgNames));
+ sourceInfo = rec {
+ baseName="iprover";
+ version="0.8.1";
+ name="${baseName}_v${version}";
+ url="${baseName}.googlecode.com/files/${name}.tar.gz";
+ hash="15qn523w4l296np5rnkwi50a5x2xqz0kaza7bsh9bkazph7jma7w";
+ };
+in
+rec {
+ src = a.fetchurl {
+ url = sourceInfo.url;
+ sha256 = sourceInfo.hash;
+ };
+
+ inherit (sourceInfo) name version;
+ inherit buildInputs;
+
+ /* doConfigure should be removed if not needed */
+ phaseNames = ["doConfigure" "doMake" "doDeploy"];
+ configureCommand = "sh configure";
+ doDeploy = a.fullDepEntry (''
+ ensureDir "$out/bin"
+ cp iproveropt "$out/bin"
+
+ ensureDir "$out/share/${name}"
+ cp *.p "$out/share/${name}"
+ echo -e "#! /bin/sh\\n$out/bin/iproveropt --clausifier
\"${eprover}/bin/eprover\" --clausifier_options \" --tstp-format --silent --cnf
\" \"\...@\"" > "$out"/bin/iprover
+ chmod a+x "$out"/bin/iprover
+ '') ["defEnsureDir" "minInit" "doMake"];
+
+ meta = {
+ description = "An automated first-order logic theorem prover";
+ maintainers = with a.lib.maintainers;
+ [
+ raskin
+ ];
+ platforms = with a.lib.platforms;
+ linux;
+ license = "GPLv3";
+ };
+ passthru = {
+ updateInfo = {
+ downloadPage = "http://code.google.com/p/iprover/downloads/list";;
+ };
+ };
+}) x
+
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Sat Dec 4 13:07:10
2010 (r24968)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Sat Dec 4 18:39:44
2010 (r24969)
@@ -6979,6 +6979,8 @@
inherit (pkgs.emacs23Packages) proofgeneral;
};
+ iprover = callPackage ../applications/science/logic/iprover {};
+
leo2 = callPackage ../applications/science/logic/leo2 {};
prover9 = callPackage ../applications/science/logic/prover9 { };
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
