diff options
author | Don Bright <hugh.m.bright@gmail.com> | 2012-12-21 16:21:24 (GMT) |
---|---|---|
committer | Don Bright <hugh.m.bright@gmail.com> | 2012-12-21 16:21:24 (GMT) |
commit | bb317292c005679415f735e571fed17546bbf2d0 (patch) | |
tree | 7d9e4038edca0a67af51844afd0acdd800f7d7db /scripts/uni-get-dependencies.sh | |
parent | ef72f6fa7d3e55e11d6b7efdcee339a9cb12d5a8 (diff) |
revise ubuntu / debian detection, dont try to detect version. check libgmp3-dev
Diffstat (limited to 'scripts/uni-get-dependencies.sh')
-rwxr-xr-x | scripts/uni-get-dependencies.sh | 33 |
1 files changed, 7 insertions, 26 deletions
diff --git a/scripts/uni-get-dependencies.sh b/scripts/uni-get-dependencies.sh index d170ed5..09c8181 100755 --- a/scripts/uni-get-dependencies.sh +++ b/scripts/uni-get-dependencies.sh @@ -21,39 +21,20 @@ get_opensuse_deps() libqt4-devel glew-devel cmake git bison flex cgal-devel opencsg-devel } -debian_too_old() -{ - echo "System version too low. Please try 'old linux' build (see README.md)" - exit 1 -} - get_debian_deps() { - if [ "`cat /etc/issue | grep 'Debian GNU/Linux 6.0'`" ]; then - debian_too_old - fi - if [ "`cat /etc/issue | grep 'Debian GNU/Linux 5'`" ]; then - debian_too_old - fi - if [ "`cat /etc/issue | grep 'Ubuntu 10'`" ]; then - debian_too_old - fi - if [ "`cat /etc/issue | grep 'Ubuntu 9'`" ]; then - debian_too_old - fi - if [ "`cat /etc/issue | grep 'Ubuntu 8'`" ]; then - debian_too_old - fi - if [ "`cat /etc/issue | grep 'Ubuntu 7'`" ]; then - debian_too_old - fi - echo "Tested on Ubuntu 12.04" sudo apt-get install build-essential libqt4-dev libqt4-opengl-dev \ libxmu-dev cmake bison flex libeigen2-dev git-core libboost-all-dev \ - libXi-dev libmpfr-dev libgmp-dev libboost-dev libglew1.6-dev \ + libXi-dev libmpfr-dev libboost-dev libglew1.6-dev \ libcgal-dev libopencsg-dev + + if [ "`apt-cache search libgmp | grep libgmp3-dev`" ]; then + sudo apt-get install libgmp3-dev + else + sudo apt-get install libgmp-dev + fi } |