Date: Sun, 29 Jan 2017 23:39:24 +0000 (UTC) From: John Marino <marino@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r432811 - in head/math/why3: . files Message-ID: <201701292339.v0TNdOis041728@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: marino Date: Sun Jan 29 23:39:24 2017 New Revision: 432811 URL: https://svnweb.freebsd.org/changeset/ports/432811 Log: math/why3: 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 While here, document previously unknown ocamlfind requirement. Added: head/math/why3/files/patch-configure (contents, props changed) Modified: head/math/why3/Makefile Modified: head/math/why3/Makefile ============================================================================== --- head/math/why3/Makefile Sun Jan 29 23:33:28 2017 (r432810) +++ head/math/why3/Makefile Sun Jan 29 23:39:24 2017 (r432811) @@ -27,6 +27,7 @@ INSTALL_TARGET= install-all USES= gmake USE_OCAML= yes +USE_OCAML_FINDLIB= yes FEDORA= ${DISTNAME}${EXTRACT_SUFX}/35f99e5f64939e50ea57f641ba2073ec ALL_TARGET= all byte Added: head/math/why3/files/patch-configure ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/why3/files/patch-configure Sun Jan 29 23:39:24 2017 (r432811) @@ -0,0 +1,11 @@ +--- configure.orig 2014-03-14 15:01:05 UTC ++++ configure +@@ -3427,7 +3427,7 @@ fi + + #if ocamlfind is used it gives the install path for ocaml library + if test "$USEOCAMLFIND" = yes; then +- OCAMLINSTALLLIB=$(ocamlfind printconf destdir) ++ OCAMLINSTALLLIB=$(ocamlfind printconf destdir | sed 's/:.*//') + else + OCAMLINSTALLLIB=$OCAMLLIB + fi
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201701292339.v0TNdOis041728>