From: msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 27 Nov 2009 10:26:24 +0000 (+0000)
Subject: MTRand directory was not included in the search path for the compiler when compiling... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=51ba5767288d10a0db6986aed7db0327df356d0f;p=francis%2Fstp.git

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

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 c42131e..c856d20 100644
--- 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