ROS Resources: Documentation | Support | Discussion Forum | Index | Service Status | ros @ Robotics Stack Exchange
Ask Your Question
0

Confusion about catkin build and devel folder creation

asked 2022-07-05 19:52:46 -0500

distro gravatar image

I have some confusion on the creation of these various packages from the link below. The instructions say I should catkin build. but catkin build doesn't make a devel folder. If I can catkin_make in the same works space then it just breaks stuff (to my understanding). I'm not sure what to do, because I need to source ../devel/setup.bash but can't do so with no devel directory.Link to github and instructions

edit retag flag offensive close merge delete

Comments

This doesn't have enough information to be answerable, though you are right that catkin buildshould create the devel directory.

It might help us if you show us 1) Any error messages from catkin build: cd ~/catkin_ws; source /opt/ros/melodic/setup.bash; catkin build 2) the contents of your catkin workspace: cd ~/catkin_ws; tree -L 2

lindzey gravatar image lindzey  ( 2022-07-06 21:49:30 -0500 )edit

1 Answer

Sort by ยป oldest newest most voted
0

answered 2022-07-22 23:21:17 -0500

distro gravatar image

@lindzey I figured it out, I did a dumb thing not even worth iterating on here.

edit flag offensive delete link more

Comments

Please do explain what caused the problem you encountered and then accept your own answer.

Remember there are many people starting out, and chances are they are running into the same mistake you made.

By explaining what happened to you, you can potentially save someone like you hours of frustration.

gvdhoorn gravatar image gvdhoorn  ( 2022-07-24 09:02:55 -0500 )edit

@gvdhoorn For some reason i had created a bunch of build and devel files in my computer root(/home), I deleted them then the catkin build from my workspace root worked, I on't know how it happened but it's one of those I'll look for when catkin build doesn't work.

distro gravatar image distro  ( 2022-07-24 14:31:25 -0500 )edit

@gvdhoorn Could you please take a look at this

distro gravatar image distro  ( 2022-07-24 14:35:58 -0500 )edit

Question Tools

2 followers

Stats

Asked: 2022-07-05 19:52:46 -0500

Seen: 205 times

Last updated: Jul 22 '22