debian/pkg-register

   1 #!/bin/sh
   2
   3 set -e
   4
   5 SMLNJ_HOME=/usr/lib/smlnj
   6
   7 list=/var/lib/dpkg/info/$1.list
   8
   9 for l in $(grep "$SMLNJ_HOME/lib/[^.][^/]*$" $list) ; do
  10     base=$(basename $l)
  11     $SMLNJ_HOME/bin/register $base $base
  12 done
  13
  14 for b in $(grep "$SMLNJ_HOME/bin/[^.][^/]*$" $list) ; do
  15     base=$(basename $b)
  16     $SMLNJ_HOME/bin/register $base ../bin
  17 done