From 25d1fac00776e40588e7188be32c4c435e797368 Mon Sep 17 00:00:00 2001
From: Fabrizio Riguzzi <fabrizio.riguzzi@unife.it>
Date: Tue, 27 Jul 2010 12:14:33 +0200
Subject: [PATCH] fixed compilation of cplint under linux

---
 configure    | 3 +++
 configure.in | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/configure b/configure
index 66e4c24d2..4ab8a9ba7 100755
--- a/configure
+++ b/configure
@@ -699,6 +699,7 @@ M4
 PRE_INSTALL_ENV
 INSTALL_ENV
 ENABLE_CPLINT
+SHLIB_SUFFIX
 CPLINT_SHLIB_LD
 CPLINT_LDFLAGS
 CPLINT_CFLAGS
@@ -8675,11 +8676,13 @@ ENABLE_CPLINT=""
 		SHLIB_SUFFIX="dll"
 	else
 		CPLINT_SHLIB_LD=$SHLIB_LD
+		SHLIB_SUFFIX="so"
 	fi
 
 
 
 
+
 else
 	ENABLE_CPLINT="@#"
 fi
diff --git a/configure.in b/configure.in
index b251a26cc..9aef9e7a4 100755
--- a/configure.in
+++ b/configure.in
@@ -1254,11 +1254,13 @@ ENABLE_CPLINT=""
 		SHLIB_SUFFIX="dll"
 	else
 		CPLINT_SHLIB_LD=$SHLIB_LD
+		SHLIB_SUFFIX="so"
 	fi
 	AC_SUBST(CPLINT_LIBS)
 	AC_SUBST(CPLINT_CFLAGS)
 	AC_SUBST(CPLINT_LDFLAGS)
 	AC_SUBST(CPLINT_SHLIB_LD)
+	AC_SUBST(SHLIB_SUFFIX)
 else
 	ENABLE_CPLINT="@#"
 fi