-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
99 lines (80 loc) · 1.52 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
#CLAGS = -std=c99 -O3 -static -fno-strict-aliasing -Wall
#CFLAGS = -O3 -static -fno-strict-aliasing -Wall -DNDEBUG
CFLAGS = -O3 -fno-strict-aliasing -Wall -DNDEBUG
#CFLAGS = -O3 -fno-strict-aliasing -Wall
#CFLAGS = -Wall -O3 -ggdb -pg
#CFLAGS = -Wall -O3 -ggdb -pg -lefence
CC = gcc
.c.o:
$(CC) -c $(CFLAGS) $(SATTEST) -o $@ $<
march_pa: march.o \
cube.o \
distribution.o \
doublelook.o \
equivalence.o \
memory.o \
lookahead.o \
parser.o \
preselect.o \
progressBar.o \
resolvent.o \
solver.o \
transred.o \
tree.o
$(CC) $(CFLAGS) $(SATTEST) *.o -lm -o march_nh
march.o: march.c \
march.h \
common.h \
distribution.h \
parser.h \
solver.h \
preselect.h \
progressBar.h
resolvent.o: resolvent.c \
resolvent.h \
common.h \
lookahead.h \
memory.h
distribution.o: distribution.c \
distribution.h \
common.h
doublelook.o: doublelook.c \
doublelook.h \
common.h
equivalence.o: equivalence.c \
equivalence.h \
memory.h
memory.o: memory.c \
memory.h \
common.h
cube.o: cube.c \
cube.h \
common.h
parser.o: parser.c \
parser.h \
common.h \
equivalence.h
solver.o: solver.c \
solver.h \
common.h \
lookahead.h \
preselect.h \
progressBar.h
preselect.o: preselect.c \
preselect.h \
common.h
transred.o: transred.c \
transred.h
tree.o: tree.c \
tree.h
lookahead.o: lookahead.c \
lookahead.h \
doublelook.h \
common.h \
tree.h \
solver.h
progressBar.o: progressBar.c \
progressBar.h \
common.h
clean:
rm *.out *.py *.o -f march_nh