CMAKE_OPTIONS+=" -Dembree_DIR:PATH=${EMBREE_ROOT_DIR}/lib/cmake/embree-${EMBREE_VERSION}"
# Embree CMake defines EMBREE_INCLUDE_DIRS but TTK uses EMBREE_INCUDE_DIR which is undefined.
CMAKE_OPTIONS+=" -DEMBREE_INCLUDE_DIR=${EMBREE_ROOT_DIR}/include"
+
+LINUX_DISTRIBUTION="$DIST_NAME$DIST_VERSION"
+
+case $LINUX_DISTRIBUTION in
+ DB10)
+ # A.Geay (Sous debian10 sur nos VM de prod, on a pas mal de nos tests qui plantent avec des SIGILL)
+ echo "WARNING: switching off cpu optimization!"
+ CMAKE_OPTIONS+=" -DTTK_ENABLE_CPU_OPTIMIZATION=OFF"
+ ;;
+ *)
+ ;;
+esac
+
echo
echo "*** cmake" $CMAKE_OPTIONS
rm -rf $BUILD_DIR