blob: 6c2cce0ea4b10d4689182c55dea944496c5dc8d9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
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 = ''
mkdir -p "$out"/bin
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 ];
};
}
|