+
+# find $libdir
+libdir=`grep libdirectory $conffile | awk '{print $3}'`
+if [ -z "$libdir" ]; then
+ if [ -d "@libdir@" ]; then
+ libdir="@libdir@"
+ else
+ echo "Could not find entry 'libdirectory' in $conffile."
+ exit 1
+ fi
+else
+ if [ ! -d "$libdir" ]; then
+ echo "Lib directory $libdir not found."
+ exit 1
+ fi