Date: Sun, 1 Mar 2015 21:14:57 +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: r380227 - head/math/why3 Message-ID: <201503012114.t21LEvF2080602@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: marino Date: Sun Mar 1 21:14:57 2015 New Revision: 380227 URL: https://svnweb.freebsd.org/changeset/ports/380227 QAT: https://qat.redports.org/buildarchive/r380227/ Log: math/why: remove hidden references to math/isabelle There was a placeholder to support isabelle, but the port is being removed so let's just remove the placeholder. Modified: head/math/why3/Makefile.common Modified: head/math/why3/Makefile.common ============================================================================== --- head/math/why3/Makefile.common Sun Mar 1 20:08:57 2015 (r380226) +++ head/math/why3/Makefile.common Sun Mar 1 21:14:57 2015 (r380227) @@ -18,8 +18,6 @@ MAKE_JOBS_UNSAFE= yes # with ocaml 4.01. Leave the option commented out for future use. # There is something wrong with coq, it rebuilds itself in /usr/local. # Leave it for now with a TO-DO to fix coq -# Isabelle is currently i386-only due to issues with polyml and default -# reliance on i386-only sml-nj (also currently broke). Disable for now. CONFIGURE_ARGS= --enable-relocation \ --disable-doc \ @@ -30,7 +28,7 @@ CONFIGURE_ARGS= --enable-relocation \ --disable-isabelle-libs .if defined(HAS_MANUAL) -OPTIONS_DEFINE= DOCS #ISABELLE COQ FRAMA_C +OPTIONS_DEFINE= DOCS #COQ FRAMA_C .endif COQ_CONFIGURE_ENABLE= coq-tactic coq-libs @@ -41,10 +39,6 @@ FRAMA_C_CONFIGURE_ENABLE= frama_c FRAMA_C_DESC= Build Frama-C plugin FRAMA_C_BUILD_DEPENDS= frama-c:${PORTSDIR}/devel/frama-c FRAMA_C_RUN_DEPENDS= frama-c:${PORTSDIR}/devel/frama-c -ISABELLE_CONFIGURE_ENABLE= isabelle-libs -ISABELLE_DESC= Enable Isabelle realizations -ISABELLE_BUILD_DEPENDS= isabelle:${PORTSDIR}/math/isabelle -ISABELLE_RUN_DEPENDS= isabelle:${PORTSDIR}/math/isabelle # The pdf is pre-built, but the makefile wants to build it again in order # to generate manual.bbl which is used to build the html documention.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201503012114.t21LEvF2080602>