Date: Thu, 29 Oct 1998 07:50:01 -0800 (PST) From: Dom Mitchell <dom@myrddin.demon.co.uk> To: freebsd-ports@FreeBSD.ORG Subject: Re: ports/8458: ports collection does not use common cache file for Gnu configure Message-ID: <199810291550.HAA06309@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/8458; it has been noted by GNATS. From: Dom Mitchell <dom@myrddin.demon.co.uk> To: dot@dotat.at Cc: freebsd-gnats-submit@freebsd.org Subject: Re: ports/8458: ports collection does not use common cache file for Gnu configure Date: Thu, 29 Oct 1998 15:47:02 +0000 dot@dotat.at writes: > >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. Whilst this is a nice idea, I'm not sure if it's practical. My reading of the autoconf manual seems to indicate that after the standard cache values which autoconf provides, developers are free to use whatever cache values they like, which may well conflict. Granted, this is probably not going to happen too often, but with a collection of software the size of the ports, you have to be careful. -Dom 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?199810291550.HAA06309>