49 lines
776 B
Bash
Executable File
49 lines
776 B
Bash
Executable File
#!/bin/sh
|
|
# Generate configure & friends for GIT users.
|
|
|
|
gnulib_url="git://git.sv.gnu.org/gnulib.git"
|
|
gnulib_hash="a1beabcb14cde661c36f7a3c7c17b5871704003e"
|
|
|
|
modules="
|
|
futimens
|
|
getdelim
|
|
getline
|
|
getopt-gnu
|
|
glob
|
|
isblank
|
|
iswblank
|
|
lstat
|
|
nl_langinfo
|
|
regex
|
|
sigaction
|
|
snprintf-posix
|
|
stdarg
|
|
strcase
|
|
strcasestr-simple
|
|
strnlen
|
|
sys_wait
|
|
vsnprintf-posix
|
|
wchar
|
|
wctype-h
|
|
wcwidth
|
|
"
|
|
|
|
# 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}
|
|
|
|
autoreconf -f -i -s
|