diff options
author | Rong-En Fan <rafan@FreeBSD.org> | 2007-07-23 09:36:51 +0000 |
---|---|---|
committer | Rong-En Fan <rafan@FreeBSD.org> | 2007-07-23 09:36:51 +0000 |
commit | f935a609c53c5c6031e6848db95c7debed127e27 (patch) | |
tree | 4c3cf6af6588247c0dd3f92f9601357c33c56217 /devel/hs-darcs | |
parent | 703b5eb18b542fec0e78704ada72142cd2b33175 (diff) | |
download | ports-f935a609c53c5c6031e6848db95c7debed127e27.tar.gz ports-f935a609c53c5c6031e6848db95c7debed127e27.zip |
- Set --mandir and --infodir in CONFIGURE_ARGS if the configure script
supports them. This is determined by running ``configure --help'' in
do-configure target and set the shell variable _LATE_CONFIGURE_ARGS
which is then passed to CONFIGURE_ARGS.
- Remove --mandir and --infodir in ports' Makefile where applicable
Few ports use REINPLACE_CMD to achieve the same effect, remove them too.
- Correct some manual pages location from PREFIX/man to MANPREFIX/man
- Define INFO_PATH where necessary
- Document that .info files are installed in a subdirectory relative to
PREFIX/INFO_PATH and slightly change add-plist-info to use INFO_PATH and
subdirectory detection.
PR: ports/111470
Approved by: portmgr
Discussed with: stas (Mk/*), gerald (info related stuffs)
Tested by: pointyhat exp run
Notes
Notes:
svn path=/head/; revision=196111
Diffstat (limited to 'devel/hs-darcs')
-rw-r--r-- | devel/hs-darcs/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/devel/hs-darcs/Makefile b/devel/hs-darcs/Makefile index 956504ca32bd..fa08a090a39a 100644 --- a/devel/hs-darcs/Makefile +++ b/devel/hs-darcs/Makefile @@ -20,7 +20,6 @@ LIB_DEPENDS= curl:${PORTSDIR}/ftp/curl \ OPTIONS= SERVER "install server" off GNU_CONFIGURE= yes -CONFIGURE_ARGS+= --mandir=${MANPREFIX}/man CONFIGURE_ENV= CPPFLAGS="-I${LOCALBASE}/include ${PTHREAD_CFLAGS}" \ LDFLAGS="-L${LOCALBASE}/lib -L${PREFIX}/lib/ ${PTHREAD_LIBS}" \ CFLAGS="" |