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
|
BUILDDATE = 2011-Jun-05 23:23
DISTDATE = 2011-06-05
CURRDATE = 20110605
CHANGESET = e09be74b0d54
RELDATE = 2011605
RAGEL?=ragel
BISON?=bison
CCC?=g++
XTRGT = packup
CSRCS = $(wildcard *.cc)
COBJS = $(CSRCS:.cc=.o)
LIBD =
LIBS =
CXX?=g++
CFLAGS+=-DEXTERNAL_SOLVER
CFLAGS+=-DNDEBUG -DNCHECK
CFLAGS+=-O3
CFLAGS+=-std=c++11
CFLAGS += -Wall -DBUILDDATE='"$(BUILDDATE)"' -DDISTDATE='"$(DISTDATE)"'
CFLAGS += -DCHANGESET='"$(CHANGESET)"' -DRELDATE='"$(RELDATE)"'
CFLAGS+=-D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wno-parentheses -Wno-deprecated
LIBS+=-lz
#LDAGS+=-static
# comment out if arbitrary precision not needed
LIBS+=-lgmpxx -lgmp
CFLAGS+=-DGMPDEF
.PHONY: build all objs
all: $(XTRGT)
$(XTRGT): objs
@echo Linking: $@
@$(CXX) $(COBJS) $(LDFLAGS) $(LIBD) $(LIBS) -o $@
objs: Lexer.o p.tab.o $(COBJS)
depend:
makedepend -- -I. $(CFLAGS) -- *.cc
## Build rule
%.o: %.cc
@echo Compiling: $@
@$(CXX) -I. $(CPPFLAGS) $(CFLAGS) $(CXXFLAGS) -c -o $@ $<
## This needs bison and ragel, comment in if parsing changes
#Lexer.cc: p.tab.cc l.rl Lexer.hh
# $(RAGEL) l.rl -o Lexer.cc
#p.tab.cc: p.bison
# $(BISON) --defines=p.tab.hh -o p.tab.cc p.bison
clean:
rm -f $(XTRGT) $(COBJS)
|
