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

nixpkgs: picosat 936 -> 960, add myself as a maintainer

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2015-06-14 15:55:08 -05:00
parent 44ef5a3ab0
commit 2dfb657b94
1 changed files with 12 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,41 +1,33 @@
{stdenv, fetchurl }:
let
version = "936";
pname = "picosat";
in
{ stdenv, fetchurl }:
stdenv.mkDerivation rec {
name = "${pname}-${version}";
name = "picosat-${version}";
version = "960";
src = fetchurl {
url = "http://fmv.jku.at/picosat/${name}.tar.gz";
sha256 = "02hq68fmfjs085216wsj13ff6i1rhc652yscl16w9jzpfqzly91n";
sha256 = "05z8cfjk84mkna5ryqlq2jiksjifg3jhlgbijaq36sbn0i51iczd";
};
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
'';
configureFlags = "--shared";
installPhase = ''
mkdir -p "$out"/bin
mkdir -p $out/bin $out/lib $out/include/picosat
cp picomus "$out"/bin
cp picosat "$out"/bin
mkdir -p "$out"/lib
cp libpicosat.a "$out"/lib
cp libpicosat.so "$out"/lib
mkdir -p "$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 = stdenv.lib.licenses.mit;
maintainers = [ stdenv.lib.maintainers.roconnor ];
homepage = http://fmv.jku.at/picosat/;
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;
maintainers = with stdenv.lib.maintainers; [ roconnor thoughtpolice ];
};
}