diff options
author | Austin Seipp <aseipp@pobox.com> | 2017-10-16 05:12:18 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2017-10-16 12:01:17 -0500 |
commit | b72f543f96159a07ca3e51f43b05b5b724c09b31 (patch) | |
tree | 146635845aaeff64fd2d6159585edc3f7b1dea4e | |
parent | e84cec2762312aed553217117733ecf7fe5bff12 (diff) | |
download | nixlib-b72f543f96159a07ca3e51f43b05b5b724c09b31.tar nixlib-b72f543f96159a07ca3e51f43b05b5b724c09b31.tar.gz nixlib-b72f543f96159a07ca3e51f43b05b5b724c09b31.tar.bz2 nixlib-b72f543f96159a07ca3e51f43b05b5b724c09b31.tar.lz nixlib-b72f543f96159a07ca3e51f43b05b5b724c09b31.tar.xz nixlib-b72f543f96159a07ca3e51f43b05b5b724c09b31.tar.zst nixlib-b72f543f96159a07ca3e51f43b05b5b724c09b31.zip |
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>
-rw-r--r-- | pkgs/applications/science/logic/picosat/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/picosat/default.nix b/pkgs/applications/science/logic/picosat/default.nix index 070664980dcc..e026cfad218e 100644 --- a/pkgs/applications/science/logic/picosat/default.nix +++ b/pkgs/applications/science/logic/picosat/default.nix @@ -12,9 +12,11 @@ stdenv.mkDerivation rec { configurePhase = "./configure.sh --shared --trace"; installPhase = '' - mkdir -p $out/bin $out/lib $out/include/picosat + 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 |