diff options
author | Russell O'Connor <roconnor@theorem.ca> | 2011-10-17 22:18:21 +0000 |
---|---|---|
committer | Russell O'Connor <roconnor@theorem.ca> | 2011-10-17 22:18:21 +0000 |
commit | 491c6e43b182a189f27455dcc17e64ca7b7dbd7d (patch) | |
tree | 37b713aa0edec9f885f314663e037194b5a7f3b1 | |
parent | 924e624aad78fd37b51ed2edf4db0f7b09cb04bd (diff) | |
download | nixlib-491c6e43b182a189f27455dcc17e64ca7b7dbd7d.tar nixlib-491c6e43b182a189f27455dcc17e64ca7b7dbd7d.tar.gz nixlib-491c6e43b182a189f27455dcc17e64ca7b7dbd7d.tar.bz2 nixlib-491c6e43b182a189f27455dcc17e64ca7b7dbd7d.tar.lz nixlib-491c6e43b182a189f27455dcc17e64ca7b7dbd7d.tar.xz nixlib-491c6e43b182a189f27455dcc17e64ca7b7dbd7d.tar.zst nixlib-491c6e43b182a189f27455dcc17e64ca7b7dbd7d.zip |
Package for picosat.
svn path=/nixpkgs/trunk/; revision=29869
-rw-r--r-- | pkgs/applications/science/logic/picosat/default.nix | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/picosat/default.nix b/pkgs/applications/science/logic/picosat/default.nix new file mode 100644 index 000000000000..5a92c103961c --- /dev/null +++ b/pkgs/applications/science/logic/picosat/default.nix @@ -0,0 +1,41 @@ +{stdenv, fetchurl }: + +let + version = "936"; + pname = "picosat"; + +in + +stdenv.mkDerivation rec { + name = "${pname}-${version}"; + + src = fetchurl { + url = "http://fmv.jku.at/picosat/${name}.tar.gz"; + sha256 = "02hq68fmfjs085216wsj13ff6i1rhc652yscl16w9jzpfqzly91n"; + }; + + dontAddPrefix = true; + + # configureFlags = "--shared"; the ./configure file is broken and doesn't accept this parameter :( + patchPhase = '' + sed -e 's/^shared=no/shared=yes/' -i configure + ''; + + installPhase = '' + ensureDir "$out"/bin + cp picomus "$out"/bin + cp picosat "$out"/bin + ensureDir "$out"/lib + cp libpicosat.a "$out"/lib + cp libpicosat.so "$out"/lib + ensureDir "$out"/include/picosat + cp picosat.h "$out"/include/picosat + ''; + + meta = { + homepage = http://fmv.jku.at/picosat/; + description = "SAT solver with proof and core support"; + license = "MIT"; + maintainers = [ stdenv.lib.maintainers.roconnor ]; + }; +} |