Closed mzillich closed 9 years ago
@m312z: One needs to install debian package flex
sudo apt-get install flex So I guess this dependency should be added to package.xml
According to https://github.com/ros/rosdistro/blob/master/rosdep/base.yaml, Line 599 You should add the following lines to your package.xml:
<build_depend>flex</build_depend> <run_depend>flex</run_depend>
@m312z: One needs to install debian package flex