diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-11-11 01:29:25 +0100 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-11-11 01:29:25 +0100 |
commit | d669a6e30d70e146d3083fd9c185118ac0df436b (patch) | |
tree | fe543761deb08c0806c2994ed5d94cb5379e4acd | |
parent | 3f616fad02c82853a8e6e3cf8fd3aea95945f70e (diff) | |
download | nixlib-d669a6e30d70e146d3083fd9c185118ac0df436b.tar nixlib-d669a6e30d70e146d3083fd9c185118ac0df436b.tar.gz nixlib-d669a6e30d70e146d3083fd9c185118ac0df436b.tar.bz2 nixlib-d669a6e30d70e146d3083fd9c185118ac0df436b.tar.lz nixlib-d669a6e30d70e146d3083fd9c185118ac0df436b.tar.xz nixlib-d669a6e30d70e146d3083fd9c185118ac0df436b.tar.zst nixlib-d669a6e30d70e146d3083fd9c185118ac0df436b.zip |
ppl: fix build with clang 16
-rw-r--r-- | pkgs/development/libraries/ppl/default.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pkgs/development/libraries/ppl/default.nix b/pkgs/development/libraries/ppl/default.nix index c9b456ba831e..d49f3e6bd538 100644 --- a/pkgs/development/libraries/ppl/default.nix +++ b/pkgs/development/libraries/ppl/default.nix @@ -17,6 +17,13 @@ stdenv.mkDerivation { sha256 = "1zj90hm25pkgvk4jlkfzh18ak9b98217gbidl3731fdccbw6hr87"; })]; + postPatch = lib.optionalString stdenv.cc.isClang '' + substituteInPlace src/PIP_Tree.cc \ + --replace "std::auto_ptr" "std::unique_ptr" + substituteInPlace src/Powerset_inlines.hh src/Pointset_Powerset_inlines.hh \ + --replace "std::mem_fun_ref" "std::mem_fn" + ''; + nativeBuildInputs = [ perl gnum4 ]; propagatedBuildInputs = [ gmpxx ]; |