public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #14399 from gebner/picosat-965

Browse Source 
picosat: 960 -> 965, add proof support
This commit is contained in:
zimbatm 2016-04-03 14:57:28 +01:00
commit 6b69564af4
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/applications/science/logic/picosat/default.nix
View File

@ -2,20 +2,18 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "picosat-${version}"; name = "picosat-${version}";
version = "960"; version = "965";
src = fetchurl { src = fetchurl {
url = "http://fmv.jku.at/picosat/${name}.tar.gz"; url = "http://fmv.jku.at/picosat/${name}.tar.gz";
sha256 = "05z8cfjk84mkna5ryqlq2jiksjifg3jhlgbijaq36sbn0i51iczd"; sha256 = "0m578rpa5rdn08d10kr4lbsdwp4402hpavrz6n7n53xs517rn5hm";
}; };
dontAddPrefix = true; configurePhase = "./configure.sh --shared --trace";
configureFlags = "--shared";
installPhase = '' installPhase = ''
mkdir -p $out/bin $out/lib $out/include/picosat mkdir -p $out/bin $out/lib $out/include/picosat
cp picomus "$out"/bin cp picomus picomcs picosat picogcnf "$out"/bin
cp picosat "$out"/bin
cp libpicosat.a "$out"/lib cp libpicosat.a "$out"/lib
cp libpicosat.so "$out"/lib cp libpicosat.so "$out"/lib