libwebp-dev is now handled by rosdep. (#46)
parent
2bb67ac70b
commit
2e9652d71f
|
@ -54,7 +54,6 @@ using `Ninja <https://ninja-build.org>`_.
|
||||||
wstool update
|
wstool update
|
||||||
|
|
||||||
# Install deb dependencies.
|
# Install deb dependencies.
|
||||||
sudo apt-get install -y libwebp-dev # TODO(whess): Move to rosdep.
|
|
||||||
rosdep update
|
rosdep update
|
||||||
rosdep install --from-paths src --ignore-src --rosdistro=${ROS_DISTRO} -y
|
rosdep install --from-paths src --ignore-src --rosdistro=${ROS_DISTRO} -y
|
||||||
|
|
||||||
|
|
|
@ -17,10 +17,9 @@
|
||||||
set -o errexit
|
set -o errexit
|
||||||
set -o verbose
|
set -o verbose
|
||||||
|
|
||||||
# Install deb dependencies.
|
# Install Ninja.
|
||||||
sudo apt-get update
|
sudo apt-get update
|
||||||
# TODO(whess): Move libwebp-dev to rosdep.
|
sudo apt-get install -y ninja-build
|
||||||
sudo apt-get install -y ninja-build libwebp-dev
|
|
||||||
|
|
||||||
. /opt/ros/${ROS_DISTRO}/setup.sh
|
. /opt/ros/${ROS_DISTRO}/setup.sh
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue