polyc.in

#! /bin/sh
prefix=@prefix@
exec_prefix=@exec_prefix@
BINDIR=@bindir@
LINK=@CC@
LIBDIR=@libdir@
LIBS="@LIBS@"
CFLAGS="@CFLAGS@"

# Extra options for Windows.  config.status sets these conditionals to either "" or "#".

@NATIVE_WINDOWS_FALSE@EXTRALDFLAGS=""
@NATIVE_WINDOWS_TRUE@@ARCHX86_64_TRUE@EXTRALDFLAGS="-mwindows -Wl,-u,WinMain"
@NATIVE_WINDOWS_TRUE@@ARCHINTERPRET64_TRUE@EXTRALDFLAGS="-mwindows -Wl,-u,WinMain"
@NATIVE_WINDOWS_TRUE@@ARCHI386_TRUE@EXTRALDFLAGS="-mwindows -Wl,-u,_WinMain@16"
@NATIVE_WINDOWS_TRUE@@ARCHINTERPRET_TRUE@EXTRALDFLAGS="-mwindows -Wl,-u,_WinMain@16"

@NATIVE_WINDOWS_TRUE@SUFFIX="obj"
@NATIVE_WINDOWS_FALSE@SUFFIX="o"

# Extra options for Mac OS X
@EXPMACHO_TRUE@EXTRALDFLAGS="-Wl,-no_pie"

TMPSRCFILE=/tmp/polysrc.$$
TMPOBJFILE=/tmp/polyobj.$$.$SUFFIX
trap 'rm -f $TMPSRCFILE $TMPOBJFILE' 0

compile()
{
    echo "use \"$1\"; PolyML.export(\"$2\", main);" | ${BINDIR}/poly -q --error-exit
}

link()
{
    if [ X"$2" = "X" ]
    then
        ${LINK} ${EXTRALDFLAGS} ${CFLAGS} $1 -L${LIBDIR} -lpolymain -lpolyml ${LIBS}
    else
        ${LINK} ${EXTRALDFLAGS} ${CFLAGS} $1 -o $2 -L${LIBDIR} -lpolymain -lpolyml ${LIBS}
    fi
}

printhelp()
{
    echo "Usage: polyc [OPTION]... [SOURCEFILE]"
    echo Compile and link a Standard ML source file with Poly/ML.
    echo
    echo "   -c           Compile but do not link.  The object file is written to the source file with .$SUFFIX extension."
    echo "   -o output    Write the executable file to 'output'"
    echo "   --help       Write this text and exit"
    exit
}

usage()
{
    echo $1
    echo "Usage: polyc [OPTION]... [SOURCEFILE]"
    exit 1
}

checkml()
{
    extension="${1##*.}"
    case "$extension" in
        sml|ML)
             return 0 ;;
        o|obj)
             return 1;;
        *)
             test -r $1 && file -b $1 | grep -q text ;;
    esac
}

sourcefile=""
objectfile=""
execfile=""
compileonly="no"

while [ $# -gt 0 ]
do
    case "$1" in
        --help)
            printhelp ;;
        -c) compileonly="yes";;
        -o)
            shift
            [ $# -eq 0 ] && usage "Expected file name after -o"
            execfile="$1";;
        *)
            [ X"$sourcefile" = "X" ] || usage "Only one source file name allowed"
            sourcefile="$1";;
    esac
    shift
done

[ X"$sourcefile" = "X" ] && usage "No input files"
[ -r "$sourcefile" ] || usage "Error: $sourcefile: No such file"

case "$compileonly" in
     yes)
         objectfile=${sourcefile%%.*}
         compile $sourcefile $objectfile
         ;;
     no)
         if checkml $sourcefile
         then
             compile $sourcefile $TMPOBJFILE && link $TMPOBJFILE $execfile
         else
             link $sourcefile $execfile
         fi
         ;;
esac