diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..1cc019b --- /dev/null +++ b/Makefile @@ -0,0 +1,20 @@ +CFLAGS = -Wall + +all: debug + +debug: CFLAGS += -g +debug: pez + +san: CFLAGS += -g -fsanitize=address -fsanitize=undefined +san: pez + +opt: CFLAGS += -Oz +opt: pez + +pez: repl.c pez.c pez.h + $(CC) -o$@ -lreadline $(CFLAGS) repl.c pez.c + +clean: + $(RM) pez + +.PHONY: clean |