diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-09-04 23:39:51 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-09-04 23:39:51 +0200 |
| commit | c0b6f5746434589c59c536ce2e7ad8bc8f79b5b9 (patch) | |
| tree | fb1673ab94d3999c95434e7c0383615d14da78d5 /Makefile | |
| parent | 8ed2a34facea5b2992055d811aeb25aa9762012c (diff) | |
Add an install target
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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 |