From f93e7a0531cd237a641e0347bb0d6518179e23c3 Mon Sep 17 00:00:00 2001 From: Patrick Pelissier Date: Sun, 20 Aug 2017 09:56:15 +0200 Subject: [PATCH] Add support for DESTDIR --- Makefile | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 8767fb3c..70442817 100644 --- a/Makefile +++ b/Makefile @@ -5,8 +5,10 @@ MKDIR=mkdir -p all: @echo "Nothing to be done." +test: check + check: - cd tests && make check # NOTE: May need to run the test with other compilers? clang ? musl-gcc? + cd tests && make check cd example && make examples doc: README.md @@ -19,5 +21,5 @@ clean: $(RM) -f README.html install: - $(MKDIR) $(PREFIX)/include - cp m-*.h $(PREFIX)/include + $(MKDIR) $(DESTDIR)$(PREFIX)/include + cp m-*.h $(DESTDIR)$(PREFIX)/include