Revert "treewide: fixup breakage due to absolute compiler path"

This reverts commit d0888d1503.
2018-08-22 01:14:53 +02:00
parent 5a012fdbb3
commit f7bc33abf0
10 changed files with 0 additions and 46 deletions
@@ -12,9 +12,6 @@ stdenv.mkDerivation rec {
  enableParallelBuilding = true;

  configurePhase = ''
-    CC=${stdenv.cc.targetPrefix}cc
-    CXX=${stdenv.cc.targetPrefix}c++
-
    # Set up picosat, so we can build 'aigbmc'
    mkdir ../picosat
    ln -s ${picosat}/include/picosat/picosat.h ../picosat/picosat.h