Merge pull request #11714 from scarf005/build/customize-prefix

build: customizable install `prefix`
This commit is contained in:
Kynan Ware 2026-03-03 20:17:36 -07:00 committed by GitHub
commit d46ca24a97
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -74,7 +74,7 @@ endif
## Install/uninstall tasks are here for use on *nix platform. On Windows, there is no equivalent.
DESTDIR :=
prefix := /usr/local
prefix ?= /usr/local
bindir := ${prefix}/bin
datadir := ${prefix}/share
mandir := ${datadir}/man