Changlelog entry.

This commit is contained in:
Daniel Kirchner 2019-06-07 10:45:01 +02:00
parent 9d2f1b0eac
commit a4dfaac53d

View File

@ -15,6 +15,8 @@ Bugfixes:
Build System: Build System:
* Attempt to use stock Z3 cmake files to find Z3 and only fall back to manual discovery. * Attempt to use stock Z3 cmake files to find Z3 and only fall back to manual discovery.
* Generate a cmake error for gcc versions older than 5.0. * Generate a cmake error for gcc versions older than 5.0.
* CMake: use imported targets for boost.
* Emscripten build: upgrade to boost 1.70.