diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..fe5c30f --- /dev/null +++ b/Makefile @@ -0,0 +1,21 @@ +include config.mk + +ifdef USE_ASAN +LDFLAGS += -fsanitize=address +export LDFLAGS +HAREFLAGS += -lc +endif + +all: + +check: + $(HARE) test $(HAREFLAGS) + +install: + mkdir -p $(DESTDIR)$(THIRDPARTYDIR)/lettuce/ + cp -R lettuce/* $(DESTDIR)$(THIRDPARTYDIR)/lettuce/ + +uninstall: + rm -rf $(DESTDIR)$(THIRDPARTYDIR)/lettuce/ + +.PHONY: check install uninstall |