This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.

It was created by sat_atpg configure 1.0, which was
generated by GNU Autoconf 2.61.  Invocation command line was

  $ ./configure CPPFLAGS=-O3 -Wall -ffloat-store

## --------- ##
## Platform. ##
## --------- ##

hostname = hal9001
uname -m = i686
uname -r = 2.6.23-gentoo-r2
uname -s = Linux
uname -v = #3 SMP Mon Dec 24 18:39:57 CET 2007

/usr/bin/uname -p = Genuine Intel(R) CPU T2300 @ 1.66GHz
/bin/uname -X     = unknown

/bin/arch              = i686
/usr/bin/arch -k       = i686
/usr/convex/getsysinfo = unknown
/usr/bin/hostinfo      = unknown
/bin/machine           = unknown
/usr/bin/oslevel       = unknown
/bin/universe          = unknown

PATH: /usr/local/bin
PATH: /usr/bin
PATH: /bin
PATH: /opt/bin
PATH: /usr/i686-pc-linux-gnu/gcc-bin/4.1.1
PATH: /usr/i686-pc-linux-gnu/gcc-bin/4.2.0
PATH: /opt/sun-jdk-1.4.2.13/bin
PATH: /opt/sun-jdk-1.4.2.13/jre/bin
PATH: /opt/sun-jdk-1.4.2.13/jre/javaws
PATH: /usr/kde/3.5/bin
PATH: /usr/qt/3/bin
PATH: /usr/games/bin
PATH: /usr/share/omniORB/bin/scripts
PATH: /var/qmail/bin
PATH: /home/manasek/oppsim/omnetpp-3.4b2/bin
PATH: /home/manasek/oppsim/omnetpp-3.4b2/bin


## ----------- ##
## Core tests. ##
## ----------- ##

configure:1790: checking for a BSD-compatible install
configure:1846: result: /usr/bin/install -c
configure:1857: checking whether build environment is sane
configure:1900: result: yes
configure:1928: checking for a thread-safe mkdir -p
configure:1967: result: /bin/mkdir -p
configure:1980: checking for gawk
configure:1996: found /usr/bin/gawk
configure:2007: result: gawk
configure:2018: checking whether make sets $(MAKE)
configure:2039: result: yes
configure:2287: checking for g++
configure:2303: found /usr/bin/g++
configure:2314: result: g++
configure:2345: checking for C++ compiler version
configure:2352: g++ --version >&5
g++ (GCC) 4.2.0 (Gentoo 4.2.0 p1.4)
Copyright (C) 2007 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:2355: $? = 0
configure:2362: g++ -v >&5
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: /var/tmp/portage/sys-devel/gcc-4.2.0/work/gcc-4.2.0/configure --prefix=/usr --bindir=/usr/i686-pc-linux-gnu/gcc-bin/4.2.0 --includedir=/usr/lib/gcc/i686-pc-linux-gnu/4.2.0/include --datadir=/usr/share/gcc-data/i686-pc-linux-gnu/4.2.0 --mandir=/usr/share/gcc-data/i686-pc-linux-gnu/4.2.0/man --infodir=/usr/share/gcc-data/i686-pc-linux-gnu/4.2.0/info --with-gxx-include-dir=/usr/lib/gcc/i686-pc-linux-gnu/4.2.0/include/g++-v4 --host=i686-pc-linux-gnu --build=i686-pc-linux-gnu --disable-altivec --enable-nls --without-included-gettext --with-system-zlib --disable-checking --disable-werror --enable-secureplt --disable-libunwind-exceptions --disable-multilib --enable-libmudflap --disable-libssp --disable-libgcj --with-arch=i686 --enable-objc-gc --enable-languages=c,c++,objc,obj-c++,fortran --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu
Thread model: posix
gcc version 4.2.0 (Gentoo 4.2.0 p1.4)
configure:2365: $? = 0
configure:2372: g++ -V >&5
g++: '-V' option must have argument
configure:2375: $? = 1
configure:2398: checking for C++ compiler default output file name
configure:2425: g++  -O3 -Wall -ffloat-store  conftest.cpp  >&5
configure:2428: $? = 0
configure:2466: result: a.out
configure:2483: checking whether the C++ compiler works
configure:2493: ./a.out
configure:2496: $? = 0
configure:2513: result: yes
configure:2520: checking whether we are cross compiling
configure:2522: result: no
configure:2525: checking for suffix of executables
configure:2532: g++ -o conftest  -O3 -Wall -ffloat-store  conftest.cpp  >&5
configure:2535: $? = 0
configure:2559: result: 
configure:2565: checking for suffix of object files
configure:2591: g++ -c  -O3 -Wall -ffloat-store conftest.cpp >&5
configure:2594: $? = 0
configure:2617: result: o
configure:2621: checking whether we are using the GNU C++ compiler
configure:2650: g++ -c  -O3 -Wall -ffloat-store conftest.cpp >&5
configure:2656: $? = 0
configure:2673: result: yes
configure:2678: checking whether g++ accepts -g
configure:2708: g++ -c -g -O3 -Wall -ffloat-store conftest.cpp >&5
configure:2714: $? = 0
configure:2813: result: yes
configure:2847: checking for style of include used by make
configure:2875: result: GNU
configure:2900: checking dependency style of g++
configure:2991: result: gcc3
configure:3054: checking for gcc
configure:3070: found /usr/bin/gcc
configure:3081: result: gcc
configure:3319: checking for C compiler version
configure:3326: gcc --version >&5
gcc (GCC) 4.2.0 (Gentoo 4.2.0 p1.4)
Copyright (C) 2007 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:3329: $? = 0
configure:3336: gcc -v >&5
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: /var/tmp/portage/sys-devel/gcc-4.2.0/work/gcc-4.2.0/configure --prefix=/usr --bindir=/usr/i686-pc-linux-gnu/gcc-bin/4.2.0 --includedir=/usr/lib/gcc/i686-pc-linux-gnu/4.2.0/include --datadir=/usr/share/gcc-data/i686-pc-linux-gnu/4.2.0 --mandir=/usr/share/gcc-data/i686-pc-linux-gnu/4.2.0/man --infodir=/usr/share/gcc-data/i686-pc-linux-gnu/4.2.0/info --with-gxx-include-dir=/usr/lib/gcc/i686-pc-linux-gnu/4.2.0/include/g++-v4 --host=i686-pc-linux-gnu --build=i686-pc-linux-gnu --disable-altivec --enable-nls --without-included-gettext --with-system-zlib --disable-checking --disable-werror --enable-secureplt --disable-libunwind-exceptions --disable-multilib --enable-libmudflap --disable-libssp --disable-libgcj --with-arch=i686 --enable-objc-gc --enable-languages=c,c++,objc,obj-c++,fortran --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu
Thread model: posix
gcc version 4.2.0 (Gentoo 4.2.0 p1.4)
configure:3339: $? = 0
configure:3346: gcc -V >&5
gcc: '-V' option must have argument
configure:3349: $? = 1
configure:3352: checking whether we are using the GNU C compiler
configure:3381: gcc -c  -O3 -Wall -ffloat-store conftest.c >&5
configure:3387: $? = 0
configure:3404: result: yes
configure:3409: checking whether gcc accepts -g
configure:3439: gcc -c -g -O3 -Wall -ffloat-store conftest.c >&5
configure:3445: $? = 0
configure:3544: result: yes
configure:3561: checking for gcc option to accept ISO C89
configure:3635: gcc  -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:3641: $? = 0
configure:3664: result: none needed
configure:3684: checking dependency style of gcc
configure:3775: result: gcc3
configure:3834: checking for ranlib
configure:3850: found /usr/bin/ranlib
configure:3861: result: ranlib
configure:3897: checking how to run the C preprocessor
configure:3937: gcc -E -O3 -Wall -ffloat-store conftest.c
configure:3943: $? = 0
configure:3974: gcc -E -O3 -Wall -ffloat-store conftest.c
conftest.c:10:28: error: ac_nonexistent.h: No such file or directory
configure:3980: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "sat_atpg"
| #define PACKAGE_TARNAME "sat_atpg"
| #define PACKAGE_VERSION "1.0"
| #define PACKAGE_STRING "sat_atpg 1.0"
| #define PACKAGE_BUGREPORT "cervaj1@feld.cvut.cz"
| #define PACKAGE "sat_atpg"
| #define VERSION "1.0"
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:4013: result: gcc -E
configure:4042: gcc -E -O3 -Wall -ffloat-store conftest.c
configure:4048: $? = 0
configure:4079: gcc -E -O3 -Wall -ffloat-store conftest.c
conftest.c:10:28: error: ac_nonexistent.h: No such file or directory
configure:4085: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "sat_atpg"
| #define PACKAGE_TARNAME "sat_atpg"
| #define PACKAGE_VERSION "1.0"
| #define PACKAGE_STRING "sat_atpg 1.0"
| #define PACKAGE_BUGREPORT "cervaj1@feld.cvut.cz"
| #define PACKAGE "sat_atpg"
| #define VERSION "1.0"
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:4123: checking for grep that handles long lines and -e
configure:4197: result: /bin/grep
configure:4202: checking for egrep
configure:4280: result: /bin/grep -E
configure:4285: checking for ANSI C header files
configure:4315: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4321: $? = 0
configure:4420: gcc -o conftest -g -O2 -O3 -Wall -ffloat-store  conftest.c  >&5
configure:4423: $? = 0
configure:4429: ./conftest
configure:4432: $? = 0
configure:4449: result: yes
configure:4473: checking for sys/types.h
configure:4494: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4500: $? = 0
configure:4516: result: yes
configure:4473: checking for sys/stat.h
configure:4494: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4500: $? = 0
configure:4516: result: yes
configure:4473: checking for stdlib.h
configure:4494: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4500: $? = 0
configure:4516: result: yes
configure:4473: checking for string.h
configure:4494: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4500: $? = 0
configure:4516: result: yes
configure:4473: checking for memory.h
configure:4494: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4500: $? = 0
configure:4516: result: yes
configure:4473: checking for strings.h
configure:4494: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4500: $? = 0
configure:4516: result: yes
configure:4473: checking for inttypes.h
configure:4494: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4500: $? = 0
configure:4516: result: yes
configure:4473: checking for stdint.h
configure:4494: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4500: $? = 0
configure:4516: result: yes
configure:4473: checking for unistd.h
configure:4494: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4500: $? = 0
configure:4516: result: yes
configure:4535: checking for stdint.h
configure:4541: result: yes
configure:4545: checking sys/time.h usability
configure:4562: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4568: $? = 0
configure:4582: result: yes
configure:4586: checking sys/time.h presence
configure:4601: gcc -E -O3 -Wall -ffloat-store conftest.c
configure:4607: $? = 0
configure:4621: result: yes
configure:4654: checking for sys/time.h
configure:4662: result: yes
configure:4535: checking for unistd.h
configure:4541: result: yes
configure:4677: checking for stdbool.h that conforms to C99
configure:4770: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
conftest.c:50: warning: the address of 's' will always evaluate as 'true'
conftest.c: In function 'main':
conftest.c:92: warning: the address of 'a' will always evaluate as 'true'
conftest.c:92: warning: the address of 'b' will always evaluate as 'true'
conftest.c:92: warning: the address of 'c' will always evaluate as 'true'
conftest.c:92: warning: the address of 'd' will always evaluate as 'true'
conftest.c:92: warning: the address of 'f' will always evaluate as 'true'
conftest.c:92: warning: the address of 'g' will always evaluate as 'true'
conftest.c:92: warning: the address of 'h' will always evaluate as 'true'
conftest.c:92: warning: the address of 'i' will always evaluate as 'true'
conftest.c:93: warning: the address of 'n' will always evaluate as 'true'
conftest.c:93: warning: the address of 'o' will always evaluate as 'true'
conftest.c:93: warning: the address of 'p' will always evaluate as 'true'
configure:4776: $? = 0
configure:4791: result: yes
configure:4793: checking for _Bool
configure:4823: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:4829: $? = 0
configure:4844: result: yes
configure:4863: checking for an ANSI C-conforming const
configure:4938: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
conftest.c: In function 'main':
conftest.c:54: warning: 't' is used uninitialized in this function
conftest.c:70: warning: 'b' is used uninitialized in this function
conftest.c:76: warning: 'cs[0]' is used uninitialized in this function
configure:4944: $? = 0
configure:4959: result: yes
configure:4969: checking for inline
configure:4995: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:5001: $? = 0
configure:5019: result: inline
configure:5039: checking for int32_t
configure:5070: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:5076: $? = 0
configure:5105: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
conftest.c: In function 'main':
conftest.c:62: warning: integer overflow in expression
conftest.c:62: error: size of array 'test_array' is negative
configure:5111: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "sat_atpg"
| #define PACKAGE_TARNAME "sat_atpg"
| #define PACKAGE_VERSION "1.0"
| #define PACKAGE_STRING "sat_atpg 1.0"
| #define PACKAGE_BUGREPORT "cervaj1@feld.cvut.cz"
| #define PACKAGE "sat_atpg"
| #define VERSION "1.0"
| #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_STDINT_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE__BOOL 1
| #define HAVE_STDBOOL_H 1
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| static int test_array [1 - 2 * !((int32_t) ((((int32_t) 1 << (32 - 2)) - 1) * 2 + 1)
| 	         < (int32_t) ((((int32_t) 1 << (32 - 2)) - 1) * 2 + 2))];
| test_array [0] = 0
| 
|   ;
|   return 0;
| }
configure:5140: result: yes
configure:5153: checking for int64_t
configure:5184: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:5190: $? = 0
configure:5219: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
conftest.c: In function 'main':
conftest.c:62: warning: integer overflow in expression
conftest.c:62: error: size of array 'test_array' is negative
configure:5225: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "sat_atpg"
| #define PACKAGE_TARNAME "sat_atpg"
| #define PACKAGE_VERSION "1.0"
| #define PACKAGE_STRING "sat_atpg 1.0"
| #define PACKAGE_BUGREPORT "cervaj1@feld.cvut.cz"
| #define PACKAGE "sat_atpg"
| #define VERSION "1.0"
| #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_STDINT_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE__BOOL 1
| #define HAVE_STDBOOL_H 1
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| static int test_array [1 - 2 * !((int64_t) ((((int64_t) 1 << (64 - 2)) - 1) * 2 + 1)
| 	         < (int64_t) ((((int64_t) 1 << (64 - 2)) - 1) * 2 + 2))];
| test_array [0] = 0
| 
|   ;
|   return 0;
| }
configure:5254: result: yes
configure:5266: checking for pid_t
configure:5296: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:5302: $? = 0
configure:5317: result: yes
configure:5329: checking for size_t
configure:5359: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:5365: $? = 0
configure:5380: result: yes
configure:5393: checking for uint32_t
configure:5424: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:5430: $? = 0
configure:5451: result: yes
configure:5469: checking for uint64_t
configure:5500: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:5506: $? = 0
configure:5527: result: yes
configure:5546: checking for ANSI C header files
configure:5710: result: yes
configure:5725: checking for stdlib.h
configure:5731: result: yes
configure:5865: checking for GNU libc compatible malloc
configure:5899: gcc -o conftest -g -O2 -O3 -Wall -ffloat-store  conftest.c  >&5
configure:5902: $? = 0
configure:5908: ./conftest
configure:5911: $? = 0
configure:5927: result: yes
configure:5960: checking for stdlib.h
configure:5966: result: yes
configure:6100: checking for GNU libc compatible realloc
configure:6134: gcc -o conftest -g -O2 -O3 -Wall -ffloat-store  conftest.c  >&5
configure:6137: $? = 0
configure:6143: ./conftest
configure:6146: $? = 0
configure:6162: result: yes
configure:6206: checking sys/select.h usability
configure:6223: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:6229: $? = 0
configure:6243: result: yes
configure:6247: checking sys/select.h presence
configure:6262: gcc -E -O3 -Wall -ffloat-store conftest.c
configure:6268: $? = 0
configure:6282: result: yes
configure:6315: checking for sys/select.h
configure:6323: result: yes
configure:6206: checking sys/socket.h usability
configure:6223: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:6229: $? = 0
configure:6243: result: yes
configure:6247: checking sys/socket.h presence
configure:6262: gcc -E -O3 -Wall -ffloat-store conftest.c
configure:6268: $? = 0
configure:6282: result: yes
configure:6315: checking for sys/socket.h
configure:6323: result: yes
configure:6336: checking types of arguments for select
configure:6374: gcc -c -g -O2 -O3 -Wall -ffloat-store conftest.c >&5
configure:6380: $? = 0
configure:6401: result: int,fd_set *,struct timeval *
configure:6430: checking for getpagesize
configure:6486: gcc -o conftest -g -O2 -O3 -Wall -ffloat-store  conftest.c  >&5
configure:6492: $? = 0
configure:6510: result: yes
configure:6430: checking for pow
configure:6486: gcc -o conftest -g -O2 -O3 -Wall -ffloat-store  conftest.c  >&5
conftest.c:59: warning: conflicting types for built-in function 'pow'
/tmp/ccm0dMPO.o: In function `main':
/home/manasek/workspace/36dp-cervis/36dp-cd/src/sat_atpg/conftest.c:70: undefined reference to `pow'
collect2: ld returned 1 exit status
configure:6492: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "sat_atpg"
| #define PACKAGE_TARNAME "sat_atpg"
| #define PACKAGE_VERSION "1.0"
| #define PACKAGE_STRING "sat_atpg 1.0"
| #define PACKAGE_BUGREPORT "cervaj1@feld.cvut.cz"
| #define PACKAGE "sat_atpg"
| #define VERSION "1.0"
| #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_STDINT_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE__BOOL 1
| #define HAVE_STDBOOL_H 1
| #define STDC_HEADERS 1
| #define HAVE_STDLIB_H 1
| #define HAVE_MALLOC 1
| #define HAVE_STDLIB_H 1
| #define HAVE_REALLOC 1
| #define HAVE_SYS_SELECT_H 1
| #define HAVE_SYS_SOCKET_H 1
| #define SELECT_TYPE_ARG1 int
| #define SELECT_TYPE_ARG234 (fd_set *)
| #define SELECT_TYPE_ARG5 (struct timeval *)
| #define HAVE_GETPAGESIZE 1
| /* end confdefs.h.  */
| /* Define pow to an innocuous variant, in case <limits.h> declares pow.
|    For example, HP-UX 11i <limits.h> declares gettimeofday.  */
| #define pow innocuous_pow
| 
| /* System header to define __stub macros and hopefully few prototypes,
|     which can conflict with char pow (); below.
|     Prefer <limits.h> to <assert.h> if __STDC__ is defined, since
|     <limits.h> exists even on freestanding compilers.  */
| 
| #ifdef __STDC__
| # include <limits.h>
| #else
| # include <assert.h>
| #endif
| 
| #undef pow
| 
| /* 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 pow ();
| /* The GNU C library defines this for functions which it implements
|     to always fail with ENOSYS.  Some functions are actually named
|     something starting with __ and the normal name is an alias.  */
| #if defined __stub_pow || defined __stub___pow
| choke me
| #endif
| 
| int
| main ()
| {
| return pow ();
|   ;
|   return 0;
| }
configure:6510: result: no
configure:6430: checking for select
configure:6486: gcc -o conftest -g -O2 -O3 -Wall -ffloat-store  conftest.c  >&5
configure:6492: $? = 0
configure:6510: result: yes
configure:6644: creating ./config.status

## ---------------------- ##
## Running config.status. ##
## ---------------------- ##

This file was extended by sat_atpg config.status 1.0, which was
generated by GNU Autoconf 2.61.  Invocation command line was

  CONFIG_FILES    = 
  CONFIG_HEADERS  = 
  CONFIG_LINKS    = 
  CONFIG_COMMANDS = 
  $ ./config.status 

on hal9001

config.status:646: creating Makefile
config.status:646: creating src/Makefile
config.status:646: creating lib/Makefile
config.status:646: creating lib/minisat/Makefile
config.status:646: creating lib/minisat_dc/Makefile
config.status:646: creating config.h
config.status:935: executing depfiles commands

## ---------------- ##
## Cache variables. ##
## ---------------- ##

ac_cv_c_compiler_gnu=yes
ac_cv_c_const=yes
ac_cv_c_inline=inline
ac_cv_c_int32_t=yes
ac_cv_c_int64_t=yes
ac_cv_c_uint32_t=yes
ac_cv_c_uint64_t=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=set
ac_cv_env_CPPFLAGS_value='-O3 -Wall -ffloat-store'
ac_cv_env_CPP_set=
ac_cv_env_CPP_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_func_getpagesize=yes
ac_cv_func_malloc_0_nonnull=yes
ac_cv_func_pow=no
ac_cv_func_realloc_0_nonnull=yes
ac_cv_func_select=yes
ac_cv_func_select_args='int,fd_set *,struct timeval *'
ac_cv_header_inttypes_h=yes
ac_cv_header_memory_h=yes
ac_cv_header_stdbool_h=yes
ac_cv_header_stdc=yes
ac_cv_header_stdint_h=yes
ac_cv_header_stdlib_h=yes
ac_cv_header_string_h=yes
ac_cv_header_strings_h=yes
ac_cv_header_sys_select_h=yes
ac_cv_header_sys_socket_h=yes
ac_cv_header_sys_stat_h=yes
ac_cv_header_sys_time_h=yes
ac_cv_header_sys_types_h=yes
ac_cv_header_unistd_h=yes
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_path_mkdir=/bin/mkdir
ac_cv_prog_AWK=gawk
ac_cv_prog_CPP='gcc -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_type__Bool=yes
ac_cv_type_pid_t=yes
ac_cv_type_size_t=yes
am_cv_CC_dependencies_compiler_type=gcc3
am_cv_CXX_dependencies_compiler_type=gcc3

## ----------------- ##
## Output variables. ##
## ----------------- ##

ACLOCAL='${SHELL} /home/manasek/workspace/36dp-cervis/36dp-cd/src/sat_atpg/missing --run aclocal-1.10'
AMDEPBACKSLASH='\'
AMDEP_FALSE='#'
AMDEP_TRUE=''
AMTAR='${SHELL} /home/manasek/workspace/36dp-cervis/36dp-cd/src/sat_atpg/missing --run tar'
AUTOCONF='${SHELL} /home/manasek/workspace/36dp-cervis/36dp-cd/src/sat_atpg/missing --run autoconf'
AUTOHEADER='${SHELL} /home/manasek/workspace/36dp-cervis/36dp-cd/src/sat_atpg/missing --run autoheader'
AUTOMAKE='${SHELL} /home/manasek/workspace/36dp-cervis/36dp-cd/src/sat_atpg/missing --run automake-1.10'
AWK='gawk'
CC='gcc'
CCDEPMODE='depmode=gcc3'
CFLAGS='-g -O2'
CPP='gcc -E'
CPPFLAGS='-O3 -Wall -ffloat-store'
CXX='g++'
CXXDEPMODE='depmode=gcc3'
CXXFLAGS='-g -O2'
CYGPATH_W='echo'
DEFS='-DHAVE_CONFIG_H'
DEPDIR='.deps'
ECHO_C=''
ECHO_N='-n'
ECHO_T=''
EGREP='/bin/grep -E'
EXEEXT=''
GREP='/bin/grep'
INSTALL_DATA='${INSTALL} -m 644'
INSTALL_PROGRAM='${INSTALL}'
INSTALL_SCRIPT='${INSTALL}'
INSTALL_STRIP_PROGRAM='$(install_sh) -c -s'
LDFLAGS=''
LIBOBJS=''
LIBS=''
LTLIBOBJS=''
MAKEINFO='${SHELL} /home/manasek/workspace/36dp-cervis/36dp-cd/src/sat_atpg/missing --run makeinfo'
OBJEXT='o'
PACKAGE='sat_atpg'
PACKAGE_BUGREPORT='cervaj1@feld.cvut.cz'
PACKAGE_NAME='sat_atpg'
PACKAGE_STRING='sat_atpg 1.0'
PACKAGE_TARNAME='sat_atpg'
PACKAGE_VERSION='1.0'
PATH_SEPARATOR=':'
RANLIB='ranlib'
SET_MAKE=''
SHELL='/bin/sh'
STRIP=''
VERSION='1.0'
ac_ct_CC='gcc'
ac_ct_CXX='g++'
am__fastdepCC_FALSE='#'
am__fastdepCC_TRUE=''
am__fastdepCXX_FALSE='#'
am__fastdepCXX_TRUE=''
am__include='include'
am__isrc=''
am__leading_dot='.'
am__quote=''
am__tar='${AMTAR} chof - "$$tardir"'
am__untar='${AMTAR} xf -'
bindir='${exec_prefix}/bin'
build_alias=''
datadir='${datarootdir}'
datarootdir='${prefix}/share'
docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
dvidir='${docdir}'
exec_prefix='${prefix}'
host_alias=''
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
install_sh='$(SHELL) /home/manasek/workspace/36dp-cervis/36dp-cd/src/sat_atpg/install-sh'
libdir='${exec_prefix}/lib'
libexecdir='${exec_prefix}/libexec'
localedir='${datarootdir}/locale'
localstatedir='${prefix}/var'
mandir='${datarootdir}/man'
mkdir_p='/bin/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. ##
## ----------- ##

#define PACKAGE_NAME "sat_atpg"
#define PACKAGE_TARNAME "sat_atpg"
#define PACKAGE_VERSION "1.0"
#define PACKAGE_STRING "sat_atpg 1.0"
#define PACKAGE_BUGREPORT "cervaj1@feld.cvut.cz"
#define PACKAGE "sat_atpg"
#define VERSION "1.0"
#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_STDINT_H 1
#define HAVE_SYS_TIME_H 1
#define HAVE_UNISTD_H 1
#define HAVE__BOOL 1
#define HAVE_STDBOOL_H 1
#define STDC_HEADERS 1
#define HAVE_STDLIB_H 1
#define HAVE_MALLOC 1
#define HAVE_STDLIB_H 1
#define HAVE_REALLOC 1
#define HAVE_SYS_SELECT_H 1
#define HAVE_SYS_SOCKET_H 1
#define SELECT_TYPE_ARG1 int
#define SELECT_TYPE_ARG234 (fd_set *)
#define SELECT_TYPE_ARG5 (struct timeval *)
#define HAVE_GETPAGESIZE 1
#define HAVE_SELECT 1

configure: exit 0
