From 27f414cc48bf086552ee4cba7784354c162a8301 Mon Sep 17 00:00:00 2001
From: "Hoang M. Le" <hle@informatik.uni-bremen.de>
Date: Tue, 21 Feb 2017 15:17:35 +0100
Subject: fix metaSMT version

---
 .travis/metaSMT.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh
index 6376c4bc..8e1cb341 100755
--- a/.travis/metaSMT.sh
+++ b/.travis/metaSMT.sh
@@ -6,7 +6,12 @@ sudo apt-get -y install libboost1.55-dev libz3 libz3-dev libgmp-dev
 # Clone
 git clone git://github.com/hoangmle/metaSMT.git
 cd metaSMT
+## FIXME: define and use an environment variable METASMT_VERSION instead, when a proper version of metaSMT is available
+git checkout 1f9e399
 git clone git://github.com/agra-uni-bremen/dependencies.git
+cd dependencies
+git checkout 45bc658
+cd ..
 
 source ${KLEE_SRC}/.travis/sanitizer_flags.sh
 if [ "X${IS_SANITIZED_BUILD}" != "X0" ]; then
-- 
cgit 1.4.1