From c0b6f5746434589c59c536ce2e7ad8bc8f79b5b9 Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Wed, 4 Sep 2024 23:39:51 +0200 Subject: Add an install target --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) 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 -- cgit v1.2.3