[BugFix][Micro] fix tvm.micro ImportError in tvmc when USE_MICRO is OFF

[ZQPei]

As discussed in issue #9617.

Recently tvm.micro is imported by tvmc even though USE_MICRO macro is OFF.
This bug was mistakenly introduced by #9229.

As we can see in

tvm/python/tvm/driver/tvmc/__init__.py

Line 22 in 32e8012

from . import micro

and

tvm/python/tvm/driver/tvmc/runner.py

Lines 37 to 39 in 32e8012

	import tvm.micro.project as project
	from tvm.micro.project import TemplateProjectError
	from tvm.micro.project_api.client import ProjectAPIServerNotFoundError

I tried to fix it by,

• adding a check_micro_support api to tvm.support,
• lazy import tvm.micro after check_micro_support to preserve tvm with USE_MICRO OFF.

[leandron]

I'm fine with this. Thanks for the fix.

Would like to also ask for opinions from @gromero, @areusch and @mehrdadh

[gromero]

@ZQPei oh pardon, even with @leandron tagging me I missed that PR. Thanks for reporting and proposing a fix.

Since I was not aware of yours I created earlier today #9632

I'm wondering if you could kindly test it too and check if it also fixes your issue.

My take is that tvmc micro parser should not be generated when USE_MICRO=OFF and also --device micro should be made unavailable for the user, saying why that's not supported.

[ZQPei]

I'm wondering if you could kindly test it too and check if it also fixes your issue.

My take is that tvmc micro parser should not be generated when USE_MICRO=OFF and also --device micro should be made unavailable for the user, saying why that's not supported.

Yeah, looks good to me. It can also fix the issue and is more concise.

[gromero]

I'm wondering if you could kindly test it too and check if it also fixes your issue.
My take is that tvmc micro parser should not be generated when USE_MICRO=OFF and also --device micro should be made unavailable for the user, saying why that's not supported.

Yeah, looks good to me. It can also fix the issue and is more concise.

@ZQPei 👍 Thanks for the review and for checking that it fixes your issue too.

[mehrdadh]

@ZQPei if you're happy with the other PR, shall we close this PR and move forward with the other?

[ZQPei]

@ZQPei if you're happy with the other PR, shall we close this PR and move forward with the other?

Yes, of course