#!/bin/rc stdlib=LIBDIRmosmlbin=BINDIRincludes=()options=(-conservative) while() { switch($1) { case '' exec $mosmlbin/camlrunm $stdlib/mosmltop -stdlib $stdlib $includes $options case -I -include includes=($includes -I $2) shift case -P -perv options=($options -P $2) shift case -m -msgstyle options=($options -m $2) shift case -orthodox -conservative -liberal -imptypes -quietdec -valuepoly options=($options $1) case -stdlib stdlib=$2 shift case -* echo 'unknown option '^$1^'; ignored' >[1=2] case * exec $mosmlbin/$camlrunm $stdlib/mosmltop -stdlib $stdlib $includes $options $* } shift}
#!/bin/rc
stdlib=LIBDIR
mosmlbin=BINDIR
includes=()
options=(-conservative)
while() {
switch($1) {
case ''
exec $mosmlbin/camlrunm $stdlib/mosmltop -stdlib $stdlib $includes $options
case -I -include
includes=($includes -I $2)
shift
case -P -perv
options=($options -P $2)
shift
case -m -msgstyle
options=($options -m $2)
shift
case -orthodox -conservative -liberal -imptypes -quietdec -valuepoly
options=($options $1)
case -stdlib
stdlib=$2
shift
case -*
echo 'unknown option '^$1^'; ignored' >[1=2]
case *
exec $mosmlbin/$camlrunm $stdlib/mosmltop -stdlib $stdlib $includes $options $*
}
shift
}