Merge remote-tracking branch 'MLton.mlton.git/master' into upstream-merge

Author: MatthewFluet

.gitignore

@@ -1,5 +1,4 @@
+/boot/
 /build/
 /install/
-
-# created by a failed build
-/tmp*
+mlton-*.tgz

.travis.yml

@@ -0,0 +1,42 @@
+language: shell
+os: linux
+arch: amd64
+
+addons:
+  apt:
+    packages: mlton
+  homebrew:
+    packages: mlton
+
+jobs:
+  include:
+  - os:   linux
+    dist: bionic
+    arch: amd64
+    env:  CC=gcc    MLTON_COMPILE_ARGS="-codegen amd64"  REGRESSION=true
+  - os:   linux
+    dist: bionic
+    arch: amd64
+    env:  CC=gcc    MLTON_COMPILE_ARGS="-codegen c"      REGRESSION=false
+  - os:   linux
+    dist: bionic
+    arch: amd64
+    env:  CC=clang  MLTON_COMPILE_ARGS="-codegen c"      REGRESSION=false
+  - os:   linux
+    dist: bionic
+    arch: amd64
+    env:  CC=clang  MLTON_COMPILE_ARGS="-codegen llvm"   REGRESSION=false
+  - os: osx
+    osx_image: xcode11
+    arch: amd64
+    env:  CC=clang  MLTON_COMPILE_ARGS="-codegen amd64"  REGRESSION=false
+  - os: osx
+    osx_image: xcode11
+    arch: amd64
+    env:  CC=clang  MLTON_COMPILE_ARGS="-codegen c"      REGRESSION=false
+
+script:
+  - ./bin/travis-ci
+
+notifications:
+  email: false