MTRand directory was not included in the search path for the compiler when compiling...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@431 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/sat/cryptominisat/Makefile b/src/sat/cryptominisat/Makefile
index c42131eda3256806bd486e0d2a9ffff581fbe3e8..c856d20b5f60b3da46342a1f1a8a1bd4d01ae725 100644 (file)
--- a/src/sat/cryptominisat/Makefile
+++ b/src/sat/cryptominisat/Makefile
@@ -1,10 +1,11 @@
 include   ../../../scripts/Makefile.common
 
 MTL       = mtl
+MTRAND    = MTRand
 SOURCES   = Solver.cpp  clause.cpp fcopy.cpp Logger.cpp
 OBJECTS   = $(SOURCES:.cpp=.o)
 LIB       = libminisat.a
-CFLAGS    += -I$(MTL) -DEXT_HASH_MAP -ffloat-store $(CFLAGS_M32) -c
+CFLAGS    += -I$(MTL) -I$(MTRAND) -DEXT_HASH_MAP -ffloat-store $(CFLAGS_M32) -c
 EXEC      = minisat
 LFLAGS    = -lz