diff options
| author | Eric Seidel <gridaphobe@gmail.com> | 2015-03-26 13:19:12 -0700 |
|---|---|---|
| committer | Eric Seidel <gridaphobe@gmail.com> | 2015-03-26 13:19:41 -0700 |
| commit | eff828a27534c07b0b730ef560ec48f9f2b773fb (patch) | |
| tree | 989f1ea74764994038a602bc7a12e281825fd139 /pkgs/applications | |
| parent | bb4bb9fc4326dc657f5ced9017bf26c84e832f2b (diff) | |
| download | nixlib-eff828a27534c07b0b730ef560ec48f9f2b773fb.tar nixlib-eff828a27534c07b0b730ef560ec48f9f2b773fb.tar.gz nixlib-eff828a27534c07b0b730ef560ec48f9f2b773fb.tar.bz2 nixlib-eff828a27534c07b0b730ef560ec48f9f2b773fb.tar.lz nixlib-eff828a27534c07b0b730ef560ec48f9f2b773fb.tar.xz nixlib-eff828a27534c07b0b730ef560ec48f9f2b773fb.tar.zst nixlib-eff828a27534c07b0b730ef560ec48f9f2b773fb.zip | |
z3: copy all headers into nix store
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index a213f6da37ed..1df4035c29ce 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -26,11 +26,8 @@ stdenv.mkDerivation rec { soext = if stdenv.system == "x86_64-darwin" then ".dylib" else ".so"; installPhase = '' mkdir -p $out/bin $out/lib/${python.libPrefix}/site-packages $out/include - cp ../src/api/z3.h $out/include - cp ../src/api/z3_api.h $out/include - cp ../src/api/z3_v1.h $out/include - cp ../src/api/z3_macros.h $out/include - cp ../src/api/c++/z3++.h $out/include + cp ../src/api/z3*.h $out/include + cp ../src/api/c++/z3*.h $out/include cp z3 $out/bin cp libz3${soext} $out/lib cp libz3${soext} $out/lib/${python.libPrefix}/site-packages |