summaryrefslogtreecommitdiff
path: root/lang/coq/patches/patch-ab
blob: 60630877b49e36b2a48581c10107293834bd8bfd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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' `