diff options
author | Matthew Bauer <mjbauer95@gmail.com> | 2016-08-10 22:29:18 -0500 |
---|---|---|
committer | Matthew Bauer <mjbauer95@gmail.com> | 2016-08-10 22:29:18 -0500 |
commit | ee6305647677dc370a966437dfb7476701e7a871 (patch) | |
tree | 6da1622a29cd038b944588c159e89ba7873ff82e | |
parent | b3cb07e1300ce1be30f14011a8274615de38e23d (diff) |
aspino: patch to use c++ instead of g++
-rw-r--r-- | pkgs/applications/science/logic/aspino/default.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/aspino/default.nix b/pkgs/applications/science/logic/aspino/default.nix index 5207245b0ba60..ee9e580a7b87f 100644 --- a/pkgs/applications/science/logic/aspino/default.nix +++ b/pkgs/applications/science/logic/aspino/default.nix @@ -11,6 +11,11 @@ stdenv.mkDerivation rec { buildInputs = [ zlib boost ]; + patchPhase = '' + substituteInPlace Makefile \ + --replace "GCC = g++" "GCC = c++" + ''; + preBuild = '' cp ${glucose.src} patches/glucose-syrup.tgz ./bootstrap.sh |