--- a/deps/jemalloc/CMakeLists.txt 2026-10-19 17:05:23.418468694 +0200 +++ b/deps/jemalloc/CMakeLists.txt 2026-10-19 17:05:33.800229137 +0200 @@ -8,10 +8,11 @@ if (NOT EXISTS ${JEMALLOC_INSTALL_DIR}/l message(STATUS "JEMALLOC_SRC_DIR = ${JEMALLOC_SRC_DIR}") message(STATUS "JEMALLOC_INSTALL_DIR = ${JEMALLOC_INSTALL_DIR}") + string(REPLACE ";" " " JEMALLOC_CONFIGURE_OPTS "${JEMALLOC_CONFIGURE_OPTS}") execute_process( COMMAND sh -c "${JEMALLOC_SRC_DIR}/configure --disable-cxx \ --with-version=5.3.0-0-g0 --with-lg-quantum=3 --disable-cache-oblivious --with-jemalloc-prefix=je_ \ - --enable-static --disable-shared --prefix=${JEMALLOC_INSTALL_DIR}" + --enable-static --disable-shared --prefix=${JEMALLOC_INSTALL_DIR} ${JEMALLOC_CONFIGURE_OPTS}" WORKING_DIRECTORY ${JEMALLOC_SRC_DIR} RESULTS_VARIABLE CONFIGURE_RESULT) if (NOT ${CONFIGURE_RESULT} EQUAL 0)