diff options
Diffstat (limited to 'devel/ocaml-sem/pkg-install')
| -rw-r--r-- | devel/ocaml-sem/pkg-install | 10 |
1 files changed, 0 insertions, 10 deletions
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 |