[TVMC] micro, run: Disable micro support when USE_MICRO=OFF#9632

leandron merged 1 commit intoapache:mainapache/tvm:mainfrom

gromero:tvmc-disable-micro-support-if-not-build-with-microtvmgromero/tvm:tvmc-disable-micro-support-if-not-build-with-microtvmCopy head branch name to clipboard