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 |
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 #get warnings, debugging information and optimization |
17 CXXFLAGS = -Wall -pedantic -Wpointer-arith -Wwrite-strings |
17 #CXXFLAGS = -Wall -pedantic -Wpointer-arith -Wwrite-strings |
18 # CXXFLAGS += -Werror |
18 # CXXFLAGS += -Werror |
19 |
19 |
20 CXXFLAGS += -ggdb -O3 -funroll-loops |
20 #CXXFLAGS += -ggdb -O3 -funroll-loops |
21 # Note: if the optimizer crashes, we'll leave out the -O3 for those files |
21 # Note: if the optimizer crashes, we'll leave out the -O3 for those files |
22 |
22 |
23 CXXFLAGS += -I. -I../* -I../../absyntax |
23 CXXFLAGS += -I. -I../* -I../../absyntax |
24 |
24 |
25 |
25 |