nixpkgs/pkgs/applications/science/logic/picosat/default.nix
Austin Seipp b72f543f96 picosat: install more stuff
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00

34 lines
912 B
Nix

{ stdenv, fetchurl }:
stdenv.mkDerivation rec {
name = "picosat-${version}";
version = "965";
src = fetchurl {
url = "http://fmv.jku.at/picosat/${name}.tar.gz";
sha256 = "0m578rpa5rdn08d10kr4lbsdwp4402hpavrz6n7n53xs517rn5hm";
};
configurePhase = "./configure.sh --shared --trace";
installPhase = ''
mkdir -p $out/bin $out/lib $out/share $out/include/picosat
cp picomus picomcs picosat picogcnf "$out"/bin
cp VERSION "$out"/share/picosat.version
cp picosat.o "$out"/lib
cp libpicosat.a "$out"/lib
cp libpicosat.so "$out"/lib
cp picosat.h "$out"/include/picosat
'';
meta = {
description = "SAT solver with proof and core support";
homepage = http://fmv.jku.at/picosat/;
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;
maintainers = with stdenv.lib.maintainers; [ roconnor thoughtpolice ];
};
}