import os

Import("globalEnv")

env = globalEnv.Clone()

env.Append(CPPPATH=[env["MINISATSRC"]])

files = Glob(os.path.join(
             os.path.join(env["MINISATSRC"], 
						  "core"),
						  "*.cc"))

files.append(Glob(os.path.join(
             	  os.path.join(env["MINISATSRC"], 
							  "simp"),
							  "*.cc")))

files.append(Glob(os.path.join(
             	  os.path.join(env["MINISATSRC"], 
							  "util"),
							  "*.cc")))

env.Library(target="minisat", source=files)