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

picosat: 960 -> 965

This commit is contained in:
Gabriel Ebner 2016-04-02 18:43:32 +02:00
parent eafeedc1d1
commit 659c240be8
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,15 +2,14 @@
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";
configureFlags = "--shared";
installPhase = '' installPhase = ''
mkdir -p $out/bin $out/lib $out/include/picosat mkdir -p $out/bin $out/lib $out/include/picosat