33 lines · 635 B · Text
RawDownload
#!/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}