diff options
Diffstat (limited to 'build_until')
| -rwxr-xr-x | build_until | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/build_until b/build_until new file mode 100755 index 00000000..42d44bc7 --- /dev/null +++ b/build_until @@ -0,0 +1,15 @@ +#!/bin/bash +# Load all files sorting before the given argument. +# You can pass in a prefix, but files matching the prefix *won't* be included. + +set -e +set -v +make --no-print-directory tangle/tangle +make --no-print-directory enumerate/enumerate + +./tangle/tangle $(./enumerate/enumerate --until $1 |grep -v '.mu$') |grep -v "^\s*//:" > mu.cc +make --no-print-directory autogenerated_lists + +cat /dev/null $(./enumerate/enumerate --until $1 |grep '.mu$') > core.mu + +CFLAGS=${CFLAGS:-"-g -O3"} make |