diff options
author | don bright <hugh.m.bright@gmail.com> | 2013-03-05 23:57:22 (GMT) |
---|---|---|
committer | don bright <hugh.m.bright@gmail.com> | 2013-03-05 23:57:22 (GMT) |
commit | 51be86ad29fe3012d46e81e279a66c76d79a052a (patch) | |
tree | 93087056b57347e96a87431700f68f39788f2da6 | |
parent | 42f21c3a0850083d245aa3ac346a53e876f0679e (diff) |
check for stale pkgconfig under /usr/local/lib
-rwxr-xr-x | scripts/check-dependencies.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/scripts/check-dependencies.sh b/scripts/check-dependencies.sh index 7153e44..ef8c904 100755 --- a/scripts/check-dependencies.sh +++ b/scripts/check-dependencies.sh @@ -451,17 +451,23 @@ check_old_local() warnon= if [ "`uname | grep -i linux`" ]; then header_list="opencsg.h CGAL boost GL/glew.h gmp.h mpfr.h eigen2 eigen3" - liblist="libboost_system libboost_system-mt libopencsg libCGAL libglew" - for i in $header_list $liblist; do + for i in $header_list; do if [ -e /usr/local/include/$i ]; then echo "Warning: you have a copy of "$i" under /usr/local/include" warnon=1 fi + done + liblist="libboost_system libboost_system-mt libopencsg libCGAL libglew" + for i in $liblist; do if [ -e /usr/local/lib/$i.so ]; then echo "Warning: you have a copy of "$i" under /usr/local/lib" warnon=1 fi done + if [ -e /usr/local/lib/pkgconfig ]; then + echo "Warning: you have pkgconfig under /usr/local/lib" + warnon=1 + fi fi if [ $warnon ]; then echo "Please verify these local copies don't conflict with the system" |