From owner-svn-ports-all@freebsd.org Sat Dec 31 09:00:21 2016 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 C5CA0C982F5; Sat, 31 Dec 2016 09:00:21 +0000 (UTC) (envelope-from hrs@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::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 A06EF10B2; Sat, 31 Dec 2016 09:00:21 +0000 (UTC) (envelope-from hrs@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id uBV90KwV086764; Sat, 31 Dec 2016 09:00:20 GMT (envelope-from hrs@FreeBSD.org) Received: (from hrs@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id uBV90KOP086763; Sat, 31 Dec 2016 09:00:20 GMT (envelope-from hrs@FreeBSD.org) Message-Id: <201612310900.uBV90KOP086763@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: hrs set sender to hrs@FreeBSD.org using -f From: Hiroki Sato Date: Sat, 31 Dec 2016 09:00:20 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r430096 - head/math/coq 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.23 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: Sat, 31 Dec 2016 09:00:21 -0000 Author: hrs Date: Sat Dec 31 09:00:20 2016 New Revision: 430096 URL: https://svnweb.freebsd.org/changeset/ports/430096 Log: - Add missing dependencies. - Strip installed binaries. Modified: head/math/coq/Makefile Modified: head/math/coq/Makefile ============================================================================== --- head/math/coq/Makefile Sat Dec 31 08:39:23 2016 (r430095) +++ head/math/coq/Makefile Sat Dec 31 09:00:20 2016 (r430096) @@ -1,15 +1,14 @@ -# Created by: Rene Ladan # $FreeBSD$ PORTNAME= coq PORTVERSION= 8.4.6 -PORTEPOCH= 2 +PORTEPOCH= 3 CATEGORIES= math MASTER_SITES= http://coq.inria.fr/distrib/V${COQVERSION}/files/ \ ftp://ftp.stack.nl/pub/users/johans/coq/ DISTNAME= ${PORTNAME}-${COQVERSION} -MAINTAINER= ports@FreeBSD.org +MAINTAINER= hrs@FreeBSD.org COMMENT= Theorem prover based on lambda-C LICENSE= LGPL21 @@ -17,21 +16,48 @@ LICENSE_FILE= ${WRKSRC}/LICENSE BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ ocamlfind:devel/ocaml-findlib +LIB_DEPENDS= libfontconfig.so:x11-fonts/fontconfig \ + libfreetype.so:print/freetype2 COQVERSION= ${PORTVERSION:R}pl${PORTVERSION:E} -USES= gmake +USES= gmake gettext-runtime +USE_GNOME= atk cairo gdkpixbuf2 glib20 gtk20 pango USE_OCAML= yes -ALL_TARGET= world - HAS_CONFIGURE= yes CONFIGURE_ARGS= --prefix ${PREFIX} \ --mandir ${PREFIX}/man \ --emacslib ${PREFIX}/share/emacs/site-lisp \ --opt -MAKE_ENV= COQINSTALLPREFIX=${DESTDIR} +ALL_TARGET= world BROKEN_powerpc= does not link +STRIP_FILES= \ + lib/coq/dllcoqrun.so \ + lib/coq/plugins/cc/cc_plugin.cmxs \ + lib/coq/plugins/decl_mode/decl_mode_plugin.cmxs \ + lib/coq/plugins/extraction/extraction_plugin.cmxs \ + lib/coq/plugins/field/field_plugin.cmxs \ + lib/coq/plugins/firstorder/ground_plugin.cmxs \ + lib/coq/plugins/fourier/fourier_plugin.cmxs \ + lib/coq/plugins/funind/recdef_plugin.cmxs \ + lib/coq/plugins/micromega/micromega_plugin.cmxs \ + lib/coq/plugins/nsatz/nsatz_plugin.cmxs \ + lib/coq/plugins/omega/omega_plugin.cmxs \ + lib/coq/plugins/quote/quote_plugin.cmxs \ + lib/coq/plugins/ring/ring_plugin.cmxs \ + lib/coq/plugins/romega/romega_plugin.cmxs \ + lib/coq/plugins/rtauto/rtauto_plugin.cmxs \ + lib/coq/plugins/setoid_ring/newring_plugin.cmxs \ + lib/coq/plugins/subtac/subtac_plugin.cmxs \ + lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs \ + lib/coq/plugins/syntax/nat_syntax_plugin.cmxs \ + lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs \ + lib/coq/plugins/syntax/r_syntax_plugin.cmxs \ + lib/coq/plugins/syntax/string_syntax_plugin.cmxs \ + lib/coq/plugins/syntax/z_syntax_plugin.cmxs \ + lib/coq/plugins/xml/xml_plugin.cmxs + OPTIONS_DEFINE= DOCS IDE OPTIONS_DEFAULT= IDE OPTIONS_SUB= yes @@ -49,14 +75,14 @@ add-plist-post: @${DO_NADA} post-patch: - @${REINPLACE_CMD} -e '/FreeBSD.*\.byte/s/^/#/' \ - -e '1s:/bin/bash:/bin/sh:' \ - -e '/^MAKE=/d' ${WRKSRC}/configure - @${REINPLACE_CMD} -e 's:/bin/bash:/bin/sh:' \ - ${WRKSRC}/Makefile* ${WRKSRC}/install.sh - @${REINPLACE_CMD} -e '/^#COQINSTALLPREFIX/{s/^#//;s|$$|$${DESTDIR}|;}' \ - ${WRKSRC}/Makefile.build - @${REINPLACE_CMD} -e '/show_latex_mes/s/)$$/; true)/' \ - ${WRKSRC}/Makefile.doc + ${REINPLACE_CMD} -e '/FreeBSD.*\.byte/s/^/#/' \ + -e '/^MAKE=/d' ${WRKSRC}/configure + ${REINPLACE_CMD} -e '/^#COQINSTALLPREFIX/{s/^#//;s|$$|$${DESTDIR}|;}' \ + ${WRKSRC}/Makefile.build + ${REINPLACE_CMD} -e '/show_latex_mes/s/)$$/; true)/' \ + ${WRKSRC}/Makefile.doc + +post-install: + cd ${STAGEDIR}${PREFIX} && ${STRIP_CMD} ${STRIP_FILES} .include