mconfig.Linux 1.0 KB

12345678910111213141516171819202122232425262728
  1. # This file can be used as a basis for manual customisation, by copying it
  2. # to the correct place (../mconfig) before editing. If this is not done,
  3. # Linux configuration will normally be generated by the shell script
  4. # in this directory (mconfig.Linux.sh).
  5. # Installation path options.
  6. SBINDIR=/sbin
  7. MANDIR=/usr/share/man
  8. SYSCONTROLSOCKET=/dev/dinitctl
  9. # 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.txt file for more information.
  12. CXX=g++
  13. CXXOPTS=-D_GLIBCXX_USE_CXX11_ABI=1 -std=c++11 -Os -Wall -fno-rtti -fno-plt -flto
  14. LDFLAGS=-flto -Os
  15. BUILD_SHUTDOWN=yes
  16. SANITIZEOPTS=-fsanitize=address,undefined
  17. # Notes:
  18. # -D_GLIBCXX_USE_CXX11_ABI=1 : force use of new ABI, see above / BUILD.txt
  19. # -fno-rtti (optional) : Dinit does not require C++ Run-time Type Information
  20. # -fno-plt (optional) : Recommended optimisation
  21. # -flto (optional) : Perform link-time optimisation
  22. # -fsanitize=address,undefined : Apply sanitizers (during unit tests)