Verified Commit 3b898976 authored by Tommaso Tocci's avatar Tommaso Tocci
Browse files

bugfix: compile mercury with last CMake version available

parent d0d37d05
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -262,7 +262,7 @@ echo "############################################################ Installing:
CURR=${SOURCE}/mercury
prepare_build_dir ${CURR}
cd ${CURR}/build
cmake \
$CMAKE \
    -DCMAKE_BUILD_TYPE:STRING=Release \
    -DBUILD_TESTING:BOOL=OFF \
    -DMERCURY_USE_SELF_FORWARD:BOOL=ON \