diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-06-24 06:53:10 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-06-24 06:53:10 +0000 |
commit | 611c8928492ae0b013c2d2d950980345ea5fe38d (patch) | |
tree | 70fd0cea31453a58c94add41baa5dfc05d06845c /Build/source/texk/chktex/chktex-1.7.2/autogen.sh | |
parent | e8fa0f45c26bcc875eb460e332d1b8277ae61a53 (diff) |
chktex 1.7.2
git-svn-id: svn://tug.org/texlive/trunk@30881 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/chktex/chktex-1.7.2/autogen.sh')
-rwxr-xr-x | Build/source/texk/chktex/chktex-1.7.2/autogen.sh | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/Build/source/texk/chktex/chktex-1.7.2/autogen.sh b/Build/source/texk/chktex/chktex-1.7.2/autogen.sh new file mode 100755 index 00000000000..0982233b129 --- /dev/null +++ b/Build/source/texk/chktex/chktex-1.7.2/autogen.sh @@ -0,0 +1,49 @@ +#!/bin/sh + +ACLOCAL="aclocal -I m4" +AUTOHEADER="autoheader" +AUTOMAKE="automake --add-missing --copy --foreign" +AUTOCONF="autoconf" + +# Delete old cache directories. +# automake will stop if their contents was created by an earlier version. +rm -rf autom4te.cache + +# Generate the Makefiles and configure files +echo "Building macros..." +if ( $ACLOCAL --version ) < /dev/null > /dev/null 2>&1; then + $ACLOCAL +else + echo "aclocal not found -- aborting" + exit 1 +fi + +echo "Building config header template..." +if ( $AUTOHEADER --version ) < /dev/null > /dev/null 2>&1; then + $AUTOHEADER + echo timestamp > stamp-h.in +else + echo "autoheader not found -- aborting" + exit 1 +fi + +# We do not really need automake, but want to install programs like install-sh. +echo "Installing some useful programs..." +if ( $AUTOMAKE --version ) < /dev/null > /dev/null 2>&1; then + $AUTOMAKE 2>/dev/null +else + echo "automake not found -- aborting" + exit 1 +fi + +echo "Building configure..." +if ( $AUTOCONF --version ) < /dev/null > /dev/null 2>&1; then + $AUTOCONF +else + echo "autoconf not found -- aborting" + exit 1 +fi + +echo +echo 'run "./configure ; make"' +echo |