From 24996597043fd8fb76a6b0fa781fcb0197050dab Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Sun, 15 Sep 2019 16:45:28 +0200 Subject: enable testing for LLVM 9.0 --- .travis.yml | 3 ++- test/lit.cfg | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 290797b4..d30a8863 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,7 +12,7 @@ env: ########################################################################### # Check a subset of the matrix of: - # LLVM : {3.8, 3.9, 4.0, 5.0, 6.0, 7} + # LLVM : {3.8, 3.9, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0} # SOLVERS : {Z3, STP, STP:Z3, metaSMT} # STP_VERSION : {2.3.3, master} # METASMT_VERSION : {v4.rc1} @@ -56,6 +56,7 @@ env: matrix: # Check supported LLVM versions + - LLVM_VERSION=9.0 - LLVM_VERSION=8.0 - LLVM_VERSION=7.0 - LLVM_VERSION=6.0 diff --git a/test/lit.cfg b/test/lit.cfg index c240de27..4feda655 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -155,7 +155,7 @@ config.substitutions.append( # Add feature for the LLVM version in use, so it can be tested in REQUIRES and # XFAIL checks. We also add "not-XXX" variants, for the same reason. -known_llvm_versions = set(["3.8", "3.9", "4.0", "5.0", "6.0", "7.0", "7.1", "8.0"]) +known_llvm_versions = set(["3.8", "3.9", "4.0", "5.0", "6.0", "7.0", "7.1", "8.0", "9.0"]) current_llvm_version = "%s.%s" % (config.llvm_version_major, config.llvm_version_minor) -- cgit 1.4.1