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 |
3 |
4 |
4 |
5 |
5 |
6 |
6 |
7 default: all |
7 default: all |
11 clean: |
11 clean: |
12 rm -f *.o |
12 rm -f *.o |
13 find . -depth -mindepth 2 -maxdepth 2 -name Makefile -printf %h\\n | xargs -i make -C{} $@ |
13 find . -depth -mindepth 2 -maxdepth 2 -name Makefile -printf %h\\n | xargs -i make -C{} $@ |
14 |
14 |
15 |
15 |
16 #get warnings, debugging information and optimization |
16 CXXFLAGS += -I. -I../* |
17 CXXFLAGS = -Wall -pedantic -Wpointer-arith -Wwrite-strings |
|
18 # CXXFLAGS += -Werror |
|
19 |
|
20 CXXFLAGS += -ggdb -O3 -funroll-loops |
|
21 # Note: if the optimizer crashes, we'll leave out the -O3 for those files |
|
22 |
|
23 CXXFLAGS += -I. -I../* -I../../absyntax |
|
24 |
|
25 |
|
26 |
17 |
27 #how to make things in subdirectories etc |
18 #how to make things in subdirectories etc |
28 ../% /% absyntax/% stage1_2/% stage3/% stage4/% util/%: |
19 ../% /% absyntax/% stage1_2/% stage3/% stage4/% util/%: |
29 $(MAKE) -C $(@D) $(@F) |
20 $(MAKE) -C $(@D) $(@F) |
30 |
21 |