Subject: Re: INFO_DIR not used
To: Jeremy C. Reed <reed@reedmedia.net>
From: Greg A. Woods <woods@weird.com>
List: tech-pkg
Date: 04/03/2004 15:52:47
[ On Friday, April 2, 2004 at 21:27:35 (-0800), Jeremy C. Reed wrote: ]
> Subject: Re: INFO_DIR not used
>
> Can some others test this too?
> 
> Add to the .if defined(GNU_CONFIGURE) section in mk/bsd.pkg.mk:
> 
> +.  if !empty(INFO_FILES)
> +CONFIGURE_ARGS+=       --infodir=${PREFIX}/${INFO_DIR}
> +.  endif
> 
> (I have seen a few packages with troubles already, like editors/ed which
> has a very old configure script.)

I've been using the following for quite some time.  Note it allows for
turning off the options if the configure script is too old/broken to
support them.

+ .  if !defined(NO_CONFIGURE_INFODIR)
+ CONFIGURE_ARGS+=	--infodir=${GNU_CONFIGURE_PREFIX}/share/info
+ .  endif
+ .  if !defined(NO_CONFIGURE_MANDIR)
+ CONFIGURE_ARGS+=	--mandir=${GNU_CONFIGURE_PREFIX}/share/man
+ .  endif
+ # speeds up one-time builds, which is definitely pkgsrc!
+ CONFIGURE_ARGS+=	--disable-dependency-tracking

(oh, that last line's not exactly related :-)

So far I have only the following instances of NO_CONFIGURE_*:

	./devel/m4/Makefile:NO_CONFIGURE_INFODIR=	# defined
	./devel/m4/Makefile:NO_CONFIGURE_MANDIR=	# defined


(but keep in mind I don't do bulk builds -- I rarely install more than a
few hundred packages (228 currently on my main development system), and
I haven't ever tried GNU Ed since I already have a fine /bin/ed :-)

-- 
						Greg A. Woods

+1 416 218-0098                  VE3TCP            RoboHack <woods@robohack.ca>
Planix, Inc. <woods@planix.com>          Secrets of the Weird <woods@weird.com>