Davide

Results 1 comments of Davide

We found a temporary workaround for this failing build: use `cmake ../ -DBUILD_TESTS=OFF` instead of just `cmake ../`