postinst is in smlnj-runtime 110.78-2.
This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | #!/bin/bash
set -e
SMLNJ_HOME=/usr/lib/smlnj
PATHCONFIG="$SMLNJ_HOME/lib/pathconfig"
build_pathconfig() {
cp -f "$SMLNJ_HOME/lib/extrapathconfig" "$PATHCONFIG"
for f in "$SMLNJ_HOME"/lib/[^.]*; do
if [ -d "$f" ]; then
g="$(basename $f)"
echo "$g $g" >> "$PATHCONFIG"
fi
done
for f in "$SMLNJ_HOME"/bin/[^.]*; do
if [ -f "$f" ]; then
echo "$(basename $f) ../bin" >> "$PATHCONFIG"
fi
done
}
build_pathconfig
|