diff options
Diffstat (limited to 'c/examples/zero_init/Makefile')
| -rw-r--r-- | c/examples/zero_init/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/c/examples/zero_init/Makefile b/c/examples/zero_init/Makefile new file mode 100644 index 0000000..79b5692 --- /dev/null +++ b/c/examples/zero_init/Makefile @@ -0,0 +1,14 @@ +all: default instrumented + +default: test.c + gcc -O0 $^ -o $@ + +instrumented: test.c dietpass + dietcc -O0 test.c -o $@ --dietc-pass $(PWD)/dietpass + +dietpass: dietpass.c ../../libdietc.l ../../libdietc.h + make -C ../.. + gcc -O3 dietpass.c ../../libdietc.o -I../../ -lfl -o $@ + +clean: + rm -f default instrumented dietpass |