From owner-svn-ports-all@freebsd.org Sun Jun 28 07:11:25 2015 Return-Path: Delivered-To: svn-ports-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 11AF798FEC5; Sun, 28 Jun 2015 07:11:25 +0000 (UTC) (envelope-from marino@FreeBSD.org) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id DCB971021; Sun, 28 Jun 2015 07:11:24 +0000 (UTC) (envelope-from marino@FreeBSD.org) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.9/8.14.9) with ESMTP id t5S7BOQQ013743; Sun, 28 Jun 2015 07:11:24 GMT (envelope-from marino@FreeBSD.org) Received: (from marino@localhost) by svn.freebsd.org (8.14.9/8.14.9/Submit) id t5S7BODZ013742; Sun, 28 Jun 2015 07:11:24 GMT (envelope-from marino@FreeBSD.org) Message-Id: <201506280711.t5S7BODZ013742@svn.freebsd.org> X-Authentication-Warning: svn.freebsd.org: marino set sender to marino@FreeBSD.org using -f From: John Marino Date: Sun, 28 Jun 2015 07:11:24 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r390740 - head/math/why3 X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 28 Jun 2015 07:11:25 -0000 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@FreeBSD.org +MAINTAINER= ports@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 + +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