From dedafd1c22f7bc31f04232fa76679d77709dbad1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20Mail=C3=A4nder?= Date: Mon, 26 May 2014 12:22:39 +0200 Subject: [PATCH] also search /usr/local/lib and /opt/lib --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index b04d2c786f..98df37f68e 100755 --- a/configure +++ b/configure @@ -3,7 +3,7 @@ os=`uname` if [ $os == 'Linux' ]; then - locations=(/usr/lib /usr/lib64) + locations=(/usr/lib /usr/lib64 /usr/local/lib /opt/lib) sonames=(liblua5.1.so.5.1 liblua5.1.so.0 liblua.so.5.1 liblua-5.1.so liblua5.1.so) for location in "${locations[@]}" ; do for soname in ${sonames[@]} ; do