vampire: use CC/CXX from env, instead of always g++

2018-07-05 10:11:32 -05:00
parent 052c5a98dd
commit 8e6db30bb7
1 changed files with 1 additions and 1 deletions
@@ -16,7 +16,7 @@ stdenv.mkDerivation rec {
  nativeBuildInputs = [ git ];
  buildInputs = [ z3 zlib ];

-  makeFlags = [ "vampire_z3_rel" ];
+  makeFlags = [ "vampire_z3_rel" "CC:=$(CC)" "CXX:=$(CXX)" ];

  fixupPhase = ''
    rm -rf z3