Commit 01fe35f5 authored by Mohcine Chraibi's avatar Mohcine Chraibi

Merge branch 'develop' of into develop

parents 847ab8a7 da4f33d2
Pipeline #14528 failed with stages
in 12 seconds
......@@ -30,7 +30,7 @@ configure-linux:
- mkdir -p build
- cd build
- cmake -DBUILD_TESTING=ON -DCMAKE_CXX_COMPILER=g++-8 -DBoost_NO_SYSTEM_PATHS=true -DBOOST_ROOT=~/boost_1_61_0 -DCGAL_DIR=~/cgal/build ..
- echo "configure | ${CI_PROJECT_DIR}"
stage: configure
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment