Make sure we find sage's zlib rather the system one.

sagemath · May 22, 2017 · fd86b98 · fd86b98
1 parent a8db509
commit fd86b98
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/build/pkgs/cryptominisat/spkg-install b/build/pkgs/cryptominisat/spkg-install
@@ -11,11 +11,11 @@ fi
 
 cd src
 
-cmake -DCMAKE_INSTALL_PREFIX="${SAGE_LOCAL}" -DUSE_GAUSS='ON' . || fail 'Error configuring cryptominisat'
+cmake -DCMAKE_INSTALL_PREFIX="${SAGE_LOCAL}" -DUSE_GAUSS='ON' -DZLIB_ROOT="${SAGE_LOCAL}" . || fail 'Error configuring cryptominisat'
 
-$MAKE || fail 'Error building cryptominisat'
+$MAKE VERBOSE=ON || fail 'Error building cryptominisat'
 
-$MAKE install || fail 'Error installing cryptominisat'
+$MAKE VERBOSE=ON install || fail 'Error installing cryptominisat'
 
 exit 0