From ce042c2a82c8bbf015791395a9fb8ff455ddcbc9 Mon Sep 17 00:00:00 2001
From: Alexis Montoison <alexis.montoison@polymtl.ca>
Date: Mon, 30 Mar 2020 16:56:42 -0400
Subject: [PATCH] Add Travis CI

---
 .travis.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 00000000..7b4da6cf
--- /dev/null
+++ 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