diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/makefile b/makefile index a8c000b5..9569b116 100644 --- a/makefile +++ b/makefile @@ -5,12 +5,12 @@ mu_bin: makefile enumerate/enumerate tangle/tangle mu.cc termbox/libtermbox.a # To see what the program looks like after all layers have been applied, read # mu.cc -mu.cc: 0*.cc - ./tangle/tangle $$(./enumerate/enumerate --until 9999 |grep -v '.mu$$') > mu.cc +mu.cc: [0-9]*.cc + ./tangle/tangle $$(./enumerate/enumerate --until zzz |grep -v '.mu$$') > mu.cc make --no-print-directory autogenerated_lists -core.mu: 0*.mu mu.cc - cat $$(./enumerate/enumerate --until 9999 |grep '.mu$$') > core.mu +core.mu: [0-9]*.mu mu.cc + cat $$(./enumerate/enumerate --until zzz |grep '.mu$$') > core.mu enumerate/enumerate: cd enumerate && make && ./enumerate test |