From b3a6d91d5838fcceb6bd0cbf8db690ec3924f813 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Mon, 19 Apr 2021 13:17:48 +0200 Subject: [PATCH] CMake: Changed github address of Carl. --- resources/3rdparty/carl/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/3rdparty/carl/CMakeLists.txt b/resources/3rdparty/carl/CMakeLists.txt index 8e7f345b6..9b36c4fb0 100644 --- a/resources/3rdparty/carl/CMakeLists.txt +++ b/resources/3rdparty/carl/CMakeLists.txt @@ -7,7 +7,7 @@ option(STORM_3RDPARTY_BINARY_DIR "3rd party bin dir") message(STATUS "Carl - Storm 3rdparty binary dir: ${STORM_3RDPARTY_BINARY_DIR}") ExternalProject_Add(carl-config - GIT_REPOSITORY https://github.com/smtrat/carl + GIT_REPOSITORY https://github.com/ths-rwth/carl GIT_TAG master14 PREFIX here SOURCE_DIR source_dir