equal
deleted
inserted
replaced
1 # include the system specific Makefile |
1 # include the system specific Makefile |
2 #include ../../../../Makefile.$(shell uname) |
2 include ../../Makefile.$(shell uname) |
3 |
|
4 |
|
5 |
|
6 |
|
7 |
3 |
8 default: all |
4 default: all |
9 |
5 |
10 all: generate_cc.o |
6 all: generate_cc.o |
11 |
7 |
12 clean: |
8 clean: |
13 -rm -f *.o */*.o Makefile.depend |
9 -rm -f *.o */*.o Makefile.depend |
14 |
10 |
15 #get warnings, debugging information and optimization |
11 CXXFLAGS += -Wno-unused |
16 CXXFLAGS = -Wall -pedantic -Wpointer-arith -Wwrite-strings |
|
17 # CXXFLAGS += -Werror |
|
18 |
|
19 CXXFLAGS += -ggdb -O3 -funroll-loops |
|
20 # Note: if the optimizer crashes, we'll leave out the -O3 for those files |
|
21 |
|
22 CXXFLAGS += -I. -I../* -I../../absyntax |
12 CXXFLAGS += -I. -I../* -I../../absyntax |
23 |
|
24 |
|
25 |
13 |
26 #how to make things from other directories if they are missing |
14 #how to make things from other directories if they are missing |
27 ../% /%: |
15 ../% /%: |
28 $(MAKE) -C $(@D) $(@F) |
16 $(MAKE) -C $(@D) $(@F) |
29 |
17 |