diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..74d2c10 --- /dev/null +++ b/Makefile @@ -0,0 +1,12 @@ +all: prospero + +prospero: src/main.c deps/ejit/libejit.a + $(CC) -Wall -Wextra -O2 -g -flto=auto -g -Ideps/ejit/include src/main.c deps/ejit/libejit.a -o prospero -lm + +deps/ejit/libejit.a: + $(MAKE) RELEASE=1 LTO=1 -C deps/ejit + +.PHONY: clean +clean: + $(MAKE) -C deps/ejit clean + $(RM) prospero |