aspino: patch to use c++ instead of g++

8 years ago · ee63056476
parent b3cb07e130
commit ee63056476
1 changed files with 5 additions and 0 deletions
--- 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