search

cil-project / cil

C Intermediate Language
Other
348 stars 86 forks source link

update autoconf files to support new CPUs #50

Closed vogler closed 3 years ago

vogler commented 3 years ago

Compiling fails on Apple M1 machines since our autotools files seem to have been generated last in 2021. See https://github.com/goblint/cil/issues/44#issuecomment-887626487.

I tried to update them and it seems to work on my machine, but it had some complaints along the way the may be relevant:

~/goblint/cil autoreconf
❯ autoreconf
configure.ac:170: warning: The macro `AC_HEADER_STDC' is obsolete.
configure.ac:170: You should run autoupdate.
./lib/autoconf/headers.m4:704: AC_HEADER_STDC is expanded from...
configure.ac:170: the top level
configure.ac:176: warning: The macro `AC_HEADER_TIME' is obsolete.
configure.ac:176: You should run autoupdate.
./lib/autoconf/headers.m4:743: AC_HEADER_TIME is expanded from...
configure.ac:176: the top level

~/goblint/cil autoreconf*
❯ autoupdate
configure.ac:170: warning: The preprocessor macro `STDC_HEADERS' is obsolete.
  Except in unusual embedded environments, you can safely include all
  ISO C90 headers unconditionally.
configure.ac:176: warning: Update your code to rely only on HAVE_SYS_TIME_H,
then remove this warning and the obsolete code below it.
All current systems provide time.h; it need not be checked for.
Not all systems provide sys/time.h, but those that do, all allow
you to include it and time.h simultaneously.

~/goblint/cil autoreconf*
❯ autoreconf
configure.ac:170: warning: The preprocessor macro `STDC_HEADERS' is obsolete.
configure.ac:170:   Except in unusual embedded environments, you can safely include all
configure.ac:170:   ISO C90 headers unconditionally.
configure.ac:184: warning: Update your code to rely only on HAVE_SYS_TIME_H,
configure.ac:184: then remove this warning and the obsolete code below it.
configure.ac:184: All current systems provide time.h; it need not be checked for.
configure.ac:184: Not all systems provide sys/time.h, but those that do, all allow
configure.ac:184: you to include it and time.h simultaneously.

~/goblint/cil autoreconf*
❯ automake --add-missing --copy --force-missing
configure.ac: error: no proper invocation of AM_INIT_AUTOMAKE was found.
configure.ac: You should verify that configure.ac invokes AM_INIT_AUTOMAKE,
configure.ac: that aclocal.m4 is present in the top-level directory,
configure.ac: and that aclocal.m4 was recently regenerated (using aclocal)
automake: error: no 'Makefile.am' found for any configure output

~/goblint/cil autoreconf*
❯ aclocal

~/goblint/cil autoreconf*
❯ automake --add-missing --copy --force-missing
configure.ac: error: no proper invocation of AM_INIT_AUTOMAKE was found.
configure.ac: You should verify that configure.ac invokes AM_INIT_AUTOMAKE,
configure.ac: that aclocal.m4 is present in the top-level directory,
configure.ac: and that aclocal.m4 was recently regenerated (using aclocal)
automake: error: no 'Makefile.am' found for any configure output
vogler commented 3 years ago

Sorry, somehow made the PR on the wrong repo.