2001-10-04 01:37:36 +00:00
|
|
|
#!/bin/sh
|
2016-04-18 03:39:07 +00:00
|
|
|
# Generate configure & friends for GIT users.
|
2001-10-04 01:37:36 +00:00
|
|
|
|
2017-02-21 22:04:35 +00:00
|
|
|
gnulib_url="git://git.sv.gnu.org/gnulib.git"
|
|
|
|
gnulib_hash="4084b3a1094372b960ce4a97634e08f4538c8bdd"
|
|
|
|
|
|
|
|
modules="
|
2017-02-21 22:04:37 +00:00
|
|
|
getdelim
|
|
|
|
getline
|
2017-02-21 22:04:40 +00:00
|
|
|
getopt-gnu
|
2017-02-21 22:04:43 +00:00
|
|
|
glob
|
2017-02-21 22:04:38 +00:00
|
|
|
isblank
|
|
|
|
iswblank
|
2017-02-21 22:04:39 +00:00
|
|
|
regex
|
2017-02-21 22:04:41 +00:00
|
|
|
snprintf-posix
|
2017-02-21 22:04:42 +00:00
|
|
|
stdarg
|
2017-02-21 22:04:35 +00:00
|
|
|
strcase
|
|
|
|
strcasestr-simple
|
|
|
|
strnlen
|
2017-02-21 22:04:41 +00:00
|
|
|
vsnprintf-posix
|
2017-02-21 22:04:42 +00:00
|
|
|
wchar
|
|
|
|
wctype-h
|
2017-02-21 22:04:35 +00:00
|
|
|
"
|
|
|
|
|
|
|
|
# Make sure the local gnulib git repo is up-to-date.
|
|
|
|
if [ ! -d "gnulib" ]; then
|
|
|
|
git clone --depth=123 ${gnulib_url}
|
|
|
|
fi
|
|
|
|
cd gnulib >/dev/null || exit 1
|
|
|
|
curr_hash=$(git log -1 --format=%H)
|
|
|
|
if [ "${gnulib_hash}" != "${curr_hash}" ]; then
|
|
|
|
git pull
|
|
|
|
git checkout -f ${gnulib_hash}
|
|
|
|
fi
|
|
|
|
cd .. >/dev/null || exit 1
|
|
|
|
|
|
|
|
rm -rf lib
|
|
|
|
./gnulib/gnulib-tool \
|
|
|
|
--import \
|
|
|
|
${modules}
|
|
|
|
|
2003-01-15 17:38:38 +00:00
|
|
|
autoreconf -f -i -s
|