stop over optimising drgn

This commit is contained in:
Jake Hillion 2023-01-10 02:48:28 -08:00 committed by Jake Hillion
parent 0384d1c144
commit a0d2d46c71

View File

@ -169,9 +169,6 @@ set(DRGN_CONFIGURE_FLAGS "--with-libkdumpfile=no")
if (ASAN)
list(APPEND DRGN_CONFIGURE_FLAGS "--enable-asan=yes")
endif()
# We always compile drgn with aggressive optimizations because it is
# responsible for most of the time OID takes to generate caches.
set(DRGN_CFLAGS "-O3" "-march=broadwell")
add_custom_target(libdrgn ALL
WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/extern/drgn
COMMAND unset BISON_PKGDATADIR && CC=gcc CFLAGS="${DRGN_CFLAGS}" CONFIGURE_FLAGS="${DRGN_CONFIGURE_FLAGS}" ${PYTHON} ./setup.py build --build-temp build