diff options
author | Rong-En Fan <rafan@FreeBSD.org> | 2007-07-23 09:23:53 +0000 |
---|---|---|
committer | Rong-En Fan <rafan@FreeBSD.org> | 2007-07-23 09:23:53 +0000 |
commit | 671f8b31fbf61bebd526bbad4fef84f07bc049cf (patch) | |
tree | b5af25779c11567135cb9033344136b684b345c6 /lang | |
parent | - Patch configure so it actually accepts --mandir and --infodir. Otherwise, (diff) |
- Announce --mandir and --infodir in configure --help so it won't fail
when we pass them for GNU_CONFIGURE
PR: ports/111470
Approved by: portmgr
Tested by: pointyhat exp run
Notes
Notes:
svn path=/head/; revision=196108
Diffstat (limited to 'lang')
-rw-r--r-- | lang/gcc33/files/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/gcc33/files/patch-configure b/lang/gcc33/files/patch-configure new file mode 100644 index 000000000000..5223f67c27b2 --- /dev/null +++ b/lang/gcc33/files/patch-configure @@ -0,0 +1,11 @@ +--- configure.orig Thu May 24 11:21:39 2007 ++++ configure Thu May 24 11:22:15 2007 +@@ -508,6 +508,8 @@ + echo ' --srcdir=DIR find the sources in DIR [. or ..]' + echo ' --target=TARGET configure for TARGET [TARGET=HOST]' + echo ' --tmpdir=TMPDIR create temporary files in TMPDIR [/tmp]' ++ echo ' --infodir=DIR info documentation in DIR [PREFIX/info]' ++ echo ' --mandir=DIR man documentation in DIR [PREFIX/man]' + echo ' --nfp configure for software floating point [hard float]' + echo ' --with-FOO, --with-FOO=BAR package FOO is available (parameter BAR)' + echo ' --without-FOO package FOO is NOT available' |