diff options
| author | rafan <rafan@FreeBSD.org> | 2007-07-23 17:36:51 +0800 |
|---|---|---|
| committer | rafan <rafan@FreeBSD.org> | 2007-07-23 17:36:51 +0800 |
| commit | b028b113ef13fa7972bb45d681d7a0abe47c40a6 (patch) | |
| tree | a76a27ca09341f754b493c264ee71c912a553d89 /lang/gnat-gcc43 | |
| parent | 855b1df39bc3a6f03abf878d9c99b5ba0838ba35 (diff) | |
| download | freebsd-ports-gnome-b028b113ef13fa7972bb45d681d7a0abe47c40a6.tar.gz freebsd-ports-gnome-b028b113ef13fa7972bb45d681d7a0abe47c40a6.tar.zst freebsd-ports-gnome-b028b113ef13fa7972bb45d681d7a0abe47c40a6.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
Diffstat (limited to 'lang/gnat-gcc43')
| -rw-r--r-- | lang/gnat-gcc43/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/gnat-gcc43/Makefile b/lang/gnat-gcc43/Makefile index c5621695fd1f..d9d6492f5e88 100644 --- a/lang/gnat-gcc43/Makefile +++ b/lang/gnat-gcc43/Makefile @@ -75,8 +75,7 @@ CONFIGURE_ARGS= --enable-languages="c,ada" \ --with-libiconv-prefix=${LOCALBASE} \ --program-suffix=${gcc_suffix} \ --bindir=${PREFIX}/bin/gcc${gcc_suffix} \ - --libdir=${targlib} \ - --infodir=${PREFIX}/${INFO_PATH}/gcc${gcc_suffix} + --libdir=${targlib} ALL_TARGET= bootstrap-lean MAKE_ENV+= MAKEINFOFLAGS="--no-split" PTHREAD_LIBS=${PTHREAD_LIBS} |