Add PREFIX pointing to ${DESTDIR}/usr/local - let's see if we can't

make an entire system work nicely with DESTDIR (to say nothing of being
able to move from /usr/local to somewhere else).
This commit is contained in:
jkh 1994-10-04 14:44:56 +00:00
parent 401f87ee46
commit 8d2568eda5

View File

@ -3,7 +3,7 @@
# bsd.port.mk - 940820 Jordan K. Hubbard.
# This file is in the public domain.
#
# $Id: bsd.port.mk,v 1.42 1994/10/03 13:45:03 jkh Exp $
# $Id: bsd.port.mk,v 1.43 1994/10/03 14:38:27 jkh Exp $
#
# Please view me with 4 column tabs!
@ -15,6 +15,7 @@
# PORTSDIR - The root of the ports tree (default: /usr/ports).
# DISTDIR - Where to get gzip'd, tarballed copies of original sources
# (default: ${PORTSDIR}/distfiles).
# PREFIX - Where to install things in general (default: /usr/local).
# MASTER_SITES - Primary location(s) for distribution files if not found
# locally.
# PACKAGES - A top level directory where all packages go (rather than
@ -80,6 +81,7 @@
# tree we are and thus can't go relative. They can, of course, be overridden
# by individual Makefiles.
PORTSDIR?= ${DESTDIR}/usr/ports
PREFIX?= ${DESTDIR}/usr/local
DISTDIR?= ${PORTSDIR}/distfiles
PACKAGES?= ${PORTSDIR}/packages
WRKDIR?= ${.CURDIR}/work