diff --git a/ci/install_linux.sh b/ci/install_linux.sh index e258bd16ea0615b84ec6e8c5f694c02b006a2391..6af8c1ed2df5506b27e08bcbcad8e3b3252a2fc3 100755 --- a/ci/install_linux.sh +++ b/ci/install_linux.sh @@ -1,4 +1,3 @@ -sudo add-apt-repository --yes ppa:libccd-debs/ppa sudo apt-get -qq update ######################## @@ -6,13 +5,8 @@ sudo apt-get -qq update ######################## sudo apt-get -qq --yes --force-yes install cmake sudo apt-get -qq --yes --force-yes install libboost-all-dev -sudo apt-get -qq --yes --force-yes install libccd-dev sudo apt-get -qq --yes --force-yes install libassimp-dev - -######################## -# Optional dependencies -######################## -sudo apt-get -qq --yes --force-yes install libflann-dev +sudo apt-get -qq --yes --force-yes install libeigen3-dev # Octomap git clone https://github.com/OctoMap/octomap