diff options
author | Andrew Cady <d@jerkface.net> | 2019-10-15 02:24:26 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2019-10-15 16:04:30 -0400 |
commit | 1d0e9091bc132237d46ff130a29c7c71d9a3f284 (patch) | |
tree | 1bd3d189a7ec1c6cd9527d7b9791a016f13c5f31 /Makefile | |
parent | bd03b9baa6c25fed35c12d3cc9b843a037c23bdf (diff) |
install to /usr/local/bin
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,5 +1,9 @@ | |||
1 | build: | 1 | build: |
2 | stack build | 2 | stack build |
3 | 3 | ||
4 | execs = kiki cokiki hosts | ||
5 | dests = $(addprefix ~/.local/bin/, $(execs)) | ||
6 | |||
4 | install: build | 7 | install: build |
5 | stack install | 8 | stack install |
9 | sudo ln -sf $(dests) /usr/local/bin/ | ||