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

[Build] Option to specify alternate directory to output build to #6016

Merged
merged 1 commit into from
Jul 8, 2020

Conversation

lhutton1
Copy link
Contributor

@lhutton1 lhutton1 commented Jul 8, 2020

Specify a different directory to build to other than "build". This is useful when you would like to manage 2 separate builds in the same tvm tree. You can specify a build directory when using make by adding OUTDIR=alternate-build-dir.

Change-Id: I3efed1135343f3903007115ce5dd683ef7bd9e8c

This is useful when you would like to manage 2 separate builds in the same tvm tree. You can specify a build directory when using make by adding OUTDIR=alternate-build-dir.

Change-Id: I3efed1135343f3903007115ce5dd683ef7bd9e8c
@lhutton1
Copy link
Contributor Author

lhutton1 commented Jul 8, 2020

cc @tqchen

@tqchen
Copy link
Member

tqchen commented Jul 8, 2020

Thanks @lhutton1 , although the most canonical way for different build folder would be just call cmake from different folders

@tqchen tqchen merged commit 6b15e64 into apache:master Jul 8, 2020
trevor-m pushed a commit to trevor-m/tvm that referenced this pull request Jul 14, 2020
This is useful when you would like to manage 2 separate builds in the same tvm tree. You can specify a build directory when using make by adding OUTDIR=alternate-build-dir.

Change-Id: I3efed1135343f3903007115ce5dd683ef7bd9e8c
trevor-m pushed a commit to neo-ai/tvm that referenced this pull request Jul 14, 2020
This is useful when you would like to manage 2 separate builds in the same tvm tree. You can specify a build directory when using make by adding OUTDIR=alternate-build-dir.

Change-Id: I3efed1135343f3903007115ce5dd683ef7bd9e8c
@lhutton1 lhutton1 deleted the make-output-dir branch July 24, 2020 10:50
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