diff options
| author | Antoine Brodin <antoine@FreeBSD.org> | 2014-09-03 15:56:00 +0000 |
|---|---|---|
| committer | Antoine Brodin <antoine@FreeBSD.org> | 2014-09-03 15:56:00 +0000 |
| commit | eec6b0b7c530b8b5444a9e5ba2a7028388eade73 (patch) | |
| tree | 5d40072aa63ca3b03fe111930549da51f47344a5 /devel/cil | |
| parent | 40574a85c198e3d266ee10e1db08cf743b860f02 (diff) | |
Notes
Diffstat (limited to 'devel/cil')
| -rw-r--r-- | devel/cil/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/devel/cil/Makefile b/devel/cil/Makefile index 4175fa9ce7d7..fb36384e4a03 100644 --- a/devel/cil/Makefile +++ b/devel/cil/Makefile @@ -19,6 +19,7 @@ ONLY_FOR_ARCHS= i386 amd64 USES= gmake perl5 USE_OCAML= yes USE_OCAML_FINDLIB= yes +OCAML_PKGDIRS= GNU_CONFIGURE= yes MAKE_JOBS_UNSAFE=yes @@ -87,4 +88,8 @@ do-install: @${RM} -rf ${WRKSRC}/doc/cilcode.tmp (cd ${WRKSRC}/doc && ${COPYTREE_SHARE} . ${STAGEDIR}${DOCSDIR}) +# Workaround bsd.ocaml.mk to fix packaging +add-plist-post: + @${DO_NADA} + .include <bsd.port.mk> |