Author: raskin
Date: Fri Dec 3 11:26:34 2010
New Revision: 24963
URL: https://svn.nixos.org/websvn/nix/?rev=24963&sc=1
Log:
Adding Satallax prover
Added:
nixpkgs/trunk/pkgs/applications/science/logic/satallax/
nixpkgs/trunk/pkgs/applications/science/logic/satallax/default.nix
Modified:
nixpkgs/trunk/pkgs/build-support/builder-defs/template-auto-callable.nix
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Added: nixpkgs/trunk/pkgs/applications/science/logic/satallax/default.nix
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ nixpkgs/trunk/pkgs/applications/science/logic/satallax/default.nix Fri Dec
3 11:26:34 2010 (r24963)
@@ -0,0 +1,72 @@
+...@{builderdefspackage
+ , sbcl, zlib
+ , ...}:
+builderDefsPackage
+(a :
+let
+ helperArgNames = ["stdenv" "fetchurl" "builderDefsPackage"] ++
+ [];
+
+ buildInputs = map (n: builtins.getAttr n x)
+ (builtins.attrNames (builtins.removeAttrs x helperArgNames));
+ sourceInfo = rec {
+ baseName="satallax";
+ version="1.4";
+ name="${baseName}-${version}";
+
url="http://www.ps.uni-saarland.de/~cebrown/satallax/downloads/${name}.tar.gz";;
+ hash="0l8dq4nyfw2bdsyqmgb4v6fjw3739p8nqv4bh2gh2924ibzrq5fc";
+ };
+in
+rec {
+ src = a.fetchurl {
+ url = sourceInfo.url;
+ sha256 = sourceInfo.hash;
+ };
+
+ inherit (sourceInfo) name version;
+ inherit buildInputs;
+
+ phaseNames = ["doDeployMinisat" "doDeploy"];
+
+ doDeployMinisat = a.fullDepEntry (''
+ (
+ cd minisat/simp
+ make
+ )
+
+ ensureDir "$out/bin"
+ cp minisat/simp/minisat "$out/bin"
+
+ echo "(setq *minisat-binary* \"$out/bin/minisat\")" > config.lisp
+
+ '') ["defEnsureDir" "minInit" "addInputs" "doUnpack"];
+ doDeploy = a.fullDepEntry (''
+ ensureDir "$out/share/satallax/build-dir"
+ cp -r * "$out/share/satallax/build-dir"
+ cd "$out/share/satallax/build-dir"
+
+ sbcl --load make.lisp
+ ! ( ./test | grep ERROR )
+
+ ensureDir "$out/bin"
+ cp bin/satallax "$out/bin"
+ '') ["defEnsureDir" "minInit" "addInputs" "doUnpack"];
+
+ meta = {
+ description = "A higher-order logic prover";
+ maintainers = with a.lib.maintainers;
+ [
+ raskin
+ ];
+ platforms = with a.lib.platforms;
+ unix;
+ license = "free-noncopyleft";
+ homepage = "http://www.ps.uni-saarland.de/~cebrown/satallax/";;
+ };
+ passthru = {
+ updateInfo = {
+ downloadPage = "http://www.ps.uni-saarland.de/~cebrown/satallax/";;
+ };
+ };
+}) x
+
Modified:
nixpkgs/trunk/pkgs/build-support/builder-defs/template-auto-callable.nix
==============================================================================
--- nixpkgs/trunk/pkgs/build-support/builder-defs/template-auto-callable.nix
Fri Dec 3 09:51:33 2010 (r24962)
+++ nixpkgs/trunk/pkgs/build-support/builder-defs/template-auto-callable.nix
Fri Dec 3 11:26:34 2010 (r24963)
@@ -10,6 +10,11 @@
buildInputs = map (n: builtins.getAttr n x)
(builtins.attrNames (builtins.removeAttrs x helperArgNames));
sourceInfo = rec {
+ baseName="${abort ''Specify package name''}";
+ version="";
+ name="${baseName}-${version}";
+ url="${name}";
+ hash="";
};
in
rec {
@@ -32,6 +37,7 @@
];
platforms = with a.lib.platforms;
(abort "Specify platforms");
+ license = "${abort ''Specify license''}";
};
passthru = {
updateInfo = {
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Fri Dec 3 09:51:33
2010 (r24962)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Fri Dec 3 11:26:34
2010 (r24963)
@@ -6983,6 +6983,8 @@
prover9 = callPackage ../applications/science/logic/prover9 { };
+ satallax = callPackage ../applications/science/logic/satallax {};
+
ssreflect = callPackage ../applications/science/logic/ssreflect {
camlp5 = camlp5_transitional;
};
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
