diff options
Diffstat (limited to 'devel/cil/Makefile')
| -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> |