This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. It was created by Maude configure 2.7, which was generated by GNU Autoconf 2.69. Invocation command line was $ ./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --disable-dependency-tracking --disable-silent-rules --docdir=/usr/share/doc/maude-2.7 --htmldir=/usr/share/doc/maude-2.7/html --libdir=/usr/lib64 ## --------- ## ## Platform. ## ## --------- ## hostname = mr-fox uname -m = x86_64 uname -r = 4.7.10-hardened-r2 uname -s = Linux uname -v = #1 SMP Wed Nov 2 09:58:05 CET 2016 /usr/bin/uname -p = Intel(R) Core(TM) i7-3930K CPU @ 3.20GHz /bin/uname -X = unknown /bin/arch = unknown /usr/bin/arch -k = unknown /usr/convex/getsysinfo = unknown /usr/bin/hostinfo = unknown /bin/machine = unknown /usr/bin/oslevel = unknown /bin/universe = unknown PATH: /usr/lib/portage/python2.7/ebuild-helpers/xattr PATH: /usr/lib/portage/python2.7/ebuild-helpers PATH: /usr/local/sbin PATH: /usr/local/bin PATH: /usr/sbin PATH: /usr/bin PATH: /sbin PATH: /bin PATH: /opt/bin PATH: /usr/x86_64-pc-linux-gnu/gcc-bin/6.2.0 PATH: /usr/lib/plan9/bin PATH: /usr/bin/cdsclient ## ----------- ## ## Core tests. ## ## ----------- ## configure:2250: loading site script /usr/share/config.site | #!/bin/sh | # Copyright 2009-2014 Gentoo Foundation | # Distributed under the terms of the GNU General Public License v2 | | TOPDIR=/usr/share/crossdev/include/site | | config_site_arch() { | local host="${CHOST%%-*}" | | case ${host} in | arm*b*) host=armeb ;; | arm*) host=arm ;; | mips*l*) host=mipsel ;; | mips*) host=mips ;; | esac | | echo "${host}" | } | | config_site_names() { | local site_arch="$(config_site_arch)" | local sites="" | local x | | case ${CHOST} in | *-linux-*) sites="${sites} linux ${site_arch}-linux" ;; | *-darwin*) sites="${sites} darwin ${site_arch}-darwin" ;; | esac | | case ${CHOST} in | *-linux-uclibc*) sites="${sites} linux-uclibc ${site_arch}-linux-uclibc" ;; | *-linux-gnu*) sites="${sites} linux-gnu ${site_arch}-linux-gnu" ;; | *-linux-musl*) sites="${sites} linux-musl ${site_arch}-linux-musl" ;; | esac | | case ${CHOST} in | *-linux-uclibceabi*) sites="${sites} linux-uclibceabi ${site_arch}-linux-uclibceabi" ;; | *-linux-gnueabi*) sites="${sites} linux-gnueabi ${site_arch}-linux-gnueabi" ;; | esac | | for x in ${sites} ${CHOST}; do | [ -e "${TOPDIR}/${x}" ] && echo "${TOPDIR}/${x}" | done | } | | # Only kick in for cross-compiles so we don't break native builds #427184 | if [ "${CBUILD:-${CHOST}}" != "${CHOST}" ] ; then | sites="$(config_site_names)" | if [ -n "${sites}" ] ; then | for site in ${sites}; do | echo "${0##*/}: loading site script ${site}" | . "${site}" | done | fi | unset site sites | fi configure:2387: checking build system type configure:2401: result: x86_64-pc-linux-gnu configure:2421: checking host system type configure:2434: result: x86_64-pc-linux-gnu configure:2473: checking for a BSD-compatible install configure:2541: result: /usr/lib/portage/python2.7/ebuild-helpers/xattr/install -c configure:2552: checking whether build environment is sane configure:2607: result: yes configure:2758: checking for a thread-safe mkdir -p configure:2797: result: /bin/mkdir -p configure:2804: checking for gawk configure:2820: found /usr/bin/gawk configure:2831: result: gawk configure:2842: checking whether make sets $(MAKE) configure:2864: result: yes configure:2893: checking whether make supports nested variables configure:2910: result: yes configure:3069: checking for x86_64-pc-linux-gnu-gcc configure:3085: found /usr/bin/x86_64-pc-linux-gnu-gcc configure:3096: result: x86_64-pc-linux-gnu-gcc configure:3365: checking for C compiler version configure:3374: x86_64-pc-linux-gnu-gcc --version >&5 x86_64-pc-linux-gnu-gcc (Gentoo 6.2.0-r1 p1.1) 6.2.0 Copyright (C) 2016 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. configure:3385: $? = 0 configure:3374: x86_64-pc-linux-gnu-gcc -v >&5 Using built-in specs. COLLECT_GCC=/usr/x86_64-pc-linux-gnu/gcc-bin/6.2.0/x86_64-pc-linux-gnu-gcc COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-pc-linux-gnu/6.2.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: /var/tmp/portage/sys-devel/gcc-6.2.0-r1/work/gcc-6.2.0/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/6.2.0 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/6.2.0 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/6.2.0/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/6.2.0/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/6.2.0/python --enable-languages=c,c++,fortran --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo 6.2.0-r1 p1.1' --disable-esp --enable-libstdcxx-time --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu --enable-multilib --with-multilib-list=m32,m64 --disable-altivec --disable-fixed-point --enable-targets=all --disable-libgcj --enable-libgomp --disable-libmudflap --disable-libssp --disable-libcilkrts --disable-libmpx --enable-vtable-verify --enable-libvtv --enable-lto --without-isl --enable-libsanitizer --disable-default-pie --enable-default-ssp Thread model: posix gcc version 6.2.0 (Gentoo 6.2.0-r1 p1.1) configure:3385: $? = 0 configure:3374: x86_64-pc-linux-gnu-gcc -V >&5 x86_64-pc-linux-gnu-gcc: error: unrecognized command line option '-V' x86_64-pc-linux-gnu-gcc: fatal error: no input files compilation terminated. configure:3385: $? = 1 configure:3374: x86_64-pc-linux-gnu-gcc -qversion >&5 x86_64-pc-linux-gnu-gcc: error: unrecognized command line option '-qversion'; did you mean '--version'? x86_64-pc-linux-gnu-gcc: fatal error: no input files compilation terminated. configure:3385: $? = 1 configure:3405: checking whether the C compiler works configure:3427: x86_64-pc-linux-gnu-gcc -march=native -O2 -pipe -Wl,-O1 -Wl,--as-needed conftest.c >&5 configure:3431: $? = 0 configure:3479: result: yes configure:3482: checking for C compiler default output file name configure:3484: result: a.out configure:3490: checking for suffix of executables configure:3497: x86_64-pc-linux-gnu-gcc -o conftest -march=native -O2 -pipe -Wl,-O1 -Wl,--as-needed conftest.c >&5 configure:3501: $? = 0 configure:3523: result: configure:3545: checking whether we are cross compiling configure:3553: x86_64-pc-linux-gnu-gcc -o conftest -march=native -O2 -pipe -Wl,-O1 -Wl,--as-needed conftest.c >&5 configure:3557: $? = 0 configure:3564: ./conftest configure:3568: $? = 0 configure:3583: result: no configure:3588: checking for suffix of object files configure:3610: x86_64-pc-linux-gnu-gcc -c -march=native -O2 -pipe conftest.c >&5 configure:3614: $? = 0 configure:3635: result: o configure:3639: checking whether we are using the GNU C compiler configure:3658: x86_64-pc-linux-gnu-gcc -c -march=native -O2 -pipe conftest.c >&5 configure:3658: $? = 0 configure:3667: result: yes configure:3676: checking whether x86_64-pc-linux-gnu-gcc accepts -g configure:3696: x86_64-pc-linux-gnu-gcc -c -g conftest.c >&5 configure:3696: $? = 0 configure:3737: result: yes configure:3754: checking for x86_64-pc-linux-gnu-gcc option to accept ISO C89 configure:3817: x86_64-pc-linux-gnu-gcc -c -march=native -O2 -pipe conftest.c >&5 configure:3817: $? = 0 configure:3830: result: none needed configure:3855: checking whether x86_64-pc-linux-gnu-gcc understands -c and -o together configure:3877: x86_64-pc-linux-gnu-gcc -c conftest.c -o conftest2.o configure:3880: $? = 0 configure:3877: x86_64-pc-linux-gnu-gcc -c conftest.c -o conftest2.o configure:3880: $? = 0 configure:3892: result: yes configure:3920: checking for style of include used by make configure:3948: result: GNU configure:3974: checking dependency style of x86_64-pc-linux-gnu-gcc configure:4085: result: none configure:4114: checking for x86_64-pc-linux-gnu-g++ configure:4130: found /usr/bin/x86_64-pc-linux-gnu-g++ configure:4141: result: x86_64-pc-linux-gnu-g++ configure:4212: checking for C++ compiler version configure:4221: x86_64-pc-linux-gnu-g++ --version >&5 x86_64-pc-linux-gnu-g++ (Gentoo 6.2.0-r1 p1.1) 6.2.0 Copyright (C) 2016 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. configure:4232: $? = 0 configure:4221: x86_64-pc-linux-gnu-g++ -v >&5 Using built-in specs. COLLECT_GCC=/usr/x86_64-pc-linux-gnu/gcc-bin/6.2.0/x86_64-pc-linux-gnu-g++ COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-pc-linux-gnu/6.2.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: /var/tmp/portage/sys-devel/gcc-6.2.0-r1/work/gcc-6.2.0/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/6.2.0 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/6.2.0 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/6.2.0/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/6.2.0/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/6.2.0/python --enable-languages=c,c++,fortran --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo 6.2.0-r1 p1.1' --disable-esp --enable-libstdcxx-time --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu --enable-multilib --with-multilib-list=m32,m64 --disable-altivec --disable-fixed-point --enable-targets=all --disable-libgcj --enable-libgomp --disable-libmudflap --disable-libssp --disable-libcilkrts --disable-libmpx --enable-vtable-verify --enable-libvtv --enable-lto --without-isl --enable-libsanitizer --disable-default-pie --enable-default-ssp Thread model: posix gcc version 6.2.0 (Gentoo 6.2.0-r1 p1.1) configure:4232: $? = 0 configure:4221: x86_64-pc-linux-gnu-g++ -V >&5 x86_64-pc-linux-gnu-g++: error: unrecognized command line option '-V' x86_64-pc-linux-gnu-g++: fatal error: no input files compilation terminated. configure:4232: $? = 1 configure:4221: x86_64-pc-linux-gnu-g++ -qversion >&5 x86_64-pc-linux-gnu-g++: error: unrecognized command line option '-qversion'; did you mean '--version'? x86_64-pc-linux-gnu-g++: fatal error: no input files compilation terminated. configure:4232: $? = 1 configure:4236: checking whether we are using the GNU C++ compiler configure:4255: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:4255: $? = 0 configure:4264: result: yes configure:4273: checking whether x86_64-pc-linux-gnu-g++ accepts -g configure:4293: x86_64-pc-linux-gnu-g++ -c -g conftest.cpp >&5 configure:4293: $? = 0 configure:4334: result: yes configure:4359: checking dependency style of x86_64-pc-linux-gnu-g++ configure:4470: result: none configure:4486: checking g++ compiler version configure:4489: result: 6.2.0 configure:4495: checking for x86_64-pc-linux-gnu-ranlib configure:4511: found /usr/bin/x86_64-pc-linux-gnu-ranlib configure:4522: result: x86_64-pc-linux-gnu-ranlib configure:4599: checking for inet_addr in -lnsl configure:4624: x86_64-pc-linux-gnu-gcc -o conftest -march=native -O2 -pipe -Wl,-O1 -Wl,--as-needed conftest.c -lnsl >&5 configure:4624: $? = 0 configure:4633: result: yes configure:4644: checking for socket in -lsocket configure:4669: x86_64-pc-linux-gnu-gcc -o conftest -march=native -O2 -pipe -Wl,-O1 -Wl,--as-needed conftest.c -lsocket -lnsl >&5 /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: cannot find -lsocket collect2: error: ld returned 1 exit status configure:4669: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.7" | #define PACKAGE_STRING "Maude 2.7" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.7" | #define HAVE_LIBNSL 1 | /* end confdefs.h. */ | | /* Override any GCC internal prototype to avoid an error. | Use char because int might match the return type of a GCC | builtin and then its argument prototype would still apply. */ | #ifdef __cplusplus | extern "C" | #endif | char socket (); | int | main () | { | return socket (); | ; | return 0; | } configure:4678: result: no configure:4775: checking whether time.h and sys/time.h may both be included configure:4795: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:4795: $? = 0 configure:4802: result: yes configure:4815: checking how to run the C++ preprocessor configure:4842: x86_64-pc-linux-gnu-g++ -E conftest.cpp configure:4842: $? = 0 configure:4856: x86_64-pc-linux-gnu-g++ -E conftest.cpp conftest.cpp:15:28: fatal error: ac_nonexistent.h: No such file or directory #include ^ compilation terminated. configure:4856: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.7" | #define PACKAGE_STRING "Maude 2.7" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.7" | #define HAVE_LIBNSL 1 | #define USE_TECLA /**/ | #define USE_LIBSIGSEGV /**/ | #define TIME_WITH_SYS_TIME 1 | /* end confdefs.h. */ | #include configure:4881: result: x86_64-pc-linux-gnu-g++ -E configure:4901: x86_64-pc-linux-gnu-g++ -E conftest.cpp configure:4901: $? = 0 configure:4915: x86_64-pc-linux-gnu-g++ -E conftest.cpp conftest.cpp:15:28: fatal error: ac_nonexistent.h: No such file or directory #include ^ compilation terminated. configure:4915: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.7" | #define PACKAGE_STRING "Maude 2.7" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.7" | #define HAVE_LIBNSL 1 | #define USE_TECLA /**/ | #define USE_LIBSIGSEGV /**/ | #define TIME_WITH_SYS_TIME 1 | /* end confdefs.h. */ | #include configure:4944: checking for grep that handles long lines and -e configure:5002: result: /bin/grep configure:5007: checking for egrep configure:5069: result: /bin/grep -E configure:5074: checking for ANSI C header files configure:5094: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5094: $? = 0 configure:5167: x86_64-pc-linux-gnu-g++ -o conftest -Werror=terminate -march=native -O2 -pipe -Wl,-O1 -Wl,--as-needed conftest.cpp -lnsl >&5 configure:5167: $? = 0 configure:5167: ./conftest configure:5167: $? = 0 configure:5178: result: yes configure:5191: checking for sys/types.h configure:5191: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5191: $? = 0 configure:5191: result: yes configure:5191: checking for sys/stat.h configure:5191: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5191: $? = 0 configure:5191: result: yes configure:5191: checking for stdlib.h configure:5191: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5191: $? = 0 configure:5191: result: yes configure:5191: checking for string.h configure:5191: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5191: $? = 0 configure:5191: result: yes configure:5191: checking for memory.h configure:5191: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5191: $? = 0 configure:5191: result: yes configure:5191: checking for strings.h configure:5191: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5191: $? = 0 configure:5191: result: yes configure:5191: checking for inttypes.h configure:5191: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5191: $? = 0 configure:5191: result: yes configure:5191: checking for stdint.h configure:5191: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5191: $? = 0 configure:5191: result: yes configure:5191: checking for unistd.h configure:5191: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5191: $? = 0 configure:5191: result: yes configure:5205: checking sys/time.h usability configure:5205: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5205: $? = 0 configure:5205: result: yes configure:5205: checking sys/time.h presence configure:5205: x86_64-pc-linux-gnu-g++ -E conftest.cpp configure:5205: $? = 0 configure:5205: result: yes configure:5205: checking for sys/time.h configure:5205: result: yes configure:5217: checking math.h usability configure:5217: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5217: $? = 0 configure:5217: result: yes configure:5217: checking math.h presence configure:5217: x86_64-pc-linux-gnu-g++ -E conftest.cpp configure:5217: $? = 0 configure:5217: result: yes configure:5217: checking for math.h configure:5217: result: yes configure:5229: checking ieeefp.h usability configure:5229: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 conftest.cpp:60:20: fatal error: ieeefp.h: No such file or directory #include ^ compilation terminated. configure:5229: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.7" | #define PACKAGE_STRING "Maude 2.7" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.7" | #define HAVE_LIBNSL 1 | #define USE_TECLA /**/ | #define USE_LIBSIGSEGV /**/ | #define TIME_WITH_SYS_TIME 1 | #define STDC_HEADERS 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_SYS_STAT_H 1 | #define HAVE_STDLIB_H 1 | #define HAVE_STRING_H 1 | #define HAVE_MEMORY_H 1 | #define HAVE_STRINGS_H 1 | #define HAVE_INTTYPES_H 1 | #define HAVE_STDINT_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_MATH_H 1 | /* end confdefs.h. */ | #include | #ifdef HAVE_SYS_TYPES_H | # include | #endif | #ifdef HAVE_SYS_STAT_H | # include | #endif | #ifdef STDC_HEADERS | # include | # include | #else | # ifdef HAVE_STDLIB_H | # include | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include | # endif | # include | #endif | #ifdef HAVE_STRINGS_H | # include | #endif | #ifdef HAVE_INTTYPES_H | # include | #endif | #ifdef HAVE_STDINT_H | # include | #endif | #ifdef HAVE_UNISTD_H | # include | #endif | #include configure:5229: result: no configure:5229: checking ieeefp.h presence configure:5229: x86_64-pc-linux-gnu-g++ -E conftest.cpp conftest.cpp:27:20: fatal error: ieeefp.h: No such file or directory #include ^ compilation terminated. configure:5229: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.7" | #define PACKAGE_STRING "Maude 2.7" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.7" | #define HAVE_LIBNSL 1 | #define USE_TECLA /**/ | #define USE_LIBSIGSEGV /**/ | #define TIME_WITH_SYS_TIME 1 | #define STDC_HEADERS 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_SYS_STAT_H 1 | #define HAVE_STDLIB_H 1 | #define HAVE_STRING_H 1 | #define HAVE_MEMORY_H 1 | #define HAVE_STRINGS_H 1 | #define HAVE_INTTYPES_H 1 | #define HAVE_STDINT_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_MATH_H 1 | /* end confdefs.h. */ | #include configure:5229: result: no configure:5229: checking for ieeefp.h configure:5229: result: no configure:5241: checking sys/termios.h usability configure:5241: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5241: $? = 0 configure:5241: result: yes configure:5241: checking sys/termios.h presence configure:5241: x86_64-pc-linux-gnu-g++ -E conftest.cpp configure:5241: $? = 0 configure:5241: result: yes configure:5241: checking for sys/termios.h configure:5241: result: yes configure:5253: checking stddef.h usability configure:5253: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5253: $? = 0 configure:5253: result: yes configure:5253: checking stddef.h presence configure:5253: x86_64-pc-linux-gnu-g++ -E conftest.cpp configure:5253: $? = 0 configure:5253: result: yes configure:5253: checking for stddef.h configure:5253: result: yes configure:5265: checking limits.h usability configure:5265: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5265: $? = 0 configure:5265: result: yes configure:5265: checking limits.h presence configure:5265: x86_64-pc-linux-gnu-g++ -E conftest.cpp configure:5265: $? = 0 configure:5265: result: yes configure:5265: checking for limits.h configure:5265: result: yes configure:5277: checking for stdlib.h configure:5277: result: yes configure:5289: checking stdio.h usability configure:5289: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5289: $? = 0 configure:5289: result: yes configure:5289: checking stdio.h presence configure:5289: x86_64-pc-linux-gnu-g++ -E conftest.cpp configure:5289: $? = 0 configure:5289: result: yes configure:5289: checking for stdio.h configure:5289: result: yes configure:5301: checking ctype.h usability configure:5301: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5301: $? = 0 configure:5301: result: yes configure:5301: checking ctype.h presence configure:5301: x86_64-pc-linux-gnu-g++ -E conftest.cpp configure:5301: $? = 0 configure:5301: result: yes configure:5301: checking for ctype.h configure:5301: result: yes configure:5313: checking for unistd.h configure:5313: result: yes configure:5325: checking ostream usability configure:5325: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 configure:5325: $? = 0 configure:5325: result: yes configure:5325: checking ostream presence configure:5325: x86_64-pc-linux-gnu-g++ -E conftest.cpp configure:5325: $? = 0 configure:5325: result: yes configure:5325: checking for ostream configure:5325: result: yes configure:5337: checking ostream.h usability configure:5337: x86_64-pc-linux-gnu-g++ -c -Werror=terminate -march=native -O2 -pipe conftest.cpp >&5 conftest.cpp:68:21: fatal error: ostream.h: No such file or directory #include ^ compilation terminated. configure:5337: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.7" | #define PACKAGE_STRING "Maude 2.7" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.7" | #define HAVE_LIBNSL 1 | #define USE_TECLA /**/ | #define USE_LIBSIGSEGV /**/ | #define TIME_WITH_SYS_TIME 1 | #define STDC_HEADERS 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_SYS_STAT_H 1 | #define HAVE_STDLIB_H 1 | #define HAVE_STRING_H 1 | #define HAVE_MEMORY_H 1 | #define HAVE_STRINGS_H 1 | #define HAVE_INTTYPES_H 1 | #define HAVE_STDINT_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_MATH_H 1 | #define HAVE_SYS_TERMIOS_H 1 | #define HAVE_STDDEF_H 1 | #define HAVE_LIMITS_H 1 | #define HAVE_STDLIB_H 1 | #define HAVE_STDIO_H 1 | #define HAVE_CTYPE_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_OSTREAM 1 | /* end confdefs.h. */ | #include | #ifdef HAVE_SYS_TYPES_H | # include | #endif | #ifdef HAVE_SYS_STAT_H | # include | #endif | #ifdef STDC_HEADERS | # include | # include | #else | # ifdef HAVE_STDLIB_H | # include | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include | # endif | # include | #endif | #ifdef HAVE_STRINGS_H | # include | #endif | #ifdef HAVE_INTTYPES_H | # include | #endif | #ifdef HAVE_STDINT_H | # include | #endif | #ifdef HAVE_UNISTD_H | # include | #endif | #include configure:5337: result: no configure:5337: checking ostream.h presence configure:5337: x86_64-pc-linux-gnu-g++ -E conftest.cpp conftest.cpp:35:21: fatal error: ostream.h: No such file or directory #include ^ compilation terminated. configure:5337: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.7" | #define PACKAGE_STRING "Maude 2.7" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.7" | #define HAVE_LIBNSL 1 | #define USE_TECLA /**/ | #define USE_LIBSIGSEGV /**/ | #define TIME_WITH_SYS_TIME 1 | #define STDC_HEADERS 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_SYS_STAT_H 1 | #define HAVE_STDLIB_H 1 | #define HAVE_STRING_H 1 | #define HAVE_MEMORY_H 1 | #define HAVE_STRINGS_H 1 | #define HAVE_INTTYPES_H 1 | #define HAVE_STDINT_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_MATH_H 1 | #define HAVE_SYS_TERMIOS_H 1 | #define HAVE_STDDEF_H 1 | #define HAVE_LIMITS_H 1 | #define HAVE_STDLIB_H 1 | #define HAVE_STDIO_H 1 | #define HAVE_CTYPE_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_OSTREAM 1 | /* end confdefs.h. */ | #include configure:5337: result: no configure:5337: checking for ostream.h configure:5337: result: no configure:5354: checking size of short configure:5359: x86_64-pc-linux-gnu-g++ -o conftest -Werror=terminate -march=native -O2 -pipe -Wl,-O1 -Wl,--as-needed conftest.cpp -lnsl >&5 configure:5359: $? = 0 configure:5359: ./conftest configure:5359: $? = 0 configure:5373: result: 2 configure:5387: checking size of int configure:5392: x86_64-pc-linux-gnu-g++ -o conftest -Werror=terminate -march=native -O2 -pipe -Wl,-O1 -Wl,--as-needed conftest.cpp -lnsl >&5 configure:5392: $? = 0 configure:5392: ./conftest configure:5392: $? = 0 configure:5406: result: 4 configure:5420: checking size of long configure:5425: x86_64-pc-linux-gnu-g++ -o conftest -Werror=terminate -march=native -O2 -pipe -Wl,-O1 -Wl,--as-needed conftest.cpp -lnsl >&5 configure:5425: $? = 0 configure:5425: ./conftest configure:5425: $? = 0 configure:5439: result: 8 configure:5453: checking size of unsigned long configure:5458: x86_64-pc-linux-gnu-g++ -o conftest -Werror=terminate -march=native -O2 -pipe -Wl,-O1 -Wl,--as-needed conftest.cpp -lnsl >&5 configure:5458: $? = 0 configure:5458: ./conftest configure:5458: $? = 0 configure:5472: result: 8 configure:5486: checking size of void * configure:5491: x86_64-pc-linux-gnu-g++ -o conftest -Werror=terminate -march=native -O2 -pipe -Wl,-O1 -Wl,--as-needed conftest.cpp -lnsl >&5 configure:5491: $? = 0 configure:5491: ./conftest configure:5491: $? = 0 configure:5505: result: 8 configure:5841: checking that generated files are newer than configure configure:5847: result: done configure:5878: creating ./config.status ## ---------------------- ## ## Running config.status. ## ## ---------------------- ## This file was extended by Maude config.status 2.7, which was generated by GNU Autoconf 2.69. Invocation command line was CONFIG_FILES = CONFIG_HEADERS = CONFIG_LINKS = CONFIG_COMMANDS = $ ./config.status on mr-fox config.status:930: creating Makefile config.status:930: creating src/Makefile config.status:930: creating src/3rdParty/Makefile config.status:930: creating src/Utility/Makefile config.status:930: creating src/Temporal/Makefile config.status:930: creating src/Interface/Makefile config.status:930: creating src/Core/Makefile config.status:930: creating src/Variable/Makefile config.status:930: creating src/NA_Theory/Makefile config.status:930: creating src/ACU_Persistent/Makefile config.status:930: creating src/ACU_Theory/Makefile config.status:930: creating src/AU_Persistent/Makefile config.status:930: creating src/AU_Theory/Makefile config.status:930: creating src/CUI_Theory/Makefile config.status:930: creating src/S_Theory/Makefile config.status:930: creating src/FreeTheory/Makefile config.status:930: creating src/Higher/Makefile config.status:930: creating src/BuiltIn/Makefile config.status:930: creating src/IO_Stuff/Makefile config.status:930: creating src/ObjectSystem/Makefile config.status:930: creating src/Meta/Makefile config.status:930: creating src/FullCompiler/Makefile config.status:930: creating src/MSCP10/Makefile config.status:930: creating src/StrategyLanguage/Makefile config.status:930: creating src/Mixfix/Makefile config.status:930: creating src/Main/Makefile config.status:930: creating tests/Makefile config.status:930: creating tests/BuiltIn/Makefile config.status:930: creating tests/Meta/Makefile config.status:930: creating tests/Misc/Makefile config.status:930: creating tests/ResolvedBugs/Makefile config.status:930: creating config.h config.status:1159: executing depfiles commands ## ---------------- ## ## Cache variables. ## ## ---------------- ## ac_cv_build=x86_64-pc-linux-gnu ac_cv_c_compiler_gnu=yes ac_cv_cxx_compiler_gnu=yes ac_cv_env_CCC_set= ac_cv_env_CCC_value= ac_cv_env_CC_set= ac_cv_env_CC_value= ac_cv_env_CFLAGS_set=set ac_cv_env_CFLAGS_value='-march=native -O2 -pipe' ac_cv_env_CPPFLAGS_set= ac_cv_env_CPPFLAGS_value= ac_cv_env_CXXCPP_set= ac_cv_env_CXXCPP_value= ac_cv_env_CXXFLAGS_set=set ac_cv_env_CXXFLAGS_value='-Werror=terminate -march=native -O2 -pipe' ac_cv_env_CXX_set= ac_cv_env_CXX_value= ac_cv_env_LDFLAGS_set=set ac_cv_env_LDFLAGS_value='-Wl,-O1 -Wl,--as-needed' ac_cv_env_LIBS_set= ac_cv_env_LIBS_value= ac_cv_env_build_alias_set=set ac_cv_env_build_alias_value=x86_64-pc-linux-gnu ac_cv_env_host_alias_set=set ac_cv_env_host_alias_value=x86_64-pc-linux-gnu ac_cv_env_target_alias_set= ac_cv_env_target_alias_value= ac_cv_header_ctype_h=yes ac_cv_header_ieeefp_h=no ac_cv_header_inttypes_h=yes ac_cv_header_limits_h=yes ac_cv_header_math_h=yes ac_cv_header_memory_h=yes ac_cv_header_ostream=yes ac_cv_header_ostream_h=no ac_cv_header_stdc=yes ac_cv_header_stddef_h=yes ac_cv_header_stdint_h=yes ac_cv_header_stdio_h=yes ac_cv_header_stdlib_h=yes ac_cv_header_string_h=yes ac_cv_header_strings_h=yes ac_cv_header_sys_stat_h=yes ac_cv_header_sys_termios_h=yes ac_cv_header_sys_time_h=yes ac_cv_header_sys_types_h=yes ac_cv_header_time=yes ac_cv_header_unistd_h=yes ac_cv_host=x86_64-pc-linux-gnu ac_cv_lib_nsl_inet_addr=yes ac_cv_lib_socket_socket=no ac_cv_objext=o ac_cv_path_EGREP='/bin/grep -E' ac_cv_path_GREP=/bin/grep ac_cv_path_install='/usr/lib/portage/python2.7/ebuild-helpers/xattr/install -c' ac_cv_path_mkdir=/bin/mkdir ac_cv_prog_AWK=gawk ac_cv_prog_CC=x86_64-pc-linux-gnu-gcc ac_cv_prog_CXX=x86_64-pc-linux-gnu-g++ ac_cv_prog_CXXCPP='x86_64-pc-linux-gnu-g++ -E' ac_cv_prog_RANLIB=x86_64-pc-linux-gnu-ranlib ac_cv_prog_cc_c89= ac_cv_prog_cc_g=yes ac_cv_prog_cxx_g=yes ac_cv_prog_make_make_set=yes ac_cv_sizeof_int=4 ac_cv_sizeof_long=8 ac_cv_sizeof_short=2 ac_cv_sizeof_unsigned_long=8 ac_cv_sizeof_void_p=8 am_cv_CC_dependencies_compiler_type=none am_cv_CXX_dependencies_compiler_type=none am_cv_make_support_nested_variables=yes am_cv_prog_cc_c_o=yes ## ----------------- ## ## Output variables. ## ## ----------------- ## ACLOCAL='${SHELL} /var/tmp/portage/dev-lang/maude-2.7/work/Maude-2.7/missing aclocal-1.15' AMDEPBACKSLASH='' AMDEP_FALSE='' AMDEP_TRUE='#' AMTAR='$${TAR-tar}' AM_BACKSLASH='\' AM_DEFAULT_V='$(AM_DEFAULT_VERBOSITY)' AM_DEFAULT_VERBOSITY='1' AM_V='$(V)' AUTOCONF='${SHELL} /var/tmp/portage/dev-lang/maude-2.7/work/Maude-2.7/missing autoconf' AUTOHEADER='${SHELL} /var/tmp/portage/dev-lang/maude-2.7/work/Maude-2.7/missing autoheader' AUTOMAKE='${SHELL} /var/tmp/portage/dev-lang/maude-2.7/work/Maude-2.7/missing automake-1.15' AWK='gawk' BISON='bison' BUDDY_LIB='-lbdd' BUILD_COMPILER_FALSE='' BUILD_COMPILER_TRUE='#' CC='x86_64-pc-linux-gnu-gcc' CCDEPMODE='depmode=none' CFLAGS='-march=native -O2 -pipe' CPPFLAGS='' CXX='x86_64-pc-linux-gnu-g++' CXXCPP='x86_64-pc-linux-gnu-g++ -E' CXXDEPMODE='depmode=none' CXXFLAGS='-Werror=terminate -march=native -O2 -pipe' CYGPATH_W='echo' DEFS='-DHAVE_CONFIG_H' DEPDIR='.deps' ECHO_C='' ECHO_N='-n' ECHO_T='' EGREP='/bin/grep -E' EXEEXT='' FLEX='flex' GCC_LIBS='' GMP_LIBS='-lgmpxx -lgmp' GREP='/bin/grep' INSTALL_DATA='${INSTALL} -m 644' INSTALL_PROGRAM='${INSTALL}' INSTALL_SCRIPT='${INSTALL}' INSTALL_STRIP_PROGRAM='$(install_sh) -c -s' LDFLAGS='-Wl,-O1 -Wl,--as-needed' LIBOBJS='' LIBS='-lnsl ' LIBSIGSEGV_LIB='-lsigsegv' LTLIBOBJS='' MAKEINFO='${SHELL} /var/tmp/portage/dev-lang/maude-2.7/work/Maude-2.7/missing makeinfo' MKDIR_P='/bin/mkdir -p' OBJEXT='o' PACKAGE='Maude' PACKAGE_BUGREPORT='maude-bugs@maude.cs.uiuc.edu' PACKAGE_NAME='Maude' PACKAGE_STRING='Maude 2.7' PACKAGE_TARNAME='maude' PACKAGE_URL='' PACKAGE_VERSION='2.7' PATH_SEPARATOR=':' RANLIB='x86_64-pc-linux-gnu-ranlib' SET_MAKE='' SHELL='/bin/sh' STRIP='' TECLA_LIBS='-ltecla -lcurses' VERSION='2.7' ac_ct_CC='' ac_ct_CXX='' am__EXEEXT_FALSE='' am__EXEEXT_TRUE='#' am__fastdepCC_FALSE='' am__fastdepCC_TRUE='#' am__fastdepCXX_FALSE='' am__fastdepCXX_TRUE='#' am__include='include' am__isrc='' am__leading_dot='.' am__nodep='' am__quote='' am__tar='$${TAR-tar} chof - "$$tardir"' am__untar='$${TAR-tar} xf -' bindir='${exec_prefix}/bin' build='x86_64-pc-linux-gnu' build_alias='x86_64-pc-linux-gnu' build_cpu='x86_64' build_os='linux-gnu' build_vendor='pc' datadir='/usr/share' datarootdir='${prefix}/share' docdir='/usr/share/doc/maude-2.7' dvidir='${docdir}' exec_prefix='${prefix}' host='x86_64-pc-linux-gnu' host_alias='x86_64-pc-linux-gnu' host_cpu='x86_64' host_os='linux-gnu' host_vendor='pc' htmldir='/usr/share/doc/maude-2.7/html' includedir='${prefix}/include' infodir='/usr/share/info' install_sh='${SHELL} /var/tmp/portage/dev-lang/maude-2.7/work/Maude-2.7/install-sh' libdir='/usr/lib64' libexecdir='${exec_prefix}/libexec' localedir='${datarootdir}/locale' localstatedir='/var/lib' mandir='/usr/share/man' mkdir_p='$(MKDIR_P)' oldincludedir='/usr/include' pdfdir='${docdir}' prefix='/usr' program_transform_name='s,x,x,' psdir='${docdir}' sbindir='${exec_prefix}/sbin' sharedstatedir='${prefix}/com' sysconfdir='/etc' target_alias='' ## ----------- ## ## confdefs.h. ## ## ----------- ## /* confdefs.h */ #define PACKAGE_NAME "Maude" #define PACKAGE_TARNAME "maude" #define PACKAGE_VERSION "2.7" #define PACKAGE_STRING "Maude 2.7" #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" #define PACKAGE_URL "" #define PACKAGE "Maude" #define VERSION "2.7" #define HAVE_LIBNSL 1 #define USE_TECLA /**/ #define USE_LIBSIGSEGV /**/ #define TIME_WITH_SYS_TIME 1 #define STDC_HEADERS 1 #define HAVE_SYS_TYPES_H 1 #define HAVE_SYS_STAT_H 1 #define HAVE_STDLIB_H 1 #define HAVE_STRING_H 1 #define HAVE_MEMORY_H 1 #define HAVE_STRINGS_H 1 #define HAVE_INTTYPES_H 1 #define HAVE_STDINT_H 1 #define HAVE_UNISTD_H 1 #define HAVE_SYS_TIME_H 1 #define HAVE_MATH_H 1 #define HAVE_SYS_TERMIOS_H 1 #define HAVE_STDDEF_H 1 #define HAVE_LIMITS_H 1 #define HAVE_STDLIB_H 1 #define HAVE_STDIO_H 1 #define HAVE_CTYPE_H 1 #define HAVE_UNISTD_H 1 #define HAVE_OSTREAM 1 #define SIZEOF_SHORT 2 #define SIZEOF_INT 4 #define SIZEOF_LONG 8 #define SIZEOF_UNSIGNED_LONG 8 #define SIZEOF_VOID_P 8 #define NO_ASSERT /**/ #define LOCAL_INLINES /**/ #define HAVE_CMOV /**/ #define SCP /**/ #define BUBBLES /**/ configure: exit 0 ## ---------------------- ## ## Running config.status. ## ## ---------------------- ## This file was extended by Maude config.status 2.7, which was generated by GNU Autoconf 2.69. Invocation command line was CONFIG_FILES = CONFIG_HEADERS = CONFIG_LINKS = CONFIG_COMMANDS = $ ./config.status config.h on mr-fox config.status:930: creating config.h config.status:1111: config.h is unchanged