-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
120 lines (75 loc) · 11.6 KB
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
BUILD_DIR := ./build
BIN_DIR := $(BUILD_DIR)/bin
SRC_DIR := ./src
NVCC := nvcc
NVCCFLAGS := -gencode arch=compute_50,code=sm_50
.PHONY: all clean
all: $(BIN_DIR) \
$(BIN_DIR)/SATSolverDPLL_NO_MRC_STATS \
$(BIN_DIR)/SATSolverDPLL_MRC_JW_OS_STATS $(BIN_DIR)/SATSolverDPLL_MRC_JW_TS_STATS $(BIN_DIR)/SATSolverDPLL_MRC_BOHM_STATS $(BIN_DIR)/SATSolverDPLL_MRC_POSIT_STATS $(BIN_DIR)/SATSolverDPLL_MRC_DLIS_STATS $(BIN_DIR)/SATSolverDPLL_MRC_DLCS_STATS \
$(BIN_DIR)/SATSolverDPLL_MRC_DYN_JW_OS_STATS $(BIN_DIR)/SATSolverDPLL_MRC_DYN_JW_TS_STATS $(BIN_DIR)/SATSolverDPLL_MRC_DYN_BOHM_STATS $(BIN_DIR)/SATSolverDPLL_MRC_DYN_POSIT_STATS $(BIN_DIR)/SATSolverDPLL_MRC_DYN_DLIS_STATS $(BIN_DIR)/SATSolverDPLL_MRC_DYN_DLCS_STATS \
$(BIN_DIR)/SATSolverDPLL_MRC_GPU_JW_OS_STATS $(BIN_DIR)/SATSolverDPLL_MRC_GPU_JW_TS_STATS $(BIN_DIR)/SATSolverDPLL_MRC_GPU_BOHM_STATS $(BIN_DIR)/SATSolverDPLL_MRC_GPU_POSIT_STATS $(BIN_DIR)/SATSolverDPLL_MRC_GPU_DLIS_STATS $(BIN_DIR)/SATSolverDPLL_MRC_GPU_DLCS_STATS
$(BIN_DIR):
mkdir -p $(BIN_DIR)
### NO_MRC ###
$(BIN_DIR)/SATSolverDPLL_NO_MRC_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/utils.o -DNO_MRC -DSTATS -o $@
### END NO_MRC ###
### MRC ###
$(BIN_DIR)/SATSolverDPLL_MRC_JW_OS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC -DJW_OS -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_JW_TS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC -DJW_TS -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_BOHM_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC -DBOHM -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_POSIT_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC -DPOSIT -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_DLIS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC -DDLIS -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_DLCS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC -DDLCS -DSTATS -o $@
### END MRC ###
### MRC_DYN ###
$(BIN_DIR)/SATSolverDPLL_MRC_DYN_JW_OS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(SRC_DIR)/miracle_dynamic.cuh $(BUILD_DIR)/miracle_dynamic.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/miracle_dynamic.o $(BUILD_DIR)/utils.o -DMRC_DYN -DJW_OS -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_DYN_JW_TS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(SRC_DIR)/miracle_dynamic.cuh $(BUILD_DIR)/miracle_dynamic.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/miracle_dynamic.o $(BUILD_DIR)/utils.o -DMRC_DYN -DJW_TS -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_DYN_BOHM_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(SRC_DIR)/miracle_dynamic.cuh $(BUILD_DIR)/miracle_dynamic.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/miracle_dynamic.o $(BUILD_DIR)/utils.o -DMRC_DYN -DBOHM -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_DYN_POSIT_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(SRC_DIR)/miracle_dynamic.cuh $(BUILD_DIR)/miracle_dynamic.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/miracle_dynamic.o $(BUILD_DIR)/utils.o -DMRC_DYN -DPOSIT -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_DYN_DLIS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(SRC_DIR)/miracle_dynamic.cuh $(BUILD_DIR)/miracle_dynamic.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/miracle_dynamic.o $(BUILD_DIR)/utils.o -DMRC_DYN -DDLIS -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_DYN_DLCS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(SRC_DIR)/miracle_dynamic.cuh $(BUILD_DIR)/miracle_dynamic.o $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/miracle_dynamic.o $(BUILD_DIR)/utils.o -DMRC_DYN -DDLCS -DSTATS -o $@
### END MRC_DYN ###
### MRC_GPU ###
$(BIN_DIR)/SATSolverDPLL_MRC_GPU_JW_OS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/launch_parameters_gpu.cuh $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC_GPU -DJW_OS -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_GPU_JW_TS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/launch_parameters_gpu.cuh $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC_GPU -DJW_TS -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_GPU_BOHM_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/launch_parameters_gpu.cuh $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC_GPU -DBOHM -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_GPU_POSIT_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/launch_parameters_gpu.cuh $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC_GPU -DPOSIT -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_GPU_DLIS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/launch_parameters_gpu.cuh $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC_GPU -DDLIS -DSTATS -o $@
$(BIN_DIR)/SATSolverDPLL_MRC_GPU_DLCS_STATS: $(BIN_DIR) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(SRC_DIR)/sat_miracle.cuh $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(SRC_DIR)/launch_parameters_gpu.cuh $(SRC_DIR)/utils.cuh $(BUILD_DIR)/utils.o $(SRC_DIR)/sig_handling.h
$(NVCC) $(NVCCFLAGS) $(SRC_DIR)/solver.cu $(BUILD_DIR)/cnf_formula.o $(BUILD_DIR)/cnf_formula_gpu.o $(BUILD_DIR)/sat_miracle.o $(BUILD_DIR)/miracle.o $(BUILD_DIR)/miracle_gpu.o $(BUILD_DIR)/utils.o -DMRC_GPU -DDLCS -DSTATS -o $@
### END MRC_GPU ###
$(BUILD_DIR)/cnf_formula.o: $(BIN_DIR) $(SRC_DIR)/cnf_formula.cuh $(SRC_DIR)/cnf_formula.cu $(SRC_DIR)/cnf_formula_types.cuh $(SRC_DIR)/utils.cuh
$(NVCC) $(NVCCFLAGS) -c $(SRC_DIR)/cnf_formula.cu -o $@
$(BUILD_DIR)/cnf_formula_gpu.o: $(BIN_DIR) $(SRC_DIR)/cnf_formula_gpu.cuh $(SRC_DIR)/cnf_formula_gpu.cu $(SRC_DIR)/cnf_formula.cuh $(SRC_DIR)/utils.cuh
$(NVCC) $(NVCCFLAGS) -c $(SRC_DIR)/cnf_formula_gpu.cu -o $@
$(BUILD_DIR)/miracle.o: $(BIN_DIR) $(SRC_DIR)/miracle.cuh $(SRC_DIR)/miracle.cu $(SRC_DIR)/cnf_formula.cuh $(SRC_DIR)/sat_miracle.cuh $(SRC_DIR)/utils.cuh
$(NVCC) $(NVCCFLAGS) -c $(SRC_DIR)/miracle.cu -o $@
$(BUILD_DIR)/miracle_dynamic.o: $(BIN_DIR) $(SRC_DIR)/miracle_dynamic.cuh $(SRC_DIR)/miracle_dynamic.cu $(SRC_DIR)/cnf_formula.cuh $(SRC_DIR)/utils.cuh
$(NVCC) $(NVCCFLAGS) -c $(SRC_DIR)/miracle_dynamic.cu -o $@
$(BUILD_DIR)/miracle_gpu.o: $(BIN_DIR) $(SRC_DIR)/miracle_gpu.cuh $(SRC_DIR)/miracle_gpu.cu $(SRC_DIR)/cnf_formula_gpu.cuh $(SRC_DIR)/miracle.cuh $(SRC_DIR)/sat_miracle.cuh $(SRC_DIR)/utils.cuh $(SRC_DIR)/launch_parameters_gpu.cuh
$(NVCC) $(NVCCFLAGS) -c $(SRC_DIR)/miracle_gpu.cu -o $@
$(BUILD_DIR)/sat_miracle.o: $(BIN_DIR) $(SRC_DIR)/sat_miracle.cuh $(SRC_DIR)/sat_miracle.cu $(SRC_DIR)/miracle.cuh $(SRC_DIR)/miracle_gpu.cuh
$(NVCC) $(NVCCFLAGS) -c $(SRC_DIR)/sat_miracle.cu -o $@
$(BUILD_DIR)/utils.o: $(BIN_DIR) $(SRC_DIR)/utils.cuh $(SRC_DIR)/utils.cu $(SRC_DIR)/launch_parameters_gpu.cuh
$(NVCC) $(NVCCFLAGS) -c $(SRC_DIR)/utils.cu -o $@
clean:
rm -rf $(BUILD_DIR)