[kaffe] Autoconf issue (asm/signal.h)

Daniel Bonniot Daniel.Bonniot@inria.fr
Wed May 21 01:09:02 2003


This is a multi-part message in MIME format.
--------------080103020508000006010307
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit


Hi,

When building kaffe from CVS yesterday, I got a warning during the 
configure process. I contacted the autoconf guys at gnu.org, and they 
replied with this detailed answer. It seems like something should be 
changed in Kaffe's configure.ac.

Are you aware of this issue? Do you need the information suggested about 
the prerequisite headers on my system?

Cheers,

Daniel


--------------080103020508000006010307
Content-Type: message/rfc822;
 name="Re: present but cannot be compiled (Was: asm/signal.h)"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline;
 filename="Re: present but cannot be compiled (Was: asm/signal.h)"

Received: from concorde.inria.fr by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM)
	id KAA0000015772; Wed, 21 May 2003 10:01:46 +0200 (MET DST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h4L81jH17278
	for <bonniot@beaune.inria.fr>; Wed, 21 May 2003 10:01:45 +0200 (MET DST)
Received: (from bonniot@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA16678 for bonniot@beaune.inria.fr; Wed, 21 May 2003 10:01:45 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA16665 for <bonniot@pauillac.inria.fr>; Wed, 21 May 2003 10:01:42 +0200 (MET DST)
Received: from epita.fr (hermes.epita.fr [163.5.255.10])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h4L81gT23287
	for <Daniel.Bonniot@inria.fr>; Wed, 21 May 2003 10:01:42 +0200 (MET DST)
Received: from kualalumpur.lrde.epita.fr (kualalumpur.lrde.epita.fr [10.223.13.1])
	by epita.fr id h4L81gm27851
	Wed, 21 May 2003 10:01:42 +0200 (MEST)
Received: from nostromo.lrde.epita.fr ([10.223.13.52] ident=mail)
	by kualalumpur.lrde.epita.fr with esmtp (Exim 3.35 #1 (Debian))
	id 19IOXW-0001Mv-00; Wed, 21 May 2003 10:01:34 +0200
Received: from akim by nostromo.lrde.epita.fr with local (Exim 3.36 #1 (Debian))
	id 19IOXW-00032d-00; Wed, 21 May 2003 10:01:34 +0200
To: Daniel Bonniot <Daniel.Bonniot@inria.fr>
Cc: bug-autoconf@gnu.org
Subject: Re: present but cannot be compiled (Was: asm/signal.h)
References: <3EC914E9.40807@inria.fr>
From: Akim Demaille <akim@epita.fr>
Date: Wed, 21 May 2003 10:01:34 +0200
In-Reply-To: <3EC914E9.40807@inria.fr> (Daniel Bonniot's message of "Mon, 19
 May 2003 19:31:21 +0200")
Message-ID: <mv4smr8aftt.fsf@nostromo.lrde.epita.fr>
User-Agent: Gnus/5.1001 (Gnus v5.10.1) Emacs/21.3 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: Akim Demaille <akim@lrde.epita.fr>


Thanks for the bug report!

Contrary to the message reported by ./configure, this is not a bug in
Autoconf, but the result of a recent incompatible change in Autoconf
that is likely to require the package's configure.ac to be updated.
Please, first make sure you are trying the most recent version of that
package, then, if you are, send all this message (including your
output attached) to the bug list (or the authors) of the package you
were trying to configure.

Below two parts of the Autoconf documentation are included: 1. the
documentation of AC_CHECK_HEADER(S), and 2. what's to be done to
upgrade configure.ac.

If you have some knowledge in C compilation, then there is something
more you can do to help: find out what are the prerequisite headers on
your system.

For instance, if the error message is:

       sys/socket.h: present but cannot be compiled
       sys/socket.h: check for missing prerequisite headers?
       sys/socket.h: proceeding with the preprocessor's result

then try to compile the program sample.c:

       #include <sys/socket.h>

with `cc -c sample.c'.  It will fail.  Then try to understand what
other headers are needed.  For instance, on Darwin, one needs:

       #include <stdio.h>
       #include <stdlib.h>
       #include <sys/socket.h>
       #include <sys/socket.h>

to get a successful compilation.  Then, send this additional
information to the package maintainers, together with a description of
your machine.

Thanks!

----------------------------------------------------------------------

Generic Header Checks
---------------------

   These macros are used to find system header files not covered by the
"particular" test macros.  If you need to check the contents of a header
as well as find out whether it is present, you have to write your own
test for it (*note Writing Tests::).

 - Macro: AC_CHECK_HEADER (HEADER-FILE, [ACTION-IF-FOUND],
          [ACTION-IF-NOT-FOUND], [INCLUDES = `default-includes'])
     If the system header file HEADER-FILE is compilable, execute shell
     commands ACTION-IF-FOUND, otherwise execute ACTION-IF-NOT-FOUND.
     If you just want to define a symbol if the header file is
     available, consider using `AC_CHECK_HEADERS' instead.

     For compatibility issues with older versions of Autoconf, please
     read below.

 - Macro: AC_CHECK_HEADERS (HEADER-FILE..., [ACTION-IF-FOUND],
          [ACTION-IF-NOT-FOUND], [INCLUDES = `default-includes'])
     For each given system header file HEADER-FILE in the
     whitespace-separated argument list that exists, define
     `HAVE_HEADER-FILE' (in all capitals).  If ACTION-IF-FOUND is
     given, it is additional shell code to execute when one of the
     header files is found.  You can give it a value of `break' to
     break out of the loop on the first match.  If ACTION-IF-NOT-FOUND
     is given, it is executed when one of the header files is not found.

     For compatibility issues with older versions of Autoconf, please
     read below.

   Previous versions of Autoconf merely checked whether the header was
accepted by the preprocessor.  This was changed because the old test was
inappropriate for typical uses.  Headers are typically used to compile,
not merely to preprocess, and the old behavior sometimes accepted
headers that clashed at compile-time.  If you need to check whether a
header is preprocessable, you can use `AC_PREPROC_IFELSE' (*note
Running the Preprocessor::).

   This scheme, which improves the robustness of the test, also requires
that you make sure that headers that must be included before the
HEADER-FILE be part of the INCLUDES, (*note Default Includes::).  If
looking for `bar.h', which requires that `foo.h' be included before if
it exists, we suggest the following scheme:


AC_CHECK_HEADERS([foo.h])
AC_CHECK_HEADERS([bar.h], [], [],
[#if HAVE_FOO_H
# include <foo.h>
# endif
])

----------------------------------------------------------------------

Header Present But Cannot Be Compiled
=====================================

   The most important guideline to bear in mind when checking for
features is to mimic as much as possible the intended use.
Unfortunately, old versions of `AC_CHECK_HEADER' and `AC_CHECK_HEADERS'
failed to follow this idea, and called the preprocessor, instead of the
compiler, to check for headers.  As a result, incompatibilities between
headers went unnoticed during configuration, and maintainers finally
had to deal with this issue elsewhere.

   As of Autoconf 2.56 both checks are performed, and `configure'
complains loudly if the compiler and the preprocessor do not agree.
For the time being the result used is that of the preprocessor, to give
maintainers time to adjust their `configure.ac', but in the near
future, only the compiler will be considered.

   Consider the following example:

     $ cat number.h
     typedef int number;
     $ cat pi.h
     const number pi = 3;
     $ cat configure.ac
     AC_INIT
     AC_CHECK_HEADERS(pi.h)
     $ autoconf -Wall
     $ ./configure
     checking for gcc... gcc
     checking for C compiler default output... a.out
     checking whether the C compiler works... yes
     checking whether we are cross compiling... no
     checking for suffix of executables...
     checking for suffix of object files... o
     checking whether we are using the GNU C compiler... yes
     checking whether gcc accepts -g... yes
     checking for gcc option to accept ANSI C... none needed
     checking how to run the C preprocessor... gcc -E
     checking for egrep... grep -E
     checking for ANSI C header files... yes
     checking for sys/types.h... yes
     checking for sys/stat.h... yes
     checking for stdlib.h... yes
     checking for string.h... yes
     checking for memory.h... yes
     checking for strings.h... yes
     checking for inttypes.h... yes
     checking for stdint.h... yes
     checking for unistd.h... yes
     checking pi.h usability... no
     checking pi.h presence... yes
     configure: WARNING: pi.h: present but cannot be compiled
     configure: WARNING: pi.h: check for missing prerequisite headers?
     configure: WARNING: pi.h: proceeding with the preprocessor's result
     configure: WARNING:     ## ------------------------------------ ##
     configure: WARNING:     ## Report this to bug-autoconf@gnu.org. ##
     configure: WARNING:     ## ------------------------------------ ##
     checking for pi.h... yes

The proper way the handle this case is using the fourth argument (*note
Generic Headers::):

     $ cat configure.ac
     AC_INIT
     AC_CHECK_HEADERS(number.h pi.h,,,
     [[#if HAVE_NUMBER_H
     # include <number.h>
     #endif
     ]])
     $ autoconf -Wall
     $ ./configure
     checking for gcc... gcc
     checking for C compiler default output... a.out
     checking whether the C compiler works... yes
     checking whether we are cross compiling... no
     checking for suffix of executables...
     checking for suffix of object files... o
     checking whether we are using the GNU C compiler... yes
     checking whether gcc accepts -g... yes
     checking for gcc option to accept ANSI C... none needed
     checking for number.h... yes
     checking for pi.h... yes

   See *Note Particular Headers::, for a list of headers with their
prerequisite.

----------------------------------------------------------------------

Portability of Headers
----------------------

This section tries to collect knowledge about common headers, and the
problems they cause.  By definition, this list will always require
additions.  Please help us keeping it as complete as possible.

`inttypes.h' vs. `stdint.h'
     Paul Eggert notes that: ISO C 1999 says that `inttypes.h' includes
     `stdint.h', so there's no need to include `stdint.h' separately in
     a standard environment.  Many implementations have `inttypes.h'
     but not `stdint.h' (e.g., Solaris 7), but I don't know of any
     implementation that has `stdint.h' but not `inttypes.h'.  Nor do I
     know of any free software that includes `stdint.h'; `stdint.h'
     seems to be a creation of the committee.

`linux/irda.h'
     It requires `linux/types.h' and `sys/socket.h'.

`net/if.h'
     On Darwin, this file requires that `sys/socket.h' be included
     beforehand.  One should run:

          AC_CHECK_HEADERS([sys/socket.h])
          AC_CHECK_HEADERS([net/if.h], [], [],
          [#include <stdio.h>
          #if STDC_HEADERS
          # include <stdlib.h>
          # include <stddef.h>
          #else
          # if HAVE_STDLIB_H
          #  include <stdlib.h>
          # endif
          #endif
          #if HAVE_SYS_SOCKET_H
          # include <sys/socket.h>
          #endif
          ])

`stdint.h'
     See above, item `inttypes.h' vs. `stdint.h'.

`stdlib.h'
     On many systems (e.g., Darwin), `stdio.h' is a prerequisite.

`sys/socket.h'
     On Darwin, `stdlib.h' is a prerequisite.

`X11/extensions/scrnsaver.h'
     Using XFree86, this header requires `X11/Xlib.h', which is probably
     so required that you might not even consider looking for it.

          AC_CHECK_HEADERS([X11/extensions/scrnsaver.h], [], [],
          [[#include <X11/Xlib.h>
          ]])

----------------------------------------------------------------------
Hi,
While running configure for kaffe (www.kaffe.org), I came upon this message:

checking asm/signal.h presence... configure: WARNING: asm/signal.h:
present but cannot be compiled
configure: WARNING: asm/signal.h: check for missing prerequisite headers?
configure: WARNING: asm/signal.h: proceeding with the preprocessor's result
yes
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to bug-autoconf@gnu.org. ##
configure: WARNING:     ## ------------------------------------ ##

My system is:
$ uname -a
Linux blanche 2.4.19 #2 Sat Mar 1 18:19:36 CET 2003 i686 unknown
unknown GNU/Linux

Tell me if I should provide additional information.

Cheers,

Daniel





--------------080103020508000006010307--