| | 1 | #!/usr/bin/env bash |
| | 2 | |
| | 3 | # This script calls MLton. |
| | 4 | |
| | 5 | set -e |
| | 6 | |
| | 7 | dir=`dirname "$0"` |
| | 8 | lib=`cd "$dir/../lib/mlton" && pwd` |
| | 9 | |
| | 10 | declare -a rargs |
| | 11 | case "$1" in |
| | 12 | @MLton) |
| | 13 | shift |
| | 14 | while [ "$#" -gt 0 -a "$1" != "--" ]; do |
| | 15 | rargs[${#rargs[@]}]="$1" |
| | 16 | shift |
| | 17 | done |
| | 18 | if [ "$#" -gt 0 -a "$1" == "--" ]; then |
| | 19 | shift |
| | 20 | else |
| | 21 | echo '@MLton missing --' |
| | 22 | exit 1 |
| | 23 | fi |
| | 24 | ;; |
| | 25 | esac |
| | 26 | |
| | 27 | EXE= |
| | 28 | |
| | 29 | doitMLton () { |
| | 30 | mlton_mlton="$lib/mlton-compile$EXE" |
| | 31 | if [ -x "$mlton_mlton" ]; then |
| | 32 | exec "$mlton_mlton" @MLton ram-slop 0.5 "${rargs[@]}" -- "$@" |
| | 33 | fi |
| | 34 | } |
| | 35 | doitSMLNJ () { |
| | 36 | smlnj='sml' |
| | 37 | if $smlnj -h >/dev/null 2>&1; then |
| | 38 | smlnj_heap_suffix=`echo 'TextIO.output (TextIO.stdErr, SMLofNJ.SysInfo.getHeapSuffix ());' | $smlnj 2>&1 1> /dev/null` |
| | 39 | mlton_smlnj_heap="$lib/mlton-smlnj.$smlnj_heap_suffix" |
| | 40 | if [ -s "$mlton_smlnj_heap" ]; then |
| | 41 | exec "$smlnj" @SMLload="$mlton_smlnj_heap" "$@" |
| | 42 | fi |
| | 43 | fi |
| | 44 | } |
| | 45 | doitPolyML () { |
| | 46 | mlton_polyml="$lib/mlton-polyml$EXE" |
| | 47 | if [ -x "$mlton_polyml" ]; then |
| | 48 | exec "$mlton_polyml" "$@" |
| | 49 | fi |
| | 50 | } |
| | 51 | |
| | 52 | doit () { |
| | 53 | doitMLton "$@" |
| | 54 | doitSMLNJ "$@" |
| | 55 | doitPolyML "$@" |
| | 56 | echo 'Unable to run MLton. Check that lib is set properly.' >&2 |
| | 57 | exit 1 |
| | 58 | } |
| | 59 | |
| | 60 | CC="gcc" |
| | 61 | |
| | 62 | # You may need to set 'GMP_INC_DIR' so the C compiler can find gmp.h. |
| | 63 | GMP_INC_DIR= |
| | 64 | if [ -n "$GMP_INC_DIR" ]; then |
| | 65 | gmpCCOpts="-cc-opt -I$GMP_INC_DIR" |
| | 66 | fi |
| | 67 | # You may need to set 'GMP_LIB_DIR' so the C compiler can find libgmp. |
| | 68 | GMP_LIB_DIR= |
| | 69 | if [ -n "$GMP_LIB_DIR" ]; then |
| | 70 | gmpLinkOpts="-link-opt -L$GMP_LIB_DIR -target-link-opt netbsd -Wl,-R$GMP_LIB_DIR" |
| | 71 | fi |
| | 72 | |
| | 73 | doit "$lib" \ |
| | 74 | -ar-script "$lib/static-library" \ |
| | 75 | -cc "$CC" \ |
| | 76 | -cc-opt '-std=gnu11 -fno-common' \ |
| | 77 | -cc-opt '-O1 -fomit-frame-pointer -fno-strict-aliasing' \ |
| | 78 | -cc-opt '-w' \ |
| | 79 | -cc-opt-quote "-I$lib/include" \ |
| | 80 | -link-opt '-lm -lgmp' \ |
| | 81 | $gmpCCOpts $gmpLinkOpts \ |
| | 82 | -llvm-llc-opt '-O2' \ |
| | 83 | -llvm-opt-opt '-mem2reg -O2' \ |
| | 84 | -mlb-path-var 'SML_LIB $(LIB_MLTON_DIR)/sml' \ |
| | 85 | -target-as-opt amd64 '-m64' \ |
| | 86 | -target-as-opt x86 '-m32' \ |
| | 87 | -target-cc-opt alpha \ |
| | 88 | '-mieee -mbwx -mtune=ev6 -mfp-rounding-mode=d' \ |
| | 89 | -target-cc-opt amd64 '-m64' \ |
| | 90 | -target-cc-opt aix '-maix64' \ |
| | 91 | -target-cc-opt ia64-hpux "-mlp64" \ |
| | 92 | -target-cc-opt ia64 "-mtune=itanium2" \ |
| | 93 | -target-cc-opt sparc '-m32 -mcpu=v8 -Wa,-xarch=v8plusa' \ |
| | 94 | -target-cc-opt x86 \ |
| | 95 | '-m32 |
| | 96 | -fno-strength-reduce |
| | 97 | -fschedule-insns |
| | 98 | -fschedule-insns2 |
| | 99 | -falign-functions=5 |
| | 100 | -falign-jumps=2 |
| | 101 | -falign-loops=2' \ |
| | 102 | -target-link-opt amd64 '-m64' \ |
| | 103 | -target-link-opt alpha \ |
| | 104 | '-mieee -mbwx -mtune=ev6 -mfp-rounding-mode=d' \ |
| | 105 | -target-link-opt aix '-maix64' \ |
| | 106 | -target-link-opt ia64-hpux "-mlp64" \ |
| | 107 | -target-link-opt linux '-Wl,-znoexecstack' \ |
| | 108 | -target-link-opt mingw \ |
| | 109 | '-lws2_32 -lkernel32 -lpsapi -lnetapi32 -lwinmm' \ |
| | 110 | -target-link-opt mingw '-Wl,--enable-stdcall-fixup' \ |
| | 111 | -target-link-opt solaris '-lnsl -lsocket -lrt' \ |
| | 112 | -target-link-opt x86 '-m32' \ |
| | 113 | -profile-exclude '\$\(SML_LIB\)' \ |
| | 114 | "$@" |
HCoop / hcoop / debian / mlton.git / blame_incremental