diff options
| author | figsoda <figsoda@pm.me> | 2021-10-14 18:33:22 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-14 18:33:22 -0400 |
| commit | 602b25377f8df54c9d59c593144def3702e39366 (patch) | |
| tree | bc31cf224d7bfbdb91dd0717f76e4ba0831eceb8 /pkgs | |
| parent | 0c6dcac8dcafde02c4767d2ff081621476a0d2d8 (diff) | |
| parent | 9d02ea53de3ad67e47456162cc906db2bbbb2b70 (diff) | |
| download | nixpkgs-602b25377f8df54c9d59c593144def3702e39366.tar nixpkgs-602b25377f8df54c9d59c593144def3702e39366.tar.gz nixpkgs-602b25377f8df54c9d59c593144def3702e39366.tar.bz2 nixpkgs-602b25377f8df54c9d59c593144def3702e39366.tar.lz nixpkgs-602b25377f8df54c9d59c593144def3702e39366.tar.xz nixpkgs-602b25377f8df54c9d59c593144def3702e39366.tar.zst nixpkgs-602b25377f8df54c9d59c593144def3702e39366.zip | |
Merge pull request #141671 from shadaj/patch-1
cadical: include C++ headers
Diffstat (limited to 'pkgs')
| -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 f0cb1efb305..c6b1f665245 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}/" |