diff options
| author | 2022-10-08 11:08:42 +0200 | |
|---|---|---|
| committer | 2022-10-08 11:08:42 +0200 | |
| commit | e2283f6c7f5abc60dc7ba7ea59deee94da714da7 (patch) | |
| tree | b007ad4820b016ec90c614b218c5e529560e1d8f /Makefile | |
initial commit
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 |