merge from dev-platform

This commit is contained in:
Daan Leijen 2023-03-15 15:10:12 -07:00
commit 65bbe4014f
21 changed files with 2225 additions and 1719 deletions

View file

@ -50,7 +50,8 @@ set(mi_sources
src/alloc-posix.c
src/heap.c
src/options.c
src/init.c)
src/init.c
src/prim/prim.c)
set(mi_cflags "")
set(mi_libraries "")