diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-03-21 23:51:22 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-03-21 23:51:22 -0400 |
| commit | 5ced7a05182a05413f6a5d279ed36631ee32a507 (patch) | |
| tree | 2766296b20f92804c7f5dd5e5a24f0b5bf5080f1 /Makefile | |
| parent | fa1b10ff24aa7a0ae115345b955aa6228589fb45 (diff) | |
By default, install to ~/.local/bin and warn if PREFIX is not on user's
$PATH
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -1,5 +1,5 @@ SHELL := /bin/bash -PREFIX=/usr +PREFIX=$(HOME)/.local VERSION=0.0.1 CC=gcc CCONFIG=-std=c2x -Werror -D_XOPEN_SOURCE=700 -D_POSIX_C_SOURCE=200809L -fPIC -I. \ @@ -85,6 +85,13 @@ deps: ./install_dependencies.sh install: build/tomo build/libtomo.so + @if ! echo "$$PATH" | tr ':' '\n' | grep -qx "$(PREFIX)/bin"; then \ + printf "\033[31;1mError: '$(PREFIX)' is not in your \$$PATH variable!\033[m\n" >&2; \ + printf "\033[31;1mSpecify a different prefix with 'make PREFIX=... install'\033[m\n" >&2; \ + printf "\033[31;1mor add the following line to your .profile:\033[m\n" >&2; \ + printf "\n\033[1mexport PATH=\"$(PREFIX):\$$PATH\"\033[m\n\n" >&2; \ + exit 1; \ + fi mkdir -p -m 755 "$(PREFIX)/man/man1" "$(PREFIX)/bin" "$(PREFIX)/include/tomo" "$(PREFIX)/lib" "$(PREFIX)/share/tomo/modules" cp -v src/stdlib/*.h "$(PREFIX)/include/tomo/" cp -v build/libtomo.so "$(PREFIX)/lib/" |