From 2696644fa74bbaec2c980f647b26728559b00e2c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Mail=C3=A4nder?= <matthias@mailaender.name>
Date: Sat, 18 Oct 2014 21:27:44 +0200
Subject: [PATCH] fix Lua 5.1 library detection failed on Gentoo and
 derivatives

closes #6529
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 4490455b63..0b9115a4e7 100755
--- a/configure
+++ b/configure
@@ -4,7 +4,7 @@
 os=`uname`
 if [ "$os" == 'Linux' ]; then
 	locations=(/usr/lib /usr/lib64 /usr/lib/i386-linux-gnu /usr/lib/x86_64-linux-gnu /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)
+	sonames=(liblua.so.5.1.5 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
 			if [ -f $location/$soname ]; then