annotate doc/lispintro/aclocal.m4 @ 94855:9f97ae19a081

(ewoc): Require.
author Dan Nicolaescu <dann@ics.uci.edu>
date Sat, 10 May 2008 21:52:36 +0000
parents 05fc91d7e558
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
83945
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 dnl aclocal.m4 generated automatically by aclocal 1.4-p4
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 dnl Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2001, 2002, 2003,
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 dnl 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 dnl This file is free software; the Free Software Foundation
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 dnl gives unlimited permission to copy and/or distribute it,
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 dnl with or without modifications, as long as this notice is preserved.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 dnl This program is distributed in the hope that it will be useful,
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 dnl but WITHOUT ANY WARRANTY, to the extent permitted by law; without
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 dnl even the implied warranty of MERCHANTABILITY or FITNESS FOR A
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 dnl PARTICULAR PURPOSE.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 # Do all the work for Automake. This macro actually does too much --
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 # some checks are only needed if your package does certain things.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 # But this isn't really a big deal.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 # serial 1
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 dnl Usage:
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 dnl AM_INIT_AUTOMAKE(package,version, [no-define])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 AC_DEFUN(AM_INIT_AUTOMAKE,
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 [AC_REQUIRE([AC_PROG_INSTALL])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 PACKAGE=[$1]
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 AC_SUBST(PACKAGE)
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 VERSION=[$2]
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 AC_SUBST(VERSION)
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 dnl test to see if srcdir already configured
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 AC_MSG_ERROR([source directory already configured; run "make distclean" there first])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 fi
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 ifelse([$3],,
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 AC_DEFINE_UNQUOTED(PACKAGE, "$PACKAGE", [Name of package])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 AC_DEFINE_UNQUOTED(VERSION, "$VERSION", [Version number of package]))
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 AC_REQUIRE([AM_SANITY_CHECK])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 AC_REQUIRE([AC_ARG_PROGRAM])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 dnl FIXME This is truly gross.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 missing_dir=`cd $ac_aux_dir && pwd`
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 AM_MISSING_PROG(ACLOCAL, aclocal, $missing_dir)
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 AM_MISSING_PROG(AUTOCONF, autoconf, $missing_dir)
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 AM_MISSING_PROG(AUTOMAKE, automake, $missing_dir)
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 AM_MISSING_PROG(AUTOHEADER, autoheader, $missing_dir)
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 AM_MISSING_PROG(MAKEINFO, makeinfo, $missing_dir)
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 AC_REQUIRE([AC_PROG_MAKE_SET])])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 #
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 # Check to make sure that the build environment is sane.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 #
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 AC_DEFUN(AM_SANITY_CHECK,
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 [AC_MSG_CHECKING([whether build environment is sane])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 # Just in case
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 sleep 1
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 echo timestamp > conftestfile
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 # Do `set' in a subshell so we don't clobber the current shell's
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 # arguments. Must try -L first in case configure is actually a
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 # symlink; some systems play weird games with the mod time of symlinks
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 # (eg FreeBSD returns the mod time of the symlink's containing
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 # directory).
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 if (
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 set X `ls -Lt $srcdir/configure conftestfile 2> /dev/null`
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 if test "[$]*" = "X"; then
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 # -L didn't work.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 set X `ls -t $srcdir/configure conftestfile`
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 fi
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 if test "[$]*" != "X $srcdir/configure conftestfile" \
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 && test "[$]*" != "X conftestfile $srcdir/configure"; then
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 # If neither matched, then we have a broken ls. This can happen
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 # if, for instance, CONFIG_SHELL is bash and it inherits a
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 # broken ls alias from the environment. This has actually
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 # happened. Such a system could not be considered "sane".
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 AC_MSG_ERROR([ls -t appears to fail. Make sure there is not a broken
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 alias in your environment])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 fi
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 test "[$]2" = conftestfile
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 )
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 then
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 # Ok.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 :
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 else
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 AC_MSG_ERROR([newly created file is older than distributed files!
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 Check your system clock])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 fi
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 rm -f conftest*
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 AC_MSG_RESULT(yes)])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 dnl AM_MISSING_PROG(NAME, PROGRAM, DIRECTORY)
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 dnl The program must properly implement --version.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 AC_DEFUN(AM_MISSING_PROG,
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 [AC_MSG_CHECKING(for working $2)
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 # Run test in a subshell; some versions of sh will print an error if
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 # an executable is not found, even if stderr is redirected.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 # Redirect stdin to placate older versions of autoconf. Sigh.
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 if ($2 --version) < /dev/null > /dev/null 2>&1; then
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 $1=$2
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 AC_MSG_RESULT(found)
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 else
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 $1="$3/missing $2"
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 AC_MSG_RESULT(missing)
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103 fi
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104 AC_SUBST($1)])
05fc91d7e558 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105