From 8e6db30bb78233e353844fe645e87c9a8cbbb44b Mon Sep 17 00:00:00 2001
From: Will Dietz <w@wdtz.org>
Date: Thu, 5 Jul 2018 07:27:58 -0500
Subject: [PATCH] vampire: use CC/CXX from env, instead of always g++

---
 pkgs/applications/science/logic/vampire/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/applications/science/logic/vampire/default.nix b/pkgs/applications/science/logic/vampire/default.nix
index 12b2a36c6eae..3edb9bb03773 100644
--- a/pkgs/applications/science/logic/vampire/default.nix
+++ b/pkgs/applications/science/logic/vampire/default.nix
@@ -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