make the name of the library directory a config option
authorRobert Schiele <rschiele@gmail.com>
Wed, 1 Aug 2007 04:30:35 +0000 (06:30 +0200)
committerJunio C Hamano <gitster@pobox.com>
Wed, 1 Aug 2007 05:36:55 +0000 (22:36 -0700)
commit10861beaa89a4cec61e04dd4954452da24b7a757
tree7b5ce0c9867e0d8b71f5edf4b89d2ed8d3be3ae0
parent4b7f59af2a5b072a0a3950c956842e4d6223a167
make the name of the library directory a config option

Introduce new makefile variable lib to hold the name of the lib
directory ("lib" by default).  Also introduce a switch for configure
to specify this name with --with-lib=ARG.  This is useful for systems
that use a different name than "lib" (like "lib64" on some 64 bit
Linux architectures).

Signed-off-by: Robert Schiele <rschiele@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Makefile
configure.ac