search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Fix/update submodules #54

Closed frejknutarlewander closed 3 years ago

frejknutarlewander commented 3 years ago

I updated the external libraries. Google test is now installed separately instead of being compiled with the source. Since we are using an earlier version of CMake (3.10), we cannot follow this quickstart project example: https://google.github.io/googletest/quickstart-cmake.html#set-up-a-project

The solution is to install the packages on your machine (the install can be done via MakeFile using the submodule-install rule).

Both GoogleBenchmark and GoogleTest have been updated in this way.

I didn't figure out how to link/use an installed version of rapidcheck, so rapidcheck is not updated this way.

This will hopefully improve on the compile times as GoogleBenchmark and GoogleTest does not require recompilation.

GustavBjordal commented 3 years ago

Why don’t we use the latest version of CMake?

frejknutarlewander commented 3 years ago

updated to use cmake 3.20