From a0e13d1ba75431266dd22f4ce7ff8036e7449cb0 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Mon, 28 Sep 2020 16:48:37 +0100
Subject: Use LLVM 6.0 for now on macOS

C++ static destructors are currently not supported for newer LLVM version.
Keep older LLVM version until issue is fixed.
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 10762d59..09596e40 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -124,7 +124,7 @@ jobs:
     # macOS
     - name: "macOS"
       os: osx
-      env: SOLVERS=STP UCLIBC_VERSION=0 USE_TCMALLOC=0 USE_LIBCXX=0
+      env: SOLVERS=STP UCLIBC_VERSION=0 USE_TCMALLOC=0 USE_LIBCXX=0 LLVM_VERSION=6.0
 
     # Docker
     - name: "Docker"
-- 
cgit 1.4.1