From 5bc1d71c8922d307482160313a2ca0c05ee5597d Mon Sep 17 00:00:00 2001
From: "Jordan K. Hubbard" <jkh@FreeBSD.org>
Date: Tue, 4 Oct 1994 14:44:56 +0000
Subject: 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).

---
 Mk/bsd.port.mk | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Mk')

diff --git a/Mk/bsd.port.mk b/Mk/bsd.port.mk
index 29aa0eaafadc..99c4682711b7 100644
--- a/Mk/bsd.port.mk
+++ b/Mk/bsd.port.mk
@@ -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
-- 
cgit v1.2.3