diff options
| -rw-r--r-- | makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/makefile b/makefile index c1ed25ab..a8c000b5 100644 --- a/makefile +++ b/makefile @@ -1,13 +1,17 @@ +all: mu_bin core.mu + mu_bin: makefile enumerate/enumerate tangle/tangle mu.cc termbox/libtermbox.a c++ -g -O3 -Wall -Wextra -fno-strict-aliasing mu.cc termbox/libtermbox.a -o mu_bin # To see what the program looks like after all layers have been applied, read # mu.cc -mu.cc: 0* +mu.cc: 0*.cc ./tangle/tangle $$(./enumerate/enumerate --until 9999 |grep -v '.mu$$') > mu.cc - cat $$(./enumerate/enumerate --until 9999 |grep '.mu$$') > core.mu make --no-print-directory autogenerated_lists +core.mu: 0*.mu mu.cc + cat $$(./enumerate/enumerate --until 9999 |grep '.mu$$') > core.mu + enumerate/enumerate: cd enumerate && make && ./enumerate test |