Removing `WITH_MMTK`#79

Merged

udesou merged 1 commit intommtk:devfrom

udesou:removing-with-mmtk

Dec 10, 2024

Commits on Dec 10, 2024

Removing WITH_MMTK and using MMTK_PLAN to decide whether to build with MMTk or not
udesou
committed