From d3356cd3e47f0ab0694085115f05253deed212de Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Sat, 8 Dec 2018 00:38:21 +0100 Subject: [PATCH] Use master14 branch for Carl --- CHANGELOG.md | 1 + resources/3rdparty/carl/CMakeLists.txt | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 118c4c8c5..226abe92e 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -31,6 +31,7 @@ Version 1.3.x - `storm-dft`: Added SMT encoding for DFTs - `storm-dft`: Improved Galileo and JSON parser - Several bug fixes +- Storm uses the `master14` branch of carl from now on ### Comparison with Version 1.2.0 (details see below) - Heavily extended JANI-support diff --git a/resources/3rdparty/carl/CMakeLists.txt b/resources/3rdparty/carl/CMakeLists.txt index e74d53de6..8e7f345b6 100644 --- a/resources/3rdparty/carl/CMakeLists.txt +++ b/resources/3rdparty/carl/CMakeLists.txt @@ -8,7 +8,7 @@ message(STATUS "Carl - Storm 3rdparty binary dir: ${STORM_3RDPARTY_BINARY_DIR}") ExternalProject_Add(carl-config GIT_REPOSITORY https://github.com/smtrat/carl - GIT_TAG 18.06 + GIT_TAG master14 PREFIX here SOURCE_DIR source_dir BINARY_DIR ${STORM_3RDPARTY_BINARY_DIR}/carl