kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix packaging

Browse source
This commit is contained in:
Antoine Brodin 2014-09-03 16:54:55 +00:00
parent 4793de0686
commit 65565041d3
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=367220
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
math/coq/Makefile
View file

@ -39,6 +39,10 @@ DOCS_BUILD_DEPENDS= hevea:${PORTSDIR}/textproc/hevea
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"