From: Bruno Haible <bruno@clisp.org>
Date: Mon, 21 Aug 2006 18:49:51 +0000 (+0000)
Subject: Make it possible to install the generated library.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=19f95b8eb4bfa856a9eedbe200b24d9ec74384de;p=pspp

Make it possible to install the generated library.
---

diff --git a/ChangeLog b/ChangeLog
index e3880fffce..086f0fedc4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2006-08-21  Bruno Haible <bruno@clisp.org>
+
+	* gnulib-tool (func_emit_lib_Makefile_am): If the snippets already
+	specify an installation location, don't emit a noinst_[LT]LIBRARIES
+	assignment.
+
 2006-08-19  Bruno Haible  <bruno@clisp.org>
 
 	BeOS portability.
diff --git a/gnulib-tool b/gnulib-tool
index c45e9886dc..36899447d5 100755
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -22,7 +22,7 @@
 
 progname=$0
 package=gnulib
-cvsdatestamp='$Date: 2006-08-21 18:18:25 $'
+cvsdatestamp='$Date: 2006-08-21 18:49:51 $'
 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
 
@@ -921,7 +921,14 @@ func_emit_lib_Makefile_am ()
       fi
     done
   ) > allsnippets.tmp
-  echo "noinst_${perhapsLT}LIBRARIES = $libname.$libext"
+  if grep "^[a-zA-Z0-9_]*_${perhapsLT}LIBRARIES *= *$libname\\.$libext\$" allsnippets.tmp > /dev/null; then
+    # One of the snippets already specifies an installation location for the
+    # library. Don't confuse automake by saying it should not be installed.
+    :
+  else
+    # By default, the generated library should not be installed.
+    echo "noinst_${perhapsLT}LIBRARIES = $libname.$libext"
+  fi
   echo
   echo "${libname}_${libext}_SOURCES ="
   echo "${libname}_${libext}_LIBADD = @${perhapsLT}LIBOBJS@"