Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[microTVM][RVM] Add platform to build directory name #8945

Merged
merged 1 commit into from
Sep 7, 2021

Conversation

mehrdadh
Copy link
Member

@mehrdadh mehrdadh commented Sep 7, 2021

Using two platforms (Arduino and Zephyr) at the same time in the same TVM directory requires different TVM build to avoid conflict. This PR changes the build directory for each platform.

Also this PR removes a file that has been moved in this PR: #8748

@mehrdadh mehrdadh changed the title [microTVM] Add platform to build directory name [microTVM][RVM] Add platform to build directory name Sep 7, 2021
@mehrdadh
Copy link
Member Author

mehrdadh commented Sep 7, 2021

cc @areusch for review.

Copy link
Contributor

@areusch areusch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks @mehrdadh!

@areusch areusch merged commit a3e96c0 into apache:main Sep 7, 2021
ylc pushed a commit to ylc/tvm that referenced this pull request Sep 29, 2021
@mehrdadh mehrdadh deleted the change_build_directory branch November 11, 2021 21:30
ylc pushed a commit to ylc/tvm that referenced this pull request Jan 13, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants