summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--devel/ocaml-findlib/Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/devel/ocaml-findlib/Makefile b/devel/ocaml-findlib/Makefile
index 8f21a5c712ee..2b1e3e361493 100644
--- a/devel/ocaml-findlib/Makefile
+++ b/devel/ocaml-findlib/Makefile
@@ -37,14 +37,16 @@ TOOLBOX_RUN_DEPENDS= labltk:x11-toolkits/ocaml-labltk
TOOLBOX_BUILD_DEPENDS= ${TOOLBOX_RUN_DEPENDS}
post-install:
- ${CHMOD} 755 ${STAGEDIR}${PREFIX}/bin/ocamlfind \
- ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/findlib/make_wizard
cd ${STAGEDIR}${PREFIX} && \
${STRIP_CMD} bin/ocamlfind \
${OCAML_SITELIBDIR}/findlib/findlib.cmxs \
${OCAML_SITELIBDIR}/findlib/findlib_dynload.cmxs \
${OCAML_SITELIBDIR}/findlib/findlib_top.cmxs
+post-install-TOOLBOX-on:
+ ${CHMOD} 755 ${STAGEDIR}${PREFIX}/bin/ocamlfind \
+ ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/findlib/make_wizard
+
post-install-DOCS-on:
@${MKDIR} ${STAGEDIR}${DOCSDIR}
cd ${WRKSRC}/doc && ${COPYTREE_SHARE} \* ${STAGEDIR}${DOCSDIR} \