Add Travis CI

bbopt · Mar 30, 2020 · ce042c2 · ce042c2
1 parent 722e42c
commit ce042c2
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -0,0 +1,14 @@
+language: cpp
+
+matrix:
+  include:
+    - os: linux
+      dist: bionic
+      compiler: gcc
+    - os: osx
+      osx_image: xcode11.3
+      compiler: clang
+
+script:
+  - cd src
+  - make NOOMP=1 USE_SGTELIB=0 VARIANT=debug