satisfiability can be run as sequential in order to get speed up
[charm.git] / examples / charm++ / satisfiability / Makefile
index 5e66b56b2536427f3d3a42fbc8e8ef4d4c36cdd3..7bd90206dd12599f3782a7d3b55dd34ad5fb0ab8 100644 (file)
@@ -21,7 +21,7 @@ parsat_minisat: $(MINISAT)/Solver.o par_Solver_minisat.o main.o
 
 
 main.o : main.C main.decl.h main.def.h 
-       $(CXX_COMPILE) -o main.o -c main.C
+       $(CXX_COMPILE) $(CMINISATFLAGS) -o main.o -c main.C
 
 par_Solver_minisat.o : par_Solver.C par_SolverTypes.h par_Solver.h $(MINISAT)/SolverTypes.h  main.decl.h main.def.h 
        $(CXX_COMPILE) $(CMINISATFLAGS) -o par_Solver_minisat.o -c par_Solver.C