diff options
Diffstat (limited to 'autogen.sh')
-rwxr-xr-x | autogen.sh | 22 |
1 files changed, 1 insertions, 21 deletions
@@ -1,31 +1,11 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | # | 2 | # |
3 | # autogen.sh glue for CMU Cyrus IMAP | ||
4 | # $Id$ | 3 | # $Id$ |
5 | # | 4 | # |
6 | # Requires: automake, autoconf, dpkg-dev | 5 | # Requires: automake, autoconf, dpkg-dev |
7 | # set -e | 6 | # set -e |
8 | 7 | ||
9 | MAKE=$(which gnumake) | 8 | ./tools/setup |
10 | if test ! -x "$MAKE" ; then MAKE=$(which gmake) ; fi | ||
11 | if test ! -x "$MAKE" ; then MAKE=$(which make) ; fi | ||
12 | HAVE_GNU_MAKE=$($MAKE --version|grep -c "Free Software Foundation") | ||
13 | |||
14 | if test "$HAVE_GNU_MAKE" != "1"; then | ||
15 | echo Could not find GNU make on this system, can not proceed with build. | ||
16 | exit 1 | ||
17 | else | ||
18 | echo Found GNU Make at $MAKE ... good. | ||
19 | fi | ||
20 | |||
21 | # Refresh GNU autotools toolchain. | ||
22 | for i in config.guess config.sub missing install-sh mkinstalldirs depcomp; do | ||
23 | test -r /usr/share/automake/${i} && { | ||
24 | rm -f ${i} | ||
25 | } | ||
26 | done | ||
27 | |||
28 | tools/setup | ||
29 | 9 | ||
30 | # For the Debian build | 10 | # For the Debian build |
31 | test -d debian && { | 11 | test -d debian && { |