0031-Add-an-option-to-disable-uuid-module.patch 869 B

123456789101112131415161718192021222324252627282930313233
  1. From 3bb693408eda77dda145ec5fecee56ea73031e9f Mon Sep 17 00:00:00 2001
  2. From: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
  3. Date: Sat, 18 Aug 2018 10:54:56 +0200
  4. Subject: [PATCH] Add an option to disable uuid module
  5. Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
  6. ---
  7. configure.ac | 9 +++++++++
  8. 1 file changed, 9 insertions(+)
  9. diff --git a/configure.ac b/configure.ac
  10. index 21479bbd7d..615c16aced 100644
  11. --- a/configure.ac
  12. +++ b/configure.ac
  13. @@ -3425,6 +3425,15 @@ if test "$CURSES" = "no"; then
  14. DISABLED_EXTENSIONS="${DISABLED_EXTENSIONS} _curses _curses_panel"
  15. fi
  16. +AC_SUBST(UUID)
  17. +AC_ARG_ENABLE(uuid,
  18. + AS_HELP_STRING([--disable-uuid], [disable uuid]),
  19. + [ UUID="${enableval}" ], [ UUID=yes ])
  20. +
  21. +if test "$UUID" = "no"; then
  22. + DISABLED_EXTENSIONS="${DISABLED_EXTENSIONS} _uuid"
  23. +fi
  24. +
  25. AC_SUBST(PYDOC)
  26. AC_ARG_ENABLE(pydoc,
  27. --
  28. 2.25.1