summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordon bright <hugh.m.bright@gmail.com>2013-03-05 23:57:22 (GMT)
committerdon bright <hugh.m.bright@gmail.com>2013-03-05 23:57:22 (GMT)
commit51be86ad29fe3012d46e81e279a66c76d79a052a (patch)
tree93087056b57347e96a87431700f68f39788f2da6
parent42f21c3a0850083d245aa3ac346a53e876f0679e (diff)
check for stale pkgconfig under /usr/local/lib
-rwxr-xr-xscripts/check-dependencies.sh10
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"
contact: Jan Huwald // Impressum