Home | Docs | Forums | Lists | Bugs | Planet | Store | GMN | Get Gentoo!
set -e
dir=`dirname "$0"`
lib='/usr/lib/mlton'
eval `"$lib/platform"`
gcc='gcc'
case "$HOST_OS" in