From 51ba5767288d10a0db6986aed7db0327df356d0f Mon Sep 17 00:00:00 2001
From: msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 27 Nov 2009 10:26:24 +0000
Subject: [PATCH] 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
---
 src/sat/cryptominisat/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
 
-- 
2.47.3