Hi,
I added this change to gnulib-tool. It will allow for libgettextlib to
be installed as a shared library, saving some disk space for a few
installed programs.
2006-08-21 Bruno Haible <[EMAIL PROTECTED]>
* gnulib-tool (func_emit_lib_Makefile_am): If the snippets already
specify an installation location, don't emit a noinst_[LT]LIBRARIES
assignment.
diff -c -3 -r1.139 gnulib-tool
*** gnulib-tool 21 Aug 2006 18:18:25 -0000 1.139
--- gnulib-tool 21 Aug 2006 18:46:35 -0000
***************
*** 921,927 ****
fi
done
) > allsnippets.tmp
! echo "noinst_${perhapsLT}LIBRARIES = $libname.$libext"
echo
echo "${libname}_${libext}_SOURCES ="
echo "${libname}_${libext}_LIBADD = @${perhapsLT}LIBOBJS@"
--- 921,933 ----
fi
done
) > allsnippets.tmp
! 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
! echo "noinst_${perhapsLT}LIBRARIES = $libname.$libext"
! fi
echo
echo "${libname}_${libext}_SOURCES ="
echo "${libname}_${libext}_LIBADD = @${perhapsLT}LIBOBJS@"
