From ee04c509c0b17fda39582593f03add488e0458c6 Mon Sep 17 00:00:00 2001 From: Guido Draheim Date: Fri, 14 Sep 2018 01:54:10 +0200 Subject: [PATCH] make it --- Makefile | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 83bd70d..ad2eb6c 100644 --- a/Makefile +++ b/Makefile @@ -1,17 +1,25 @@ -all: config build +PREFIX ?= /usr/local +LOCAL ?= $(PWD)/build/root + +all: config build local + +it: ; $(MAKE) distclean && $(MAKE) all .PHONY: build config: test -d build || mkdir build - cd build && cmake .. + cd build && cmake .. -DCMAKE_INSTALL_PREFIX:PATH=$(PREFIX) build: cd build && $(MAKE) VERBOSE=1 +local: + cd build && $(MAKE) install DESTDIR=$(LOCAL) +install: + cd build && $(MAKE) install clean: cd build && $(MAKE) clean distclean: rm -rf build rm -rf CMakeFiles - -- 2.40.0