aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e8855e0..75452f3 100644
--- a/Makefile
+++ b/Makefile
@@ -3,6 +3,9 @@
MAKEFLAGS = -j8
S = src
+P = $(DESTDIR)$(PREFIX)
+
+PREFIX = /usr/local
CFLAGS = -O3 -march=native -mtune=native -pipe -Wall -Wextra -Wpedantic
target = pinocchio
@@ -24,3 +27,7 @@ $S/parser.c $S/parser.h: $S/parser.y
clean:
rm -f $$(git ls-files -oi --exclude-standard)
+
+install:
+ mkdir -p $P/bin
+ cp $(target) $P/bin