areusch commented on a change in pull request #6950:
URL: https://github.com/apache/tvm/pull/6950#discussion_r529785970
##########
File path: python/tvm/micro/build.py
##########
@@ -162,7 +158,12 @@ def build_static_runtime(
libs.append(compiler.library(lib_build_dir, lib_srcs, lib_opts))
- libs.append(compiler.library(mod_build_dir, [mod_src_path],
generated_lib_opts))
+ libs.append(
Review comment:
I agree that we should discuss with an RFC. however, I don't want to
break support for GDB debugging with source now.
regarding the target_kind attribute--we do need to be a bit careful with
those, because they serve as keys to the autotuning logs. I don't know that a
debug source directory should be part of identifying an autotuning result.
it seems like perhaps `export_library` could just allow you to specify the
tempdir as a kwarg?
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
[email protected]
