Author: raskin
Date: Sun Dec 5 19:54:27 2010
New Revision: 24984
URL: https://svn.nixos.org/websvn/nix/?rev=24984&sc=1
Log:
Adding MiniSAT
Added:
nixpkgs/trunk/pkgs/applications/science/logic/minisat/
nixpkgs/trunk/pkgs/applications/science/logic/minisat/default.nix
Modified:
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Added: nixpkgs/trunk/pkgs/applications/science/logic/minisat/default.nix
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ nixpkgs/trunk/pkgs/applications/science/logic/minisat/default.nix Sun Dec
5 19:54:27 2010 (r24984)
@@ -0,0 +1,57 @@
+...@{builderdefspackage
+ , zlib
+ , ...}:
+builderDefsPackage
+(a :
+let
+ helperArgNames = ["stdenv" "fetchurl" "builderDefsPackage"] ++
+ [];
+
+ buildInputs = map (n: builtins.getAttr n x)
+ (builtins.attrNames (builtins.removeAttrs x helperArgNames));
+ sourceInfo = rec {
+ baseName="minisat";
+ version="2.2.0";
+ name="${baseName}-${version}";
+ url="http://minisat.se/downloads/${name}.tar.gz";;
+ hash="023qdnsb6i18yrrawlhckm47q8x0sl7chpvvw3gssfyw3j2pv5cj";
+ };
+in
+rec {
+ src = a.fetchurl {
+ url = sourceInfo.url;
+ sha256 = sourceInfo.hash;
+ };
+
+ inherit (sourceInfo) name version;
+ inherit buildInputs;
+
+ phaseNames = ["setVars" "doMake" "doDeploy"];
+ goSrcDir = "cd simp";
+ doDeploy = a.fullDepEntry (''
+ ensureDir "$out"/bin
+ cp minisat_static "$out/bin"/minisat
+ '') ["minInit" "defEnsureDir"];
+ makeFlags = ["rs"];
+ setVars = a.fullDepEntry (''
+ export MROOT=$PWD/../
+ '') ["doUnpack"];
+
+ meta = {
+ description = "A compact and readable SAT-solver";
+ maintainers = with a.lib.maintainers;
+ [
+ raskin
+ ];
+ platforms = with a.lib.platforms;
+ linux;
+ license = "MIT";
+ homepage = "http://minisat.se/";;
+ };
+ passthru = {
+ updateInfo = {
+ downloadPage = "http://minisat.se/MiniSat.html";;
+ };
+ };
+}) x
+
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Sun Dec 5 19:11:21
2010 (r24983)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Sun Dec 5 19:54:27
2010 (r24984)
@@ -6983,6 +6983,8 @@
leo2 = callPackage ../applications/science/logic/leo2 {};
+ minisat = callPackage ../applications/science/logic/minisat {};
+
opensmt = callPackage ../applications/science/logic/opensmt {
flex = flex2535;
};
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
