diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2010-12-05 19:54:27 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2010-12-05 19:54:27 +0000 |
commit | 07dd3f074b8a7f37e9943ab75913d80bd27ca501 (patch) | |
tree | 657ea26ece6eb1f01057bfd805e45a6d294a8f72 /pkgs/applications/science/logic | |
parent | 011d71dcb854d45a0d637617656349cdee89273c (diff) | |
download | nixlib-07dd3f074b8a7f37e9943ab75913d80bd27ca501.tar nixlib-07dd3f074b8a7f37e9943ab75913d80bd27ca501.tar.gz nixlib-07dd3f074b8a7f37e9943ab75913d80bd27ca501.tar.bz2 nixlib-07dd3f074b8a7f37e9943ab75913d80bd27ca501.tar.lz nixlib-07dd3f074b8a7f37e9943ab75913d80bd27ca501.tar.xz nixlib-07dd3f074b8a7f37e9943ab75913d80bd27ca501.tar.zst nixlib-07dd3f074b8a7f37e9943ab75913d80bd27ca501.zip |
Adding MiniSAT
svn path=/nixpkgs/trunk/; revision=24984
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/minisat/default.nix | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/minisat/default.nix b/pkgs/applications/science/logic/minisat/default.nix new file mode 100644 index 000000000000..34a6bd7ceff3 --- /dev/null +++ b/pkgs/applications/science/logic/minisat/default.nix @@ -0,0 +1,57 @@ +x@{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 + |