diff options
Diffstat (limited to 'lang/coq/patches/patch-ab')
| -rw-r--r-- | lang/coq/patches/patch-ab | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lang/coq/patches/patch-ab b/lang/coq/patches/patch-ab new file mode 100644 index 00000000000..60630877b49 --- /dev/null +++ b/lang/coq/patches/patch-ab @@ -0,0 +1,13 @@ +$NetBSD: patch-ab,v 1.1 2007/12/01 13:05:37 tonio Exp $ + +--- configure.orig Thu Oct 11 15:13:51 2007 ++++ configure +@@ -326,7 +326,7 @@ esac + + # this fixes a camlp4 bug under FreeBSD + # ("native-code program cannot do a dynamic load") +-if [ `uname -s` = "FreeBSD" ]; then camlp4oexec=$camlp4oexec.byte; fi ++#if [ `uname -s` = "FreeBSD" ]; then camlp4oexec=$camlp4oexec.byte; fi + + CAMLVERSION=`"$bytecamlc" -v | sed -n -e 's|.*version* *\(.*\)$|\1|p' ` + |