diff options
| author | Antoine Brodin <antoine@FreeBSD.org> | 2014-09-03 16:54:55 +0000 |
|---|---|---|
| committer | Antoine Brodin <antoine@FreeBSD.org> | 2014-09-03 16:54:55 +0000 |
| commit | 65565041d31a3c669eb3fc4ed4784226b297c362 (patch) | |
| tree | 5d7e418a1065f60eac330511c7525d9472ee30cb /math/coq | |
| parent | 4793de06867f144d6c97d0e762605e4b8e94f387 (diff) | |
| download | freebsd-ports-65565041d31a3c669eb3fc4ed4784226b297c362.zip | |
Fix packaging
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 97a0978d09b1..7970cea0b3ea 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -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" |