aboutsummaryrefslogtreecommitdiffstats
path: root/math/ocaml-zarith
diff options
context:
space:
mode:
authormarino <marino@FreeBSD.org>2017-01-30 07:13:59 +0800
committermarino <marino@FreeBSD.org>2017-01-30 07:13:59 +0800
commit71e2181f4c4d41fe896e644062b1cb556cc49544 (patch)
tree95d5701cd31f68ff298332447b6cc8dd13527662 /math/ocaml-zarith
parentcf2b478babf331ad3fe91030950c9363e14e017d (diff)
downloadfreebsd-ports-gnome-71e2181f4c4d41fe896e644062b1cb556cc49544.tar.gz
freebsd-ports-gnome-71e2181f4c4d41fe896e644062b1cb556cc49544.tar.zst
freebsd-ports-gnome-71e2181f4c4d41fe896e644062b1cb556cc49544.zip
math/ocaml-zarith: Unbreak after ocaml-findlib change
Use the same technique madpilot used on x11-toolkits/ocaml-lablgtk2 to restore the build after the (unexpected) changed to the output of ocamlfindlib during its update to 1.7.1
Diffstat (limited to 'math/ocaml-zarith')
-rw-r--r--math/ocaml-zarith/Makefile2
-rw-r--r--math/ocaml-zarith/files/patch-configure9
2 files changed, 9 insertions, 2 deletions
diff --git a/math/ocaml-zarith/Makefile b/math/ocaml-zarith/Makefile
index 861963520351..bb9bc52dc219 100644
--- a/math/ocaml-zarith/Makefile
+++ b/math/ocaml-zarith/Makefile
@@ -13,8 +13,6 @@ COMMENT= OCaml arithmetic library for arbitrary precision integers
LICENSE= LGPL20
LICENSE_FILE= ${WRKSRC}/LICENSE
-BROKEN= does not build
-
LIB_DEPENDS= libgmp.so:math/gmp
USES= gmake perl5 shebangfix tar:tgz
diff --git a/math/ocaml-zarith/files/patch-configure b/math/ocaml-zarith/files/patch-configure
index 6a42bd3e0d82..b451ff3514d9 100644
--- a/math/ocaml-zarith/files/patch-configure
+++ b/math/ocaml-zarith/files/patch-configure
@@ -11,6 +11,15 @@
IFS=':'
for i in $PATH
do
+@@ -258,7 +262,7 @@ searchbin ocamlfind
+ if test $? -eq 1 -a $ocamlfind != "no"; then
+ instmeth='findlib'
+ if test "$installdir" = "auto"
+- then installdir=`ocamlfind printconf destdir`; fi
++ then installdir=`ocamlfind printconf destdir | sed 's/:.*//'`; fi
+ else
+ searchbin install
+ if test $? -eq 1; then instmeth='install'
@@ -304,6 +308,14 @@ case $host in
arch='i686'
fi