/
Makefile
37 lines (22 loc) · 864 Bytes
/
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
#$Author: behle $
#$Date: 2007-03-01 17:12:27 +0100 (Thu, 01 Mar 2007) $
# Compiler g++
CCC = g++
COMPILER_FLAGS = -Wall -O3 -Wno-deprecated
#the number of sons of the signature MDD nodes can be fixed, this is recommended!
# (this might lead to a shorter runtime and it definitely leads to less memory consumption but a worse hitrate)
COMPILER_FLAGS += -DFIX_NUMBER_OF_SIGMDDNODE_SONS
#in case you have problems with the timer code, comment the following line
COMPILER_FLAGS += -DUSE_TIMER
########## NO CHANGES SHOULD BE NECESSARY BELOW THIS LINE ##########
GMP_LIBS = -lgmpxx -lgmp
CCCFLAGS = $(COMPILER_FLAGS) -I.
LDFLAGS = $(COMPILER_FLAGS) $(GMP_LIBS)
SOURCES = $(wildcard *.cpp)
OBJECTS = $(addsuffix .o, $(basename $(SOURCES)))
azove2: $(OBJECTS)
$(CCC) -o $@ $^ $(LDFLAGS)
clean:
rm -f *~ *.o
%.o: %.cpp
$(CCC) $(CCCFLAGS) -c $< -o $@