File tree 1 file changed +3
-1
lines changed
1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -6,7 +6,9 @@ sudo apt-add-repository -y ppa:dartsim/ppa
6
6
sudo apt-get -qq update
7
7
sudo apt-get install -y --no-install-recommends build-essential cmake pkg-config git libeigen3-dev libccd-dev libfcl-dev libboost-regex-dev libboost-system-dev libboost-filesystem-dev libboost-test-dev libbullet-dev libode-dev liboctomap-dev libtinyxml-dev libtinyxml2-dev liburdfdom-dev liburdfdom-headers-dev python3-pip python3-numpy libpython3-dev libxi-dev libxmu-dev freeglut3-dev libopenscenegraph-dev libassimp-dev libfmt-dev pybind11-dev
8
8
9
- sudo ln -s /usr/bin/python3 /usr/bin/python
9
+ if [ ! -f /usr/bin/python ]; then
10
+ sudo ln -s /usr/bin/python3 /usr/bin/python
11
+ fi
10
12
11
13
if [ " $MAGNUM_GUI " = " ON" ]; then
12
14
sudo apt-get install -y --no-install-recommends libopenal-dev libglfw3-dev libsdl2-dev libdevil-dev libpng-dev libfaad-dev libfreetype6-dev libglm-dev
You can’t perform that action at this time.
0 commit comments