5e66b56b2536427f3d3a42fbc8e8ef4d4c36cdd3
[charm.git] / examples / charm++ / satisfiability / Makefile
1 MINISAT           = minisat
2 TNM                       = TNM
3 #CHARMDIR = /Users/yanhuasun/PPL/charm/charm-6.1.2/multicore-darwin-x86_64
4 OPTS = -g
5 CXX = charmc   
6 default: all
7 all: parsat_minisat parsat_tnm
8
9 CFLAGS    = $(OPTS)  -ffloat-store
10 CMINISATFLAGS = $(CFLAGS) -I$(MINISAT) -DMINISAT
11 CTNMFLAGS        = $(CFLAGS) -I$(TNM) -DTNM
12 LFLAGS    =  -lz -language charm++
13 COPTIMIZE = -O3
14
15 CXX_COMPILE = $(CXX)
16
17 CXX_LD = $(CXX) $(LFLAGS)
18
19 parsat_minisat: $(MINISAT)/Solver.o par_Solver_minisat.o main.o
20         $(CXX_LD) $(LFLAGS) -o parsat_minisat $(MINISAT)/Solver.o par_Solver_minisat.o main.o
21
22
23 main.o : main.C main.decl.h main.def.h 
24         $(CXX_COMPILE) -o main.o -c main.C
25
26 par_Solver_minisat.o : par_Solver.C par_SolverTypes.h par_Solver.h $(MINISAT)/SolverTypes.h  main.decl.h main.def.h 
27         $(CXX_COMPILE) $(CMINISATFLAGS) -o par_Solver_minisat.o -c par_Solver.C
28
29 main.def.h main.decl.h : main.ci
30         $(CXX) main.ci
31
32 $(MINISAT)/Solver.o: $(MINISAT)/Solver.C $(MINISAT)/Solver.h  $(MINISAT)/SolverTypes.h 
33         $(CXX_COMPILE) $(CMINISATFLAGS) -o $(MINISAT)/Solver.o -c $(MINISAT)/Solver.C 
34
35
36 parsat_tnm: $(TNM)/TNM.o par_Solver_tnm.o main.o
37         $(CXX) $(LFLAGS) -o parsat_tnm $(TNM)/TNM.o par_Solver_tnm.o main.o 
38
39 par_Solver_tnm.o : par_Solver.C par_SolverTypes.h par_Solver.h  main.decl.h main.def.h 
40         $(CXX_COMPILE) $(CTNMFLAGS) -o par_Solver_tnm.o -c par_Solver.C 
41
42 $(TNM)/TNM.o: $(TNM)/TNM.C
43         $(CXX_COMPILE) $(CTNMFLAGS) -o $(TNM)/TNM.o -c $(TNM)/TNM.C
44
45 #$(TNM)/adaptnoisebis1at5.o: $(TNM)/adaptnoisebis1at5.C
46 #       $(CXX_COMPILE) $(CTNMFLAGS) -o $(TNM)/adaptnoisebis1at5.o -c $(TNM)/adaptnoisebis1at5.C
47
48 #$(TNM)/inputbis.o : $(TNM)/inputbis.C
49 #       $(CXX_COMPILE) $(CTNMFLAGS) -o $(TNM)/inputbis.o -c $(TNM)/inputbis.C
50
51 clean:
52         @rm -f parsat_minisat *.def.h *.decl.h *.o $(MINISAT)/*.o $(TNM)/*.o charmrun