You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For discussion. Catkin has no true notion of a workspace folder, it only know source space, devel space, install space, and so on.
We still talk about the workspace root folder because that is the most common, standard and default catkin_make usage pattern. However catkin_make also allows invoking catkin_make on some target folder using --source. I believe in that case, the tool cannot guess which folder should be the workspace root (it would be different if there was an argument like --target-workspace pointing to the intended workspace root), and should not write any marker file.
So minimally catkin marker file creation should be suppressed (maybe with warning) when the --source argument was given. The same applies to cmi.
An alternative would be to put the marker file into the source folder instead of the workspace root. This alone however would defeat the purpose of easily locating the parent folder from which catkin_make can be invoked, since the tool cannot assume that the parent of a source-space is intended as a workspace root (same reasons as above).
The text was updated successfully, but these errors were encountered:
). So the location of the workspace root is defined clearly. That is the location where the marker file is placed and it enables that the command can be invoked anywhere below this path.
All command line arguments are resolved relative to the workspace root. Placing the marker file in the source folder instead is therefore not really an option since the tool would not be able to find the workspace root anymore.
Also by passing a different source folder (e.g. --source my-src) the current behavior does not automatically become invalid. Therefore I don't think the marker file should be skipped when a source argument is passed.
For discussion. Catkin has no true notion of a workspace folder, it only know source space, devel space, install space, and so on.
We still talk about the workspace root folder because that is the most common, standard and default catkin_make usage pattern. However catkin_make also allows invoking catkin_make on some target folder using --source. I believe in that case, the tool cannot guess which folder should be the workspace root (it would be different if there was an argument like --target-workspace pointing to the intended workspace root), and should not write any marker file.
So minimally catkin marker file creation should be suppressed (maybe with warning) when the --source argument was given. The same applies to cmi.
An alternative would be to put the marker file into the source folder instead of the workspace root. This alone however would defeat the purpose of easily locating the parent folder from which catkin_make can be invoked, since the tool cannot assume that the parent of a source-space is intended as a workspace root (same reasons as above).
The text was updated successfully, but these errors were encountered: