We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0afe0d9 commit 321e73dCopy full SHA for 321e73d
third-party/mimalloc/Makefile
@@ -14,7 +14,7 @@ CHPL_MIMALLOC_CFG_OPTIONS += \
14
-DMI_BUILD_TESTS=OFF \
15
-DMI_BUILD_OBJECT=OFF
16
17
-# if host, build shared, otherwise just build static
+# if host, build shared and static, otherwise just build static
18
ifeq ($(strip $(CHPL_MAKE_HOST_TARGET)),--host)
19
CHPL_MIMALLOC_CFG_OPTIONS += -DMI_BUILD_SHARED=ON -DMI_BUILD_STATIC=ON
20
else
0 commit comments