diff options
author | Shadaj Laddad <shadaj@users.noreply.github.com> | 2021-10-14 13:54:23 -0700 |
---|---|---|
committer | Shadaj Laddad <shadaj@users.noreply.github.com> | 2021-10-14 15:23:05 -0700 |
commit | 9d02ea53de3ad67e47456162cc906db2bbbb2b70 (patch) | |
tree | 74efdd1e08978ea5bca084088f1f7b75f96382f7 /pkgs/applications/science/logic/cadical/default.nix | |
parent | a41e09cf72f58e883e7fb08ed188ac006661f90b (diff) |
cadical: include C++ headers
Diffstat (limited to 'pkgs/applications/science/logic/cadical/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/cadical/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/cadical/default.nix b/pkgs/applications/science/logic/cadical/default.nix index f0cb1efb3050c..c6b1f6652451b 100644 --- a/pkgs/applications/science/logic/cadical/default.nix +++ b/pkgs/applications/science/logic/cadical/default.nix @@ -30,6 +30,7 @@ stdenv.mkDerivation rec { install -Dm0755 build/cadical "$out/bin/cadical" install -Dm0755 build/mobical "$out/bin/mobical" install -Dm0644 src/ccadical.h "$dev/include/ccadical.h" + install -Dm0644 src/cadical.hpp "$dev/include/cadical.hpp" 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}/" |