Merge pull request #1 from amontoison/travis

Add Travis CI
bbopt · Apr 22, 2020 · 3297047 · 3297047
2 parents 722e42c + ce042c2
commit 3297047
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