diff options
Diffstat (limited to 'devel/ocaml-sem')
| -rw-r--r-- | devel/ocaml-sem/Makefile | 1 | ||||
| -rw-r--r-- | devel/ocaml-sem/pkg-install | 10 |
2 files changed, 1 insertions, 10 deletions
diff --git a/devel/ocaml-sem/Makefile b/devel/ocaml-sem/Makefile index 7af8ea0ddfcc..45b9edc4f90e 100644 --- a/devel/ocaml-sem/Makefile +++ b/devel/ocaml-sem/Makefile @@ -21,6 +21,7 @@ MAKE_ENV= OCAML_LIB_INSTALL="${PREFIX}/lib/ocaml/site-lib/sem" \ MAKE_JOBS_UNSAFE= yes ALL_TARGET= all DOCSDIR= ${PREFIX}/share/doc/${PKGNAMEPREFIX}${PORTNAME} +OPTIONS_DEFINE= DOCS .if !defined(WITH_CUSTOM) MAKE_ENV+= NO_CUSTOM=y diff --git a/devel/ocaml-sem/pkg-install b/devel/ocaml-sem/pkg-install deleted file mode 100644 index b765bfcc770b..000000000000 --- a/devel/ocaml-sem/pkg-install +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh - -if [ "$2" = "POST-INSTALL" ]; then - echo "${PKG_PREFIX}/lib/ocaml/site-lib/sem" >> ${PKG_PREFIX}/lib/ocaml/ld.conf -elif [ "$2" = "DEINSTALL" ]; then - mv ${PKG_PREFIX}/lib/ocaml/ld.conf ${PKG_PREFIX}/lib/ocaml/ld.conf.tmp - grep -v sem ${PKG_PREFIX}/lib/ocaml/ld.conf.tmp > ${PKG_PREFIX}/lib/ocaml/ld.conf - rm -f ${PKG_PREFIX}/lib/ocaml/ld.conf.tmp - chmod 0644 ${PKG_PREFIX}/lib/ocaml/ld.conf -fi |