diff options
| author | Rong-En Fan <rafan@FreeBSD.org> | 2007-07-23 09:19:24 +0000 |
|---|---|---|
| committer | Rong-En Fan <rafan@FreeBSD.org> | 2007-07-23 09:19:24 +0000 |
| commit | e2d8f38ab2d52900a95a4df5767d4e0cabd3f4ea (patch) | |
| tree | 583b863871546af9eeea93578ad42b2477f1f0f8 /games | |
| parent | 77c477db447b028945b45c6ec0c96efb6afae70e (diff) | |
| download | ports-e2d8f38ab2d52900a95a4df5767d4e0cabd3f4ea.tar.gz ports-e2d8f38ab2d52900a95a4df5767d4e0cabd3f4ea.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
Notes
Notes:
svn path=/head/; revision=196107
Diffstat (limited to 'games')
| -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. |