Merge branch 'dev' into dev-slice

This commit is contained in:
daan 2022-01-10 16:21:15 -08:00
commit a74c05c6c0
12 changed files with 21 additions and 15 deletions

View file

@ -337,6 +337,7 @@ if (MI_BUILD_STATIC)
endif()
install(TARGETS mimalloc-static EXPORT mimalloc DESTINATION ${mi_install_objdir} LIBRARY)
install(EXPORT mimalloc DESTINATION ${mi_install_cmakedir})
endif()
# install include files