diff options
author | Austin Seipp <aseipp@pobox.com> | 2018-08-15 14:55:09 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2018-08-15 20:44:05 -0500 |
commit | 6e910b2b3d3815f24280f707467b46becc7fa549 (patch) | |
tree | 9c20c91836793f37f8b8cff22745788a8d6bbdef | |
parent | 3d6448250f1e70dbafc760e17881395929510799 (diff) | |
download | nixlib-6e910b2b3d3815f24280f707467b46becc7fa549.tar nixlib-6e910b2b3d3815f24280f707467b46becc7fa549.tar.gz nixlib-6e910b2b3d3815f24280f707467b46becc7fa549.tar.bz2 nixlib-6e910b2b3d3815f24280f707467b46becc7fa549.tar.lz nixlib-6e910b2b3d3815f24280f707467b46becc7fa549.tar.xz nixlib-6e910b2b3d3815f24280f707467b46becc7fa549.tar.zst nixlib-6e910b2b3d3815f24280f707467b46becc7fa549.zip |
aiger: clean up configurePhase, install multi-output objects/headers
The library and header files are useful for other tools, such as the upcoming 'lingeling'. Signed-off-by: Austin Seipp <aseipp@pobox.com>
-rw-r--r-- | pkgs/applications/science/logic/aiger/default.nix | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/aiger/default.nix b/pkgs/applications/science/logic/aiger/default.nix index 1a60c5e148cc..03524fc6b222 100644 --- a/pkgs/applications/science/logic/aiger/default.nix +++ b/pkgs/applications/science/logic/aiger/default.nix @@ -13,18 +13,15 @@ stdenv.mkDerivation rec { configurePhase = '' # Set up picosat, so we can build 'aigbmc' - echo $(pwd) - ls .. mkdir ../picosat ln -s ${picosat}/include/picosat/picosat.h ../picosat/picosat.h ln -s ${picosat}/lib/picosat.o ../picosat/picosat.o ln -s ${picosat}/share/picosat.version ../picosat/VERSION - ls .. ./configure.sh ''; installPhase = '' - mkdir -p $out/bin + mkdir -p $out/bin $dev/include $lib/lib # Do the installation manually, as the Makefile has odd # cyrillic characters, and this is easier than adding @@ -41,8 +38,13 @@ stdenv.mkDerivation rec { for x in ''${BINS[*]}; do install -m 755 -s $x $out/bin/$x done + + cp -v aiger.o $lib/lib + cp -v aiger.h $dev/include ''; + outputs = [ "out" "dev" "lib" ]; + meta = { description = "And-Inverter Graph (AIG) utilities"; homepage = http://fmv.jku.at/aiger/; |