diff --git a/heptc b/heptc index 79ffe74..ed73cff 100755 --- a/heptc +++ b/heptc @@ -8,7 +8,12 @@ RUN_DIR="`pwd`" SCRIPT_DIR=`dirname $(python -c "import os, sys; print os.path.realpath(\"$0\")")` COMPILER_DIR="$SCRIPT_DIR/compiler" -COMPILER=heptc.byte +if [ -x $COMPILER_DIR/heptc.native ]; +then + COMPILER=heptc.native +else + COMPILER=heptc.byte +fi COMPILER_DEBUG=heptc.d.byte LIB_DIR="$SCRIPT_DIR/lib"