#! /bin/sh
set -e
rm -f /usr/lib/smlnj/110.42/pathconfig
for basedir in /usr/lib/smlnj/110.42 /usr/local/lib/smlnj/110.42; do
    if [ -d $basedir ]; then
        cd $basedir;
        for d in *; do
            if [ -d $d ]; then
                echo $d $basedir/$d >>/usr/lib/smlnj/110.42/pathconfig
            fi
        done
    fi
done
