Date: Mon, 26 Oct 1998 08:41:00 -0800 (PST) From: dot@dotat.at To: freebsd-gnats-submit@FreeBSD.ORG Subject: ports/8458: ports collection does not use common cache file for Gnu configure Message-ID: <199810261641.IAA27258@hub.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 8458 >Category: ports >Synopsis: ports collection does not use common cache file for Gnu configure >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Mon Oct 26 08:50:00 PST 1998 >Last-Modified: >Originator: Tony Finch >Organization: >Release: 3.0-RELEASE >Environment: FreeBSD pipeline141.router.demon.net 3.0-RELEASE FreeBSD 3.0-RELEASE #0: Sat Oct 17 17:45:06 GMT 1998 jkh@kickme.freebsd.org:/usr/src/sys/compile/GENERIC i386 >Description: Gnu configure can be considerably faster if a common cache file is used for all builds. Unfortunately, adding CONFIGURE_ARGS+= --cache-file=/usr/local/src/config.cache to /etc/make.conf does not DTRT because all the ports override the value of this variable after make.conf is sourced. You have to edit /usr/share/mk/bds.port.mk instead. >How-To-Repeat: Build two pieces of software using the ports collection. They will use individual config.cache files. >Fix: Either (1) alter bsd.port.mk to use a common config.cache by default, or (2) change all the ports (!) so that they don't override the value of CONFIG_ARGS set by make.conf. >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199810261641.IAA27258>