diff --git a/CHANGELOG.md b/CHANGELOG.md index 3fb63531..d4d805dc 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,9 @@ Changelog ============== +## Version 14.27 (2024/02) +- Fixed CMake support for CLN + ## Version 14.26 (2023/12) - Interval API extended - Some code cleanup diff --git a/CMakeLists.txt b/CMakeLists.txt index edac9426..21de836b 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -21,7 +21,7 @@ set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake) # Include own macros. include( carlmacros ) -set_version(14 26 0) +set_version(14 27 0) set( PROJECT_FULLNAME "carl") set( PROJECT_DESCRIPTION "Computer ARithmetic Library") diff --git a/Dockerfile b/Dockerfile index 7d79f77d..481cf870 100644 --- a/Dockerfile +++ b/Dockerfile @@ -8,7 +8,7 @@ # Set base image ARG BASE_IMAGE=movesrwth/storm-basesystem:latest FROM $BASE_IMAGE -MAINTAINER Matthias Volk +MAINTAINER Matthias Volk # Configuration arguments