| -- Copyright Microsoft and CHERIoT Contributors. | |
| -- SPDX-License-Identifier: MIT | |
| includes("../freestanding", "../string") | |
| library("microvium") | |
| set_default(false) | |
| add_deps("freestanding", "string") | |
| add_files("../../third_party/microvium/dist-c/microvium.c") | |
| add_includedirs("../../include/microvium", ".") | |
| add_defines("CHERIOT_NO_AMBIENT_MALLOC") |