From 4de60a709d3af497781b7467f2c6fe7e09b39595 Mon Sep 17 00:00:00 2001 From: Matthew Sotoudeh Date: Sun, 30 Jul 2023 14:38:43 -0700 Subject: basic libdietc for writing passes in C --- c/examples/zero_init/Makefile | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 c/examples/zero_init/Makefile (limited to 'c/examples/zero_init/Makefile') 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 -- cgit v1.2.3