diff options
author | Guillaume Girol <symphorien+git@xlumurb.eu> | 2021-07-19 12:00:00 +0000 |
---|---|---|
committer | Guillaume Girol <symphorien+git@xlumurb.eu> | 2021-07-23 21:19:27 +0200 |
commit | 0708fe494be218d06141a1269c89077de61cbea7 (patch) | |
tree | c71479c34030da821636f1ebfb4eaf246ce95627 /pkgs/applications/science/logic/cadical/default.nix | |
parent | b59c06dc92f8d03660eb4155754d93a6c34cda83 (diff) | |
download | nixpkgs-0708fe494be218d06141a1269c89077de61cbea7.tar nixpkgs-0708fe494be218d06141a1269c89077de61cbea7.tar.gz nixpkgs-0708fe494be218d06141a1269c89077de61cbea7.tar.bz2 nixpkgs-0708fe494be218d06141a1269c89077de61cbea7.tar.lz nixpkgs-0708fe494be218d06141a1269c89077de61cbea7.tar.xz nixpkgs-0708fe494be218d06141a1269c89077de61cbea7.tar.zst nixpkgs-0708fe494be218d06141a1269c89077de61cbea7.zip |
cadical: install library
Diffstat (limited to 'pkgs/applications/science/logic/cadical/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/cadical/default.nix | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/cadical/default.nix b/pkgs/applications/science/logic/cadical/default.nix index ca5e6b5c419..6758eeb6605 100644 --- a/pkgs/applications/science/logic/cadical/default.nix +++ b/pkgs/applications/science/logic/cadical/default.nix @@ -11,14 +11,30 @@ stdenv.mkDerivation rec { sha256 = "05lvnvapjawgkky38xknb9lgaliiwan4kggmb9yggl4ifpjrh8qf"; }; + outputs = [ "out" "dev" "lib" ]; doCheck = true; - dontAddPrefix = true; + + # the configure script is not generated by autotools and does not accept the + # arguments that the default configurePhase passes like --prefix and --libdir + configurePhase = '' + runHook preConfigure + + ./configure + + runHook postConfigure + ''; installPhase = '' + runHook preInstall + install -Dm0755 build/cadical "$out/bin/cadical" install -Dm0755 build/mobical "$out/bin/mobical" - mkdir -p "$out/share/doc/${pname}-${version}/" - install -Dm0755 {LICEN?E,README*,VERSION} "$out/share/doc/${pname}-${version}/" + install -Dm0644 src/ccadical.h "$dev/include/ccadical.h" + install -Dm0644 build/libcadical.a "$lib/lib/libcadical.a" + mkdir -p "$out/share/doc/${pname}/" + install -Dm0755 {LICEN?E,README*,VERSION} "$out/share/doc/${pname}/" + + runHook postInstall ''; meta = with lib; { |