Hi, > Debian explicitly defaults to None: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=701233 > > (I haven't investigated whether this is actually a problem here.) OK. It shouldn't be a problem, if Debian sets up some reasonable flags via CMAKE_C_FLAGS and CMAKE_CXX_FLAGS. Otherwise it'll be built with the default (-O0). -- mb