diff options
| author | rafan <rafan@FreeBSD.org> | 2007-07-23 17:19:24 +0800 |
|---|---|---|
| committer | rafan <rafan@FreeBSD.org> | 2007-07-23 17:19:24 +0800 |
| commit | e873053cf945e7083173f75a2de930dee36f0f7c (patch) | |
| tree | 780b6b6a8718ec5ef688545873926be2860b734c /games/acm | |
| parent | 8fe97ca33426b053be925376ce3ac865f0b66610 (diff) | |
| download | freebsd-ports-gnome-e873053cf945e7083173f75a2de930dee36f0f7c.tar.gz freebsd-ports-gnome-e873053cf945e7083173f75a2de930dee36f0f7c.tar.zst freebsd-ports-gnome-e873053cf945e7083173f75a2de930dee36f0f7c.zip | |
- Patch configure so it actually accepts --mandir and --infodir. Otherwise,
it will fail when we set them for GNU_CONFIGURE.
PR: ports/111470
Approved by: portmgr
Tested by: pointyhat exp run
Diffstat (limited to 'games/acm')
| -rw-r--r-- | games/acm/files/patch-dis-disgen-configure | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/games/acm/files/patch-dis-disgen-configure b/games/acm/files/patch-dis-disgen-configure new file mode 100644 index 000000000000..2b52e1983745 --- /dev/null +++ b/games/acm/files/patch-dis-disgen-configure @@ -0,0 +1,23 @@ +--- dis/disgen/configure.orig Mon Jul 16 21:38:36 2007 ++++ dis/disgen/configure Mon Jul 16 21:41:58 2007 +@@ -140,10 +140,20 @@ + EOF + exit 0 ;; + ++ -infodir | --infodir | --infodi | --infod | --info | --inf) ++ ac_prev=infodir ;; ++ -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*) ++ ;; ++ + -host | --host | --hos | --ho) + ac_prev=host ;; + -host=* | --host=* | --hos=* | --ho=*) + host="$ac_optarg" ;; ++ ++ -mandir | --mandir | --mandi | --mand | --man | --ma | --m) ++ ac_prev=mandir ;; ++ -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*) ++ ;; + + -nfp | --nfp | --nf) + # Obsolete; use --without-fp. |