Skip to content
Snippets Groups Projects
Commit c5a14d01 authored by olivier stasse's avatar olivier stasse Committed by Valenza Florian
Browse files

[Travis] Work around to add deb robotpkg repo in deb instead of deb-src

parent 3e59a098
No related branches found
No related tags found
No related merge requests found
......@@ -6,7 +6,7 @@ set -x
set -v
# Add robotpkg
sudo add-apt-repository -y "deb http://robotpkg.openrobots.org/packages/debian precise robotpkg"
sudo sh -c "echo \"deb http://robotpkg.openrobots.org/packages/debian precise robotpkg\" >> /etc/apt/sources.list "
# Setup environment variables.
export APT_DEPENDENCIES="doxygen doxygen-latex libboost-all-dev libeigen3-dev liblapack-dev libblas-dev gfortran python-dev python-sphinx robotpkg-urdfdom"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment