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.6, which was generated by GNU Autoconf 2.64. Invocation command line was $ ./configure ## --------- ## ## Platform. ## ## --------- ## hostname = Sandy uname -m = i686 uname -r = 2.6.29.4-167.fc11.i686.PAE uname -s = Linux uname -v = #1 SMP Wed May 27 17:28:22 EDT 2009 /usr/bin/uname -p = unknown /bin/uname -X = unknown /bin/arch = i686 /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/qt-3.3/bin PATH: /usr/lib/mpich2/bin PATH: /usr/kerberos/sbin PATH: /usr/kerberos/bin PATH: /usr/lib/ccache PATH: /usr/local/bin PATH: /usr/bin PATH: /bin PATH: /usr/local/sbin PATH: /usr/sbin PATH: /sbin PATH: /home/Sandy/bin PATH: /usr/lib/mpich2/bin ## ----------- ## ## Core tests. ## ## ----------- ## configure:2336: checking build system type configure:2350: result: i686-pc-linux-gnu configure:2370: checking host system type configure:2383: result: i686-pc-linux-gnu configure:2421: checking for a BSD-compatible install configure:2489: result: /usr/bin/install -c configure:2500: checking whether build environment is sane configure:2537: result: yes configure:2599: checking for gawk configure:2615: found /usr/bin/gawk configure:2626: result: gawk configure:2637: checking whether make sets $(MAKE) configure:2659: result: yes configure:2909: checking for gcc configure:2925: found /usr/lib/ccache/gcc configure:2936: result: gcc configure:3165: checking for C compiler version configure:3174: gcc --version >&5 gcc (GCC) 4.7.0-gimplefe 20110614 (experimental) Copyright (C) 2011 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:3185: $? = 0 configure:3174: gcc -v >&5 Using built-in specs. COLLECT_GCC=/usr/local/bin/gcc COLLECT_LTO_WRAPPER=/usr/local/libexec/gcc/i686-pc-linux-gnu/4.7.0-gimplefe/lto-wrapper Target: i686-pc-linux-gnu Configured with: ../gimple-front-end/configure Thread model: posix gcc version 4.7.0-gimplefe 20110614 (experimental) (GCC) configure:3185: $? = 0 configure:3174: gcc -V >&5 gcc: error: unrecognized command line option '-V' gcc: fatal error: no input files compilation terminated. configure:3185: $? = 1 configure:3174: gcc -qversion >&5 gcc: error: unrecognized command line option '-qversion' gcc: fatal error: no input files compilation terminated. configure:3185: $? = 1 configure:3207: checking for C compiler default output file name configure:3229: gcc -g -Wall conftest.c >&5 configure:3233: $? = 0 configure:3270: result: a.out configure:3286: checking whether the C compiler works configure:3295: ./a.out configure:3299: $? = 0 configure:3314: result: yes configure:3321: checking whether we are cross compiling configure:3323: result: no configure:3326: checking for suffix of executables configure:3333: gcc -o conftest -g -Wall conftest.c >&5 configure:3337: $? = 0 configure:3359: result: configure:3365: checking for suffix of object files configure:3387: gcc -c -g -Wall conftest.c >&5 configure:3391: $? = 0 configure:3412: result: o configure:3416: checking whether we are using the GNU C compiler configure:3435: gcc -c -g -Wall conftest.c >&5 configure:3435: $? = 0 configure:3444: result: yes configure:3453: checking whether gcc accepts -g configure:3473: gcc -c -g conftest.c >&5 configure:3473: $? = 0 configure:3514: result: yes configure:3531: checking for gcc option to accept ISO C89 configure:3595: gcc -c -g -Wall conftest.c >&5 configure:3595: $? = 0 configure:3608: result: none needed configure:3639: checking for style of include used by make configure:3667: result: GNU configure:3695: checking dependency style of gcc configure:3785: result: gcc3 configure:3860: checking for g++ configure:3876: found /usr/lib/ccache/g++ configure:3887: result: g++ configure:3914: checking for C++ compiler version configure:3923: g++ --version >&5 g++ (GCC) 4.7.0-gimplefe 20110614 (experimental) Copyright (C) 2011 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:3934: $? = 0 configure:3923: g++ -v >&5 Using built-in specs. COLLECT_GCC=/usr/local/bin/g++ COLLECT_LTO_WRAPPER=/usr/local/libexec/gcc/i686-pc-linux-gnu/4.7.0-gimplefe/lto-wrapper Target: i686-pc-linux-gnu Configured with: ../gimple-front-end/configure Thread model: posix gcc version 4.7.0-gimplefe 20110614 (experimental) (GCC) configure:3934: $? = 0 configure:3923: g++ -V >&5 g++: error: unrecognized command line option '-V' g++: fatal error: no input files compilation terminated. configure:3934: $? = 1 configure:3923: g++ -qversion >&5 g++: error: unrecognized command line option '-qversion' g++: fatal error: no input files compilation terminated. configure:3934: $? = 1 configure:3938: checking whether we are using the GNU C++ compiler configure:3957: g++ -c -g -Wall conftest.cpp >&5 configure:3957: $? = 0 configure:3966: result: yes configure:3975: checking whether g++ accepts -g configure:3995: g++ -c -g conftest.cpp >&5 configure:3995: $? = 0 configure:4036: result: yes configure:4061: checking dependency style of g++ configure:4151: result: gcc3 configure:4169: checking g++ compiler version configure:4172: result: 4.7.0-gimplefe configure:4218: checking for ranlib configure:4234: found /usr/bin/ranlib configure:4245: result: ranlib configure:4282: checking for inet_addr in -lnsl configure:4307: gcc -o conftest -g -Wall conftest.c -lnsl >&5 configure:4307: $? = 0 configure:4316: result: yes configure:4327: checking for socket in -lsocket configure:4352: gcc -o conftest -g -Wall conftest.c -lsocket -lnsl >&5 /usr/bin/ld: cannot find -lsocket collect2: error: ld returned 1 exit status configure:4352: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.6" | #define PACKAGE_STRING "Maude 2.6" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.6" | #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:4361: result: no configure:4450: checking whether time.h and sys/time.h may both be included configure:4470: g++ -c -g -Wall conftest.cpp >&5 configure:4470: $? = 0 configure:4477: result: yes configure:4490: checking how to run the C++ preprocessor configure:4517: g++ -E conftest.cpp configure:4517: $? = 0 configure:4531: g++ -E conftest.cpp conftest.cpp:15:28: fatal error: ac_nonexistent.h: No such file or directory compilation terminated. configure:4531: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.6" | #define PACKAGE_STRING "Maude 2.6" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.6" | #define HAVE_LIBNSL 1 | #define USE_TECLA /**/ | #define USE_LIBSIGSEGV /**/ | #define TIME_WITH_SYS_TIME 1 | /* end confdefs.h. */ | #include configure:4556: result: g++ -E configure:4576: g++ -E conftest.cpp configure:4576: $? = 0 configure:4590: g++ -E conftest.cpp conftest.cpp:15:28: fatal error: ac_nonexistent.h: No such file or directory compilation terminated. configure:4590: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.6" | #define PACKAGE_STRING "Maude 2.6" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.6" | #define HAVE_LIBNSL 1 | #define USE_TECLA /**/ | #define USE_LIBSIGSEGV /**/ | #define TIME_WITH_SYS_TIME 1 | /* end confdefs.h. */ | #include configure:4619: checking for grep that handles long lines and -e configure:4677: result: /bin/grep configure:4682: checking for egrep configure:4744: result: /bin/grep -E configure:4749: checking for ANSI C header files configure:4769: g++ -c -g -Wall conftest.cpp >&5 configure:4769: $? = 0 configure:4842: g++ -o conftest -g -Wall conftest.cpp -lnsl >&5 configure:4842: $? = 0 configure:4842: ./conftest configure:4842: $? = 0 configure:4853: result: yes configure:4866: checking for sys/types.h configure:4866: g++ -c -g -Wall conftest.cpp >&5 configure:4866: $? = 0 configure:4866: result: yes configure:4866: checking for sys/stat.h configure:4866: g++ -c -g -Wall conftest.cpp >&5 configure:4866: $? = 0 configure:4866: result: yes configure:4866: checking for stdlib.h configure:4866: g++ -c -g -Wall conftest.cpp >&5 configure:4866: $? = 0 configure:4866: result: yes configure:4866: checking for string.h configure:4866: g++ -c -g -Wall conftest.cpp >&5 configure:4866: $? = 0 configure:4866: result: yes configure:4866: checking for memory.h configure:4866: g++ -c -g -Wall conftest.cpp >&5 configure:4866: $? = 0 configure:4866: result: yes configure:4866: checking for strings.h configure:4866: g++ -c -g -Wall conftest.cpp >&5 configure:4866: $? = 0 configure:4866: result: yes configure:4866: checking for inttypes.h configure:4866: g++ -c -g -Wall conftest.cpp >&5 configure:4866: $? = 0 configure:4866: result: yes configure:4866: checking for stdint.h configure:4866: g++ -c -g -Wall conftest.cpp >&5 configure:4866: $? = 0 configure:4866: result: yes configure:4866: checking for unistd.h configure:4866: g++ -c -g -Wall conftest.cpp >&5 configure:4866: $? = 0 configure:4866: result: yes configure:4881: checking sys/time.h usability configure:4881: g++ -c -g -Wall conftest.cpp >&5 configure:4881: $? = 0 configure:4881: result: yes configure:4881: checking sys/time.h presence configure:4881: g++ -E conftest.cpp configure:4881: $? = 0 configure:4881: result: yes configure:4881: checking for sys/time.h configure:4881: result: yes configure:4893: checking math.h usability configure:4893: g++ -c -g -Wall conftest.cpp >&5 configure:4893: $? = 0 configure:4893: result: yes configure:4893: checking math.h presence configure:4893: g++ -E conftest.cpp configure:4893: $? = 0 configure:4893: result: yes configure:4893: checking for math.h configure:4893: result: yes configure:4905: checking ieeefp.h usability configure:4905: g++ -c -g -Wall conftest.cpp >&5 conftest.cpp:60:20: fatal error: ieeefp.h: No such file or directory compilation terminated. configure:4905: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.6" | #define PACKAGE_STRING "Maude 2.6" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.6" | #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:4905: result: no configure:4905: checking ieeefp.h presence configure:4905: g++ -E conftest.cpp conftest.cpp:27:20: fatal error: ieeefp.h: No such file or directory compilation terminated. configure:4905: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.6" | #define PACKAGE_STRING "Maude 2.6" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.6" | #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:4905: result: no configure:4905: checking for ieeefp.h configure:4905: result: no configure:4917: checking sys/termios.h usability configure:4917: g++ -c -g -Wall conftest.cpp >&5 configure:4917: $? = 0 configure:4917: result: yes configure:4917: checking sys/termios.h presence configure:4917: g++ -E conftest.cpp configure:4917: $? = 0 configure:4917: result: yes configure:4917: checking for sys/termios.h configure:4917: result: yes configure:4929: checking stddef.h usability configure:4929: g++ -c -g -Wall conftest.cpp >&5 configure:4929: $? = 0 configure:4929: result: yes configure:4929: checking stddef.h presence configure:4929: g++ -E conftest.cpp configure:4929: $? = 0 configure:4929: result: yes configure:4929: checking for stddef.h configure:4929: result: yes configure:4941: checking limits.h usability configure:4941: g++ -c -g -Wall conftest.cpp >&5 configure:4941: $? = 0 configure:4941: result: yes configure:4941: checking limits.h presence configure:4941: g++ -E conftest.cpp configure:4941: $? = 0 configure:4941: result: yes configure:4941: checking for limits.h configure:4941: result: yes configure:4953: checking for stdlib.h configure:4953: result: yes configure:4965: checking stdio.h usability configure:4965: g++ -c -g -Wall conftest.cpp >&5 configure:4965: $? = 0 configure:4965: result: yes configure:4965: checking stdio.h presence configure:4965: g++ -E conftest.cpp configure:4965: $? = 0 configure:4965: result: yes configure:4965: checking for stdio.h configure:4965: result: yes configure:4977: checking ctype.h usability configure:4977: g++ -c -g -Wall conftest.cpp >&5 configure:4977: $? = 0 configure:4977: result: yes configure:4977: checking ctype.h presence configure:4977: g++ -E conftest.cpp configure:4977: $? = 0 configure:4977: result: yes configure:4977: checking for ctype.h configure:4977: result: yes configure:4989: checking for unistd.h configure:4989: result: yes configure:5001: checking ostream usability configure:5001: g++ -c -g -Wall conftest.cpp >&5 configure:5001: $? = 0 configure:5001: result: yes configure:5001: checking ostream presence configure:5001: g++ -E conftest.cpp configure:5001: $? = 0 configure:5001: result: yes configure:5001: checking for ostream configure:5001: result: yes configure:5013: checking ostream.h usability configure:5013: g++ -c -g -Wall conftest.cpp >&5 conftest.cpp:68:21: fatal error: ostream.h: No such file or directory compilation terminated. configure:5013: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.6" | #define PACKAGE_STRING "Maude 2.6" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.6" | #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:5013: result: no configure:5013: checking ostream.h presence configure:5013: g++ -E conftest.cpp conftest.cpp:35:21: fatal error: ostream.h: No such file or directory compilation terminated. configure:5013: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "Maude" | #define PACKAGE_TARNAME "maude" | #define PACKAGE_VERSION "2.6" | #define PACKAGE_STRING "Maude 2.6" | #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" | #define PACKAGE_URL "" | #define PACKAGE "Maude" | #define VERSION "2.6" | #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:5013: result: no configure:5013: checking for ostream.h configure:5013: result: no configure:5030: checking size of short configure:5035: g++ -o conftest -g -Wall conftest.cpp -lnsl >&5 configure:5035: $? = 0 configure:5035: ./conftest configure:5035: $? = 0 configure:5050: result: 2 configure:5064: checking size of int configure:5069: g++ -o conftest -g -Wall conftest.cpp -lnsl >&5 configure:5069: $? = 0 configure:5069: ./conftest configure:5069: $? = 0 configure:5084: result: 4 configure:5098: checking size of long configure:5103: g++ -o conftest -g -Wall conftest.cpp -lnsl >&5 configure:5103: $? = 0 configure:5103: ./conftest configure:5103: $? = 0 configure:5118: result: 4 configure:5132: checking size of unsigned long configure:5137: g++ -o conftest -g -Wall conftest.cpp -lnsl >&5 configure:5137: $? = 0 configure:5137: ./conftest configure:5137: $? = 0 configure:5152: result: 4 configure:5166: checking size of void * configure:5171: g++ -o conftest -g -Wall conftest.cpp -lnsl >&5 configure:5171: $? = 0 configure:5171: ./conftest configure:5171: $? = 0 configure:5186: result: 4 configure:5563: creating ./config.status ## ---------------------- ## ## Running config.status. ## ## ---------------------- ## This file was extended by Maude config.status 2.6, which was generated by GNU Autoconf 2.64. Invocation command line was CONFIG_FILES = CONFIG_HEADERS = CONFIG_LINKS = CONFIG_COMMANDS = $ ./config.status on Sandy config.status:920: creating Makefile config.status:920: creating src/Makefile config.status:920: creating src/3rdParty/Makefile config.status:920: creating src/Utility/Makefile config.status:920: creating src/Temporal/Makefile config.status:920: creating src/Interface/Makefile config.status:920: creating src/Core/Makefile config.status:920: creating src/Variable/Makefile config.status:920: creating src/NA_Theory/Makefile config.status:920: creating src/ACU_Persistent/Makefile config.status:920: creating src/ACU_Theory/Makefile config.status:920: creating src/AU_Persistent/Makefile config.status:920: creating src/AU_Theory/Makefile config.status:920: creating src/CUI_Theory/Makefile config.status:920: creating src/S_Theory/Makefile config.status:920: creating src/FreeTheory/Makefile config.status:920: creating src/Higher/Makefile config.status:920: creating src/BuiltIn/Makefile config.status:920: creating src/IO_Stuff/Makefile config.status:920: creating src/ObjectSystem/Makefile config.status:920: creating src/Meta/Makefile config.status:920: creating src/FullCompiler/Makefile config.status:920: creating src/MSCP10/Makefile config.status:920: creating src/StrategyLanguage/Makefile config.status:920: creating src/Mixfix/Makefile config.status:920: creating src/Main/Makefile config.status:920: creating tests/Makefile config.status:920: creating tests/BuiltIn/Makefile config.status:920: creating tests/Meta/Makefile config.status:920: creating tests/Misc/Makefile config.status:920: creating tests/ResolvedBugs/Makefile config.status:920: creating config.h config.status:1133: executing depfiles commands ## ---------------- ## ## Cache variables. ## ## ---------------- ## ac_cv_build=i686-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= ac_cv_env_CFLAGS_value= 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= ac_cv_env_CXXFLAGS_value= ac_cv_env_CXX_set= ac_cv_env_CXX_value= ac_cv_env_LDFLAGS_set= ac_cv_env_LDFLAGS_value= ac_cv_env_LIBS_set= ac_cv_env_LIBS_value= ac_cv_env_build_alias_set= ac_cv_env_build_alias_value= ac_cv_env_host_alias_set= ac_cv_env_host_alias_value= 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=i686-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/bin/install -c' ac_cv_prog_AWK=gawk ac_cv_prog_CXXCPP='g++ -E' ac_cv_prog_ac_ct_CC=gcc ac_cv_prog_ac_ct_CXX=g++ ac_cv_prog_ac_ct_RANLIB=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=4 ac_cv_sizeof_short=2 ac_cv_sizeof_unsigned_long=4 ac_cv_sizeof_void_p=4 am_cv_CC_dependencies_compiler_type=gcc3 am_cv_CXX_dependencies_compiler_type=gcc3 ## ----------------- ## ## Output variables. ## ## ----------------- ## ACLOCAL='${SHELL} /home/Sandy/Maude-2.6/missing --run aclocal-1.9' AMDEPBACKSLASH='\' AMDEP_FALSE='#' AMDEP_TRUE='' AMTAR='${SHELL} /home/Sandy/Maude-2.6/missing --run tar' AUTOCONF='${SHELL} /home/Sandy/Maude-2.6/missing --run autoconf' AUTOHEADER='${SHELL} /home/Sandy/Maude-2.6/missing --run autoheader' AUTOMAKE='${SHELL} /home/Sandy/Maude-2.6/missing --run automake-1.9' AWK='gawk' BISON='bison' BUDDY_LIB='-lbdd' BUILD_COMPILER_FALSE='' BUILD_COMPILER_TRUE='#' CC='gcc' CCDEPMODE='depmode=gcc3' CFLAGS='-g -Wall -O2 -fomit-frame-pointer -fforce-addr -finline-limit=10000 -march=i686 -mpreferred-stack-boundary=2 ' CPPFLAGS='' CXX='g++' CXXCPP='g++ -E' CXXDEPMODE='depmode=gcc3' CXXFLAGS='-g -Wall -O2 -fomit-frame-pointer -fforce-addr -finline-limit=10000 -march=i686 -mpreferred-stack-boundary=2 ' CYGPATH_W='echo' DEFS='-DHAVE_CONFIG_H' DEPDIR='.deps' ECHO_C='' ECHO_N='-n' ECHO_T='' EGREP='/bin/grep -E' EXEEXT='' FLEX='flex' GMP_LIBS='-lgmpxx -lgmp' GREP='/bin/grep' INSTALL_DATA='${INSTALL} -m 644' INSTALL_PROGRAM='${INSTALL}' INSTALL_SCRIPT='${INSTALL}' INSTALL_STRIP_PROGRAM='${SHELL} $(install_sh) -c -s' LDFLAGS='' LIBOBJS='' LIBS='-lnsl ' LIBSIGSEGV_LIB='-lsigsegv' LTLIBOBJS='' MAKEINFO='${SHELL} /home/Sandy/Maude-2.6/missing --run makeinfo' OBJEXT='o' PACKAGE='Maude' PACKAGE_BUGREPORT='maude-bugs@maude.cs.uiuc.edu' PACKAGE_NAME='Maude' PACKAGE_STRING='Maude 2.6' PACKAGE_TARNAME='maude' PACKAGE_URL='' PACKAGE_VERSION='2.6' PATH_SEPARATOR=':' RANLIB='ranlib' SET_MAKE='' SHELL='/bin/sh' STRIP='' TECLA_LIBS='-ltecla -lcurses' USE_DLMALLOC_FALSE='#' USE_DLMALLOC_TRUE='' VERSION='2.6' ac_ct_CC='gcc' ac_ct_CXX='g++' am__fastdepCC_FALSE='#' am__fastdepCC_TRUE='' am__fastdepCXX_FALSE='#' am__fastdepCXX_TRUE='' am__include='include' am__leading_dot='.' am__quote='' am__tar='${AMTAR} chof - "$$tardir"' am__untar='${AMTAR} xf -' bindir='${exec_prefix}/bin' build='i686-pc-linux-gnu' build_alias='' build_cpu='i686' build_os='linux-gnu' build_vendor='pc' datadir='${datarootdir}' datarootdir='${prefix}/share' docdir='${datarootdir}/doc/${PACKAGE_TARNAME}' dvidir='${docdir}' exec_prefix='${prefix}' host='i686-pc-linux-gnu' host_alias='' host_cpu='i686' host_os='linux-gnu' host_vendor='pc' htmldir='${docdir}' includedir='${prefix}/include' infodir='${datarootdir}/info' install_sh='/home/Sandy/Maude-2.6/install-sh' libdir='${exec_prefix}/lib' libexecdir='${exec_prefix}/libexec' localedir='${datarootdir}/locale' localstatedir='${prefix}/var' mandir='${datarootdir}/man' mkdir_p='mkdir -p --' oldincludedir='/usr/include' pdfdir='${docdir}' prefix='/usr/local' program_transform_name='s,x,x,' psdir='${docdir}' sbindir='${exec_prefix}/sbin' sharedstatedir='${prefix}/com' sysconfdir='${prefix}/etc' target_alias='' ## ----------- ## ## confdefs.h. ## ## ----------- ## /* confdefs.h */ #define PACKAGE_NAME "Maude" #define PACKAGE_TARNAME "maude" #define PACKAGE_VERSION "2.6" #define PACKAGE_STRING "Maude 2.6" #define PACKAGE_BUGREPORT "maude-bugs@maude.cs.uiuc.edu" #define PACKAGE_URL "" #define PACKAGE "Maude" #define VERSION "2.6" #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 4 #define SIZEOF_UNSIGNED_LONG 4 #define SIZEOF_VOID_P 4 #define NO_ASSERT /**/ #define LOCAL_INLINES /**/ #define HAVE_CMOV /**/ #define SCP /**/ #define BUBBLES /**/ configure: exit 0