diff options
Diffstat (limited to 'devel/ocaml-pcre/Makefile')
| -rw-r--r-- | devel/ocaml-pcre/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/ocaml-pcre/Makefile b/devel/ocaml-pcre/Makefile index 04e7fe63c3a7..7daabb4303d5 100644 --- a/devel/ocaml-pcre/Makefile +++ b/devel/ocaml-pcre/Makefile @@ -20,6 +20,8 @@ USE_OCAML_LDCONFIG= yes EXAMPLESDIR= ${OCAML_EXAMPLESDIR}/${PORTNAME} DOCSDIR= ${PREFIX}/share/doc/pcre-ocaml +OPTIONS_DEFINE= DOCS EXAMPLES + post-patch: @${REINPLACE_CMD} -e 's|$$prefix"/"share|${STAGEDIR}${PREFIX}/share|' \ ${WRKSRC}/setup.ml |