diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/minisat/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/minisat/default.nix | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/minisat/default.nix b/nixpkgs/pkgs/applications/science/logic/minisat/default.nix new file mode 100644 index 000000000000..4b2116680d50 --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/minisat/default.nix @@ -0,0 +1,32 @@ +{ stdenv, fetchurl, zlib }: + +stdenv.mkDerivation rec { + name = "minisat-${version}"; + version = "2.2.0"; + + src = fetchurl { + url = "http://minisat.se/downloads/${name}.tar.gz"; + sha256 = "023qdnsb6i18yrrawlhckm47q8x0sl7chpvvw3gssfyw3j2pv5cj"; + }; + + patches = + [ ./darwin.patch ] + ++ stdenv.lib.optionals stdenv.cc.isClang [ ./clang.diff ]; + + buildInputs = [ zlib ]; + + preBuild = "cd simp"; + makeFlags = [ "r" "MROOT=.." ]; + installPhase = '' + mkdir -p $out/bin + cp minisat_release $out/bin/minisat + ''; + + meta = with stdenv.lib; { + description = "Compact and readable SAT solver"; + maintainers = with maintainers; [ gebner raskin ]; + platforms = platforms.unix; + license = licenses.mit; + homepage = http://minisat.se/; + }; +} |