Date: Wed, 3 Sep 2014 16:54:55 +0000 (UTC) From: Antoine Brodin <antoine@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r367220 - head/math/coq Message-ID: <201409031654.s83Gstbn034406@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: antoine Date: Wed Sep 3 16:54:55 2014 New Revision: 367220 URL: http://svnweb.freebsd.org/changeset/ports/367220 QAT: https://qat.redports.org/buildarchive/r367220/ Log: Fix packaging Modified: head/math/coq/Makefile Modified: head/math/coq/Makefile ============================================================================== --- head/math/coq/Makefile Wed Sep 3 16:54:23 2014 (r367219) +++ head/math/coq/Makefile Wed Sep 3 16:54:55 2014 (r367220) @@ -39,6 +39,10 @@ DOCS_BUILD_DEPENDS= hevea:${PORTSDIR}/te DOCS_CONFIGURE_OFF= --with-doc none PORTDOCS= * +# Workaround bsd.ocaml.mk to fix packaging +add-plist-post: + @${DO_NADA} + .include <bsd.port.pre.mk> .if ${ARCH} == "powerpc"
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201409031654.s83Gstbn034406>