-DBUILD_GUI="$(usex qt5)"
-DUSE_Z3="$(usex z3)"
-DFILESDIR="${EROOT}/usr/share/${PN}/"
-ENABLE_OSS_FUZZ=OFF
-DENABLE_OSS_FUZZ=OFF
)
cmake_src_configure
}