1 # Installation path options.
5 SYSCONTROLSOCKET=/dev/dinitctl
8 # General build options.
10 # Linux (GCC). Note with GCC 5.x/6.x you must use the old ABI, with GCC 7.x you must use
11 # the new ABI. See BUILD file for more information.
13 CXXOPTS=-D_GLIBCXX_USE_CXX11_ABI=1 -std=c++11 -Os -Wall -fno-rtti -fno-plt -flto
16 SANITIZEOPTS=-fsanitize=address,undefined