summaryrefslogtreecommitdiff
path: root/lang/ocaml
diff options
context:
space:
mode:
authorSunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>2015-05-03 13:35:34 +0000
committerSunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>2015-05-03 13:35:34 +0000
commit544075d8c916881ad7653d6bf2fb85f3ac493f55 (patch)
treea9ba83f3af79277e6168314633f5c4ea956038f6 /lang/ocaml
parent1282844df78d9fe716e0cc30e7b40c4194ef6f89 (diff)
downloadfreebsd-ports-544075d8c916881ad7653d6bf2fb85f3ac493f55.zip
- Remove incomplete check for configure arguments to fix build when CONFIGURE_ARGS contains =
PR: 199884 Submitted by: sunpoet (myself) Approved by: Michael Grunewald <michipili@gmail.com> (maintainer)
Diffstat (limited to 'lang/ocaml')
-rw-r--r--lang/ocaml/files/patch-configure11
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/ocaml/files/patch-configure b/lang/ocaml/files/patch-configure
index 527b978fc452..52225bc723ae 100644
--- a/lang/ocaml/files/patch-configure
+++ b/lang/ocaml/files/patch-configure
@@ -1,5 +1,16 @@
--- configure.orig 2014-10-03 19:25:46 UTC
+++ configure
+@@ -85,10 +85,6 @@ exec 3>&1
+
+ # Parse command-line arguments
+
+-if echo "$configure_options" | grep -q -e '--\?[a-zA-Z0-9-]\+='; then
+- err "Arguments to this script look like '-prefix /foo/bar', not '-prefix=/foo/bar' (note the '=')."
+-fi
+-
+ while : ; do
+ case "$1" in
+ "") break;;
@@ -659,7 +659,8 @@ if test $with_sharedlibs = "yes"; then
mksharedlib="$flexlink"
mkmaindll="$flexlink -maindll"