From 1ffef7b5a0bf78bd4b4a31c626f20e150229d814 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sun, 20 Nov 2016 15:29:26 +0000
Subject: [TravisCI] Modify TravisCI/Docker build scripts to support doing
 ASan/UBSan builds of KLEE.

Two configurations (one for each build system) have been added to
TravisCI to do an ASan build.
---
 .travis/metaSMT.sh | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to '.travis/metaSMT.sh')

diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh
index 7195ceb0..6376c4bc 100755
--- a/.travis/metaSMT.sh
+++ b/.travis/metaSMT.sh
@@ -8,6 +8,12 @@ git clone git://github.com/hoangmle/metaSMT.git
 cd metaSMT
 git clone git://github.com/agra-uni-bremen/dependencies.git
 
+source ${KLEE_SRC}/.travis/sanitizer_flags.sh
+if [ "X${IS_SANITIZED_BUILD}" != "X0" ]; then
+  echo "Error: Requested Sanitized build but sanitized build of metaSMT is not implemented"
+  exit 1
+fi
+
 # Bootstrap
 export BOOST_ROOT=/usr
 sudo cp dependencies/Z3-2.19/Z3Config.cmake /usr # this is a hack
-- 
cgit 1.4.1