svn commit: r390740 - head/math/why3
John Marino
marino at FreeBSD.org
Sun Jun 28 07:11:25 UTC 2015
Author: marino
Date: Sun Jun 28 07:11:24 2015
New Revision: 390740
URL: https://svnweb.freebsd.org/changeset/ports/390740
Log:
math/why3: Release port
I only care about math/why3-gpl, which has been decoupled from why3 and
has already diverged. Before resetting MAINTAINER, I reintegrated the
Makefile.common file (only used by this port) into the main Makefile. In
the process, some options placeholders were lost but in all probability
these options can't be built without serious work on external ports.
Deleted:
head/math/why3/Makefile.common
Modified:
head/math/why3/Makefile
Modified: head/math/why3/Makefile
==============================================================================
--- head/math/why3/Makefile Sun Jun 28 07:08:22 2015 (r390739)
+++ head/math/why3/Makefile Sun Jun 28 07:11:24 2015 (r390740)
@@ -8,16 +8,61 @@ CATEGORIES= math
MASTER_SITES= http://gforge.inria.fr/frs/download.php/33490/ \
http://pkgs.fedoraproject.org/repo/pkgs/why3/${FEDORA}/
-MAINTAINER= marino at FreeBSD.org
+MAINTAINER= ports at FreeBSD.org
COMMENT= Deductive program verification platform
LICENSE= LGPL21
CONFLICT_INSTALL= why3-gpl-*
+BUILD_DEPENDS= ocaml-zarith>1.2:${PORTSDIR}/math/ocaml-zarith \
+ lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 \
+ ocaml-sqlite3>2:${PORTSDIR}/databases/ocaml-sqlite3 \
+ ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph \
+ camlp5o:${PORTSDIR}/devel/ocaml-camlp5
+
+GNU_CONFIGURE= yes
+INSTALL_TARGET= install-all
+
+USES= gmake
+USE_OCAML= yes
+
FEDORA= ${DISTNAME}${EXTRACT_SUFX}/35f99e5f64939e50ea57f641ba2073ec
ALL_TARGET= all byte
-HAS_MANUAL= yes
-.include "${.CURDIR}/Makefile.common"
+CONFIGURE_ARGS= --enable-relocation \
+ --disable-doc \
+ --disable-pvs-libs \
+ --disable-profiling \
+ --disable-coq-tactic \
+ --disable-coq-libs \
+ --disable-isabelle-libs
+
+OPTIONS_DEFINE= DOCS
+
+# 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.
+# Regenerating pdf fails, and the dependencies are heavy. Disable this
+# all for now and just manually install the pdf. The "doc" target was
+# also removed from ALL_TARGET
+#
+#DOCS_CONFIGURE_ENABLE= doc
+#DOCS_BUILD_DEPENDS= rubber:${PORTSDIR}/textproc/rubber \
+# hevea:${PORTSDIR}/textproc/hevea
+
+MAKE_JOBS_UNSAFE= yes
+
+.include <bsd.port.options.mk>
+
+post-patch:
+ @${REINPLACE_CMD} -e 's|/bin/bash|/bin/sh|g' \
+ ${WRKSRC}/src/util/sysutil.ml \
+ ${WRKSRC}/src/jessie/Makefile.in
+
+post-install:
+.if ${PORT_OPTIONS:MDOCS}
+ ${MKDIR} ${STAGEDIR}${DOCSDIR}
+ ${INSTALL_DATA} ${WRKSRC}/doc/manual.pdf ${STAGEDIR}${DOCSDIR}
+.endif
+
.include <bsd.port.mk>
More information about the svn-ports-head
mailing list