Skip to content

Instantly share code, notes, and snippets.

@RKX1209

RKX1209/klee-output

Created November 4, 2015 21:22
Show Gist options
  • Save RKX1209/a5f78f245d26632fd6fc to your computer and use it in GitHub Desktop.
Save RKX1209/a5f78f245d26632fd6fc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
klee-output
$ uname -a
Linux rkx-PC 3.19.0-28-generic #30-Ubuntu SMP Mon Aug 31 15:52:51 UTC 2015 x86_6
4 x86_64 x86_64 GNU/Linux
$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description: Ubuntu 15.10
Release: 15.10
Codename: wily
$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/5/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 5.2.1-22ubuntu2'
--with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs --enable-languages=c,ada,c
++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-5 --enable-sha
red --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --
enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-cl
ocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-li
bstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libm
px --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt
=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-amd64/jre
--enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-amd64 --wi
th-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-amd64 --with-arch-directory
=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-
multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-li
st=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release
--build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 5.2.1 20151010 (Ubuntu 5.2.1-22ubuntu2)
$cat config.log
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
It was created by KLEE configure 1.0.0, which was
generated by GNU Autoconf 2.69. Invocation command line was
$ ./configure
## --------- ##
## Platform. ##
## --------- ##
hostname = rkx-PC
uname -m = x86_64
uname -r = 3.19.0-28-generic
uname -s = Linux
uname -v = #30-Ubuntu SMP Mon Aug 31 15:52:51 UTC 2015
/usr/bin/uname -p = unknown
/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/local/sbin
PATH: /usr/local/bin
PATH: /usr/sbin
PATH: /usr/bin
PATH: /sbin
PATH: /bin
PATH: /usr/games
PATH: /usr/local/games
PATH: /opt/metasploit-framework/tools/
PATH: /opt/metasploit-framework/tools/
## ----------- ##
## Core tests. ##
## ----------- ##
configure:2519: checking for gcc
configure:2535: found /usr/bin/gcc
configure:2546: result: gcc
configure:2577: checking for C compiler version
configure:2586: gcc --version >&5
gcc (Ubuntu 5.2.1-22ubuntu2) 5.2.1 20151010
Copyright (C) 2015 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:2597: $? = 0
configure:2586: gcc -v >&5
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/5/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 5.2.1-22ubuntu2' --with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs --enable-languages=c,ada,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-5 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 5.2.1 20151010 (Ubuntu 5.2.1-22ubuntu2)
configure:2597: $? = 0
configure:2586: gcc -V >&5
gcc: error: unrecognized command line option '-V'
gcc: fatal error: no input files
compilation terminated.
configure:2597: $? = 1
configure:2586: gcc -qversion >&5
gcc: error: unrecognized command line option '-qversion'
gcc: fatal error: no input files
compilation terminated.
configure:2597: $? = 1
configure:2617: checking whether the C compiler works
configure:2639: gcc conftest.c >&5
configure:2643: $? = 0
configure:2691: result: yes
configure:2694: checking for C compiler default output file name
configure:2696: result: a.out
configure:2702: checking for suffix of executables
configure:2709: gcc -o conftest conftest.c >&5
configure:2713: $? = 0
configure:2735: result:
configure:2757: checking whether we are cross compiling
configure:2765: gcc -o conftest conftest.c >&5
configure:2769: $? = 0
configure:2776: ./conftest
configure:2780: $? = 0
configure:2795: result: no
configure:2800: checking for suffix of object files
configure:2822: gcc -c conftest.c >&5
configure:2826: $? = 0
configure:2847: result: o
configure:2851: checking whether we are using the GNU C compiler
configure:2870: gcc -c conftest.c >&5
configure:2870: $? = 0
configure:2879: result: yes
configure:2888: checking whether gcc accepts -g
configure:2908: gcc -c -g conftest.c >&5
configure:2908: $? = 0
configure:2949: result: yes
configure:2966: checking for gcc option to accept ISO C89
configure:3029: gcc -c -g -O2 conftest.c >&5
configure:3029: $? = 0
configure:3042: result: none needed
configure:3120: checking for g++
configure:3136: found /usr/bin/g++
configure:3147: result: g++
configure:3174: checking for C++ compiler version
configure:3183: g++ --version >&5
g++ (Ubuntu 5.2.1-22ubuntu2) 5.2.1 20151010
Copyright (C) 2015 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:3194: $? = 0
configure:3183: g++ -v >&5
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/5/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 5.2.1-22ubuntu2' --with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs --enable-languages=c,ada,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-5 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 5.2.1 20151010 (Ubuntu 5.2.1-22ubuntu2)
configure:3194: $? = 0
configure:3183: g++ -V >&5
g++: error: unrecognized command line option '-V'
g++: fatal error: no input files
compilation terminated.
configure:3194: $? = 1
configure:3183: g++ -qversion >&5
g++: error: unrecognized command line option '-qversion'
g++: fatal error: no input files
compilation terminated.
configure:3194: $? = 1
configure:3198: checking whether we are using the GNU C++ compiler
configure:3217: g++ -c conftest.cpp >&5
configure:3217: $? = 0
configure:3226: result: yes
configure:3235: checking whether g++ accepts -g
configure:3255: g++ -c -g conftest.cpp >&5
configure:3255: $? = 0
configure:3296: result: yes
configure:3335: checking build system type
configure:3349: result: x86_64-unknown-linux-gnu
configure:3369: checking host system type
configure:3382: result: x86_64-unknown-linux-gnu
configure:3402: checking target system type
configure:3415: result: x86_64-unknown-linux-gnu
configure:3442: checking type of operating system we're going to host on
configure:3454: result:
configure:3465: checking llvm source dir
configure:3506: result: /usr/lib/llvm-3.4/build
configure:3509: checking llvm obj dir
configure:3511: result: /usr/lib/llvm-3.4/build
configure:3519: checking llvm package version
configure:3522: result: 3.4.2
configure:3527: checking llvm version major
configure:3530: result: 3
configure:3533: checking llvm version minor
configure:3536: result: 4
configure:3539: checking llvm is release version
configure:3547: result: 1
configure:3588: checking if LLVM needs C++11
configure:3595: result: no
configure:3637: checking llvm build mode
configure:3656: result: Release
configure:3661: checking llvm has asserts enabled
configure:3673: result: 0
configure:3677: checking LLVM Bitcode compiler
configure:3708: result: Found clang in LLVM Build
configure:3924: result: Using C llvm compiler : /usr/lib/llvm-3.4/build/Release/bin/clang
configure:3926: result: Using C++ llvm compiler : /usr/lib/llvm-3.4/build/Release/bin/clang++
configure:3932: checking C LLVM Bitcode compiler works
configure:3954: result: Success
configure:3932: checking CXX LLVM Bitcode compiler works
configure:3954: result: Success
configure:3985: checking uclibc
configure:4018: result: no
configure:4034: checking POSIX runtime
configure:4048: result: default (disabled, no uclibc)
configure:4082: checking runtime configuration
configure:4094: result: Release+Asserts
configure:4155: checking how to run the C preprocessor
configure:4186: gcc -E conftest.c
configure:4186: $? = 0
configure:4200: gcc -E conftest.c
conftest.c:14:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:4200: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 1
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:4225: result: gcc -E
configure:4245: gcc -E conftest.c
configure:4245: $? = 0
configure:4259: gcc -E conftest.c
conftest.c:14:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:4259: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 1
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:4288: checking for grep that handles long lines and -e
configure:4346: result: /bin/grep
configure:4351: checking for egrep
configure:4413: result: /bin/grep -E
configure:4418: checking for ANSI C header files
configure:4438: gcc -c -g -O2 conftest.c >&5
configure:4438: $? = 0
configure:4511: gcc -o conftest -g -O2 conftest.c >&5
configure:4511: $? = 0
configure:4511: ./conftest
configure:4511: $? = 0
configure:4522: result: yes
configure:4535: checking for sys/types.h
configure:4535: gcc -c -g -O2 conftest.c >&5
configure:4535: $? = 0
configure:4535: result: yes
configure:4535: checking for sys/stat.h
configure:4535: gcc -c -g -O2 conftest.c >&5
configure:4535: $? = 0
configure:4535: result: yes
configure:4535: checking for stdlib.h
configure:4535: gcc -c -g -O2 conftest.c >&5
configure:4535: $? = 0
configure:4535: result: yes
configure:4535: checking for string.h
configure:4535: gcc -c -g -O2 conftest.c >&5
configure:4535: $? = 0
configure:4535: result: yes
configure:4535: checking for memory.h
configure:4535: gcc -c -g -O2 conftest.c >&5
configure:4535: $? = 0
configure:4535: result: yes
configure:4535: checking for strings.h
configure:4535: gcc -c -g -O2 conftest.c >&5
configure:4535: $? = 0
configure:4535: result: yes
configure:4535: checking for inttypes.h
configure:4535: gcc -c -g -O2 conftest.c >&5
configure:4535: $? = 0
configure:4535: result: yes
configure:4535: checking for stdint.h
configure:4535: gcc -c -g -O2 conftest.c >&5
configure:4535: $? = 0
configure:4535: result: yes
configure:4535: checking for unistd.h
configure:4535: gcc -c -g -O2 conftest.c >&5
configure:4535: $? = 0
configure:4535: result: yes
configure:4549: checking sys/acl.h usability
configure:4549: gcc -c -g -O2 conftest.c >&5
conftest.c:57:21: fatal error: sys/acl.h: No such file or directory
compilation terminated.
configure:4549: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 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
| /* 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
| #include <sys/acl.h>
configure:4549: result: no
configure:4549: checking sys/acl.h presence
configure:4549: gcc -E conftest.c
conftest.c:24:21: fatal error: sys/acl.h: No such file or directory
compilation terminated.
configure:4549: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 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
| /* end confdefs.h. */
| #include <sys/acl.h>
configure:4549: result: no
configure:4549: checking for sys/acl.h
configure:4549: result: no
configure:4560: checking for cap_get_proc in -lcap
configure:4585: gcc -o conftest -g -O2 conftest.c -lcap >&5
configure:4585: $? = 0
configure:4594: result: yes
configure:4605: checking sys/capability.h usability
configure:4605: gcc -c -g -O2 conftest.c >&5
configure:4605: $? = 0
configure:4605: result: yes
configure:4605: checking sys/capability.h presence
configure:4605: gcc -E conftest.c
configure:4605: $? = 0
configure:4605: result: yes
configure:4605: checking for sys/capability.h
configure:4605: result: yes
configure:4637: checking how to run the C++ preprocessor
configure:4664: g++ -E conftest.cpp
configure:4664: $? = 0
configure:4678: g++ -E conftest.cpp
conftest.cpp:25:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:4678: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 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_CAPABILITY_H 1
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:4703: result: g++ -E
configure:4723: g++ -E conftest.cpp
configure:4723: $? = 0
configure:4737: g++ -E conftest.cpp
conftest.cpp:25:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:4737: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 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_CAPABILITY_H 1
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:4768: checking selinux/selinux.h usability
configure:4768: g++ -c -g -O2 conftest.cpp >&5
conftest.cpp:58:29: fatal error: selinux/selinux.h: No such file or directory
compilation terminated.
configure:4768: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 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_CAPABILITY_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
| #include <selinux/selinux.h>
configure:4768: result: no
configure:4768: checking selinux/selinux.h presence
configure:4768: g++ -E conftest.cpp
conftest.cpp:25:29: fatal error: selinux/selinux.h: No such file or directory
compilation terminated.
configure:4768: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 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_CAPABILITY_H 1
| /* end confdefs.h. */
| #include <selinux/selinux.h>
configure:4768: result: no
configure:4768: checking for selinux/selinux.h
configure:4768: result: no
configure:4786: checking malloc/malloc.h usability
configure:4786: g++ -c -g -O2 conftest.cpp >&5
conftest.cpp:58:27: fatal error: malloc/malloc.h: No such file or directory
compilation terminated.
configure:4786: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 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_CAPABILITY_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
| #include <malloc/malloc.h>
configure:4786: result: no
configure:4786: checking malloc/malloc.h presence
configure:4786: g++ -E conftest.cpp
conftest.cpp:25:27: fatal error: malloc/malloc.h: No such file or directory
compilation terminated.
configure:4786: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 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_CAPABILITY_H 1
| /* end confdefs.h. */
| #include <malloc/malloc.h>
configure:4786: result: no
configure:4786: checking for malloc/malloc.h
configure:4786: result: no
configure:4798: checking for malloc_zone_statistics
configure:4798: g++ -o conftest -g -O2 conftest.cpp >&5
/tmp/ccklCwwx.o: In function `main':
/home/rkx/klee/conftest.cpp:59: undefined reference to `malloc_zone_statistics'
collect2: error: ld returned 1 exit status
configure:4798: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 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_CAPABILITY_H 1
| /* end confdefs.h. */
| /* Define malloc_zone_statistics to an innocuous variant, in case <limits.h> declares malloc_zone_statistics.
| For example, HP-UX 11i <limits.h> declares gettimeofday. */
| #define malloc_zone_statistics innocuous_malloc_zone_statistics
|
| /* System header to define __stub macros and hopefully few prototypes,
| which can conflict with char malloc_zone_statistics (); 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 malloc_zone_statistics
|
| /* 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 malloc_zone_statistics ();
| /* 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_malloc_zone_statistics || defined __stub___malloc_zone_statistics
| choke me
| #endif
|
| int
| main ()
| {
| return malloc_zone_statistics ();
| ;
| return 0;
| }
configure:4798: result: no
configure:4807: checking for library containing mallinfo
configure:4838: g++ -o conftest -g -O2 conftest.cpp >&5
configure:4838: $? = 0
configure:4855: result: none required
configure:4890: checking stp/c_interface.h usability
configure:4890: g++ -c -g -O2 conftest.cpp >&5
configure:4890: $? = 0
configure:4890: result: yes
configure:4890: checking stp/c_interface.h presence
configure:4890: g++ -E conftest.cpp
configure:4890: $? = 0
configure:4890: result: yes
configure:4890: checking for stp/c_interface.h
configure:4890: result: yes
configure:4903: checking for vc_setInterfaceFlags in -lstp
configure:4928: g++ -o conftest -g -O2 conftest.cpp -lstp >&5
/usr/local/lib/libstp.a(RunTimes.cpp.o): In function `RunTimes::getDifference[abi:cxx11]()':
/home/rkx/Programming/OSS/stp/lib/AST/RunTimes.cpp:118: undefined reference to `Minisat::memUsed()'
/usr/local/lib/libstp.a(RunTimes.cpp.o): In function `RunTimes::print()':
/home/rkx/Programming/OSS/stp/lib/AST/RunTimes.cpp:105: undefined reference to `Minisat::memUsed()'
/usr/local/lib/libstp.a(MinisatCore.cpp.o): In function `stp::MinisatCore::newVar()':
/home/rkx/Programming/OSS/stp/lib/Sat/MinisatCore.cpp:93: undefined reference to `Minisat::Solver::newVar(Minisat::lbool, bool)'
/usr/local/lib/libstp.a(MinisatCore.cpp.o): In function `stp::MinisatCore::solve(bool&)':
/home/rkx/Programming/OSS/stp/lib/Sat/MinisatCore.cpp:74: undefined reference to `Minisat::Solver::simplify()'
/usr/local/lib/libstp.a(MinisatCore.cpp.o): In function `Minisat::Solver::solveLimited(Minisat::vec<Minisat::Lit, int> const&)':
/usr/include/minisat/core/Solver.h:387: undefined reference to `Minisat::Solver::solve_()'
/usr/local/lib/libstp.a(MinisatCore.cpp.o): In function `stp::MinisatCore::MinisatCore()':
/home/rkx/Programming/OSS/stp/lib/Sat/MinisatCore.cpp:46: undefined reference to `Minisat::Solver::Solver()'
/usr/local/lib/libstp.a(MinisatCore.cpp.o): In function `stp::MinisatCore::simplify()':
/home/rkx/Programming/OSS/stp/lib/Sat/MinisatCore.cpp:123: undefined reference to `Minisat::Solver::simplify()'
/usr/local/lib/libstp.a(MinisatCore.cpp.o): In function `Minisat::Solver::addClause(Minisat::vec<Minisat::Lit, int> const&)':
/usr/include/minisat/core/Solver.h:337: undefined reference to `Minisat::Solver::addClause_(Minisat::vec<Minisat::Lit, int>&)'
/usr/local/lib/libstp.a(SimplifyingMinisat.cpp.o): In function `stp::SimplifyingMinisat::newVar()':
/home/rkx/Programming/OSS/stp/lib/Sat/SimplifyingMinisat.cpp:102: undefined reference to `Minisat::SimpSolver::newVar(Minisat::lbool, bool)'
/usr/local/lib/libstp.a(SimplifyingMinisat.cpp.o): In function `stp::SimplifyingMinisat::solve(bool&)':
/home/rkx/Programming/OSS/stp/lib/Sat/SimplifyingMinisat.cpp:68: undefined reference to `Minisat::Solver::simplify()'
/usr/local/lib/libstp.a(SimplifyingMinisat.cpp.o): In function `Minisat::SimpSolver::solveLimited(Minisat::vec<Minisat::Lit, int> const&, bool, bool)':
/usr/include/minisat/simp/SimpSolver.h:217: undefined reference to `Minisat::SimpSolver::solve_(bool, bool)'
/usr/local/lib/libstp.a(SimplifyingMinisat.cpp.o): In function `stp::SimplifyingMinisat::SimplifyingMinisat()':
/home/rkx/Programming/OSS/stp/lib/Sat/SimplifyingMinisat.cpp:40: undefined reference to `Minisat::SimpSolver::SimpSolver()'
/usr/local/lib/libstp.a(SimplifyingMinisat.cpp.o): In function `stp::SimplifyingMinisat::simplify()':
/home/rkx/Programming/OSS/stp/lib/Sat/SimplifyingMinisat.cpp:82: undefined reference to `Minisat::Solver::simplify()'
/usr/local/lib/libstp.a(SimplifyingMinisat.cpp.o): In function `Minisat::SimpSolver::addClause(Minisat::vec<Minisat::Lit, int> const&)':
/usr/include/minisat/simp/SimpSolver.h:186: undefined reference to `Minisat::SimpSolver::addClause_(Minisat::vec<Minisat::Lit, int>&)'
collect2: error: ld returned 1 exit status
configure:4928: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "KLEE"
| #define PACKAGE_TARNAME "klee-"
| #define PACKAGE_VERSION "1.0.0"
| #define PACKAGE_STRING "KLEE 1.0.0"
| #define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
| #define PACKAGE_URL "https://klee.github.io"
| #define LLVM_VERSION_MAJOR 3
| #define LLVM_VERSION_MINOR 4
| #define LLVM_IS_RELEASE 1
| #define RUNTIME_CONFIGURATION "Release+Asserts"
| #define HAVE_CTYPE_EXTERNALS 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_CAPABILITY_H 1
| #define HAVE_MALLINFO 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 vc_setInterfaceFlags ();
| int
| main ()
| {
| return vc_setInterfaceFlags ();
| ;
| return 0;
| }
configure:4937: result: no
configure:4948: result: Could not link with libstp
configure:4958: checking for vc_setInterfaceFlags in -lstp
configure:4983: g++ -o conftest -g -O2 conftest.cpp -lstp -lminisat >&5
configure:4983: $? = 0
configure:4992: result: yes
configure:5229: creating ./config.status
## ---------------------- ##
## Running config.status. ##
## ---------------------- ##
This file was extended by KLEE config.status 1.0.0, which was
generated by GNU Autoconf 2.69. Invocation command line was
CONFIG_FILES =
CONFIG_HEADERS =
CONFIG_LINKS =
CONFIG_COMMANDS =
$ ./config.status
on rkx-PC
config.status:871: creating Makefile.config
config.status:871: creating docs/doxygen.cfg
config.status:871: creating include/klee/Config/config.h
config.status:1041: include/klee/Config/config.h is unchanged
config.status:1055: executing setup commands
config.status:1055: executing Makefile commands
config.status:1055: executing Makefile.common commands
config.status:1055: executing lib/Makefile commands
config.status:1055: executing runtime/Makefile commands
config.status:1055: executing test/Makefile commands
config.status:1055: executing test/Makefile.tests commands
config.status:1055: executing test/Concrete/Makefile commands
config.status:1055: executing tools/Makefile commands
config.status:1055: executing unittests/Makefile commands
## ---------------- ##
## Cache variables. ##
## ---------------- ##
ac_cv_build=x86_64-unknown-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_CPP_set=
ac_cv_env_CPP_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_func_malloc_zone_statistics=no
ac_cv_header_inttypes_h=yes
ac_cv_header_malloc_malloc_h=no
ac_cv_header_memory_h=yes
ac_cv_header_selinux_selinux_h=no
ac_cv_header_stdc=yes
ac_cv_header_stdint_h=yes
ac_cv_header_stdlib_h=yes
ac_cv_header_stp_c_interface_h=yes
ac_cv_header_string_h=yes
ac_cv_header_strings_h=yes
ac_cv_header_sys_acl_h=no
ac_cv_header_sys_capability_h=yes
ac_cv_header_sys_stat_h=yes
ac_cv_header_sys_types_h=yes
ac_cv_header_unistd_h=yes
ac_cv_host=x86_64-unknown-linux-gnu
ac_cv_lib_cap_cap_get_proc=yes
ac_cv_lib_stp_vc_setInterfaceFlags=yes
ac_cv_objext=o
ac_cv_path_EGREP='/bin/grep -E'
ac_cv_path_GREP=/bin/grep
ac_cv_prog_CPP='gcc -E'
ac_cv_prog_CXXCPP='g++ -E'
ac_cv_prog_ac_ct_CC=gcc
ac_cv_prog_ac_ct_CXX=g++
ac_cv_prog_cc_c89=
ac_cv_prog_cc_g=yes
ac_cv_prog_cxx_g=yes
ac_cv_search_mallinfo='none required'
ac_cv_target=x86_64-unknown-linux-gnu
## ----------------- ##
## Output variables. ##
## ----------------- ##
CC='gcc'
CFLAGS='-g -O2'
CPP='gcc -E'
CPPFLAGS=''
CXX='g++'
CXXCPP='g++ -E'
CXXFLAGS='-g -O2'
DEFS='-DHAVE_CONFIG_H'
ECHO_C=''
ECHO_N='-n'
ECHO_T=''
EGREP='/bin/grep -E'
ENABLE_METASMT='0'
ENABLE_POSIX_RUNTIME='0'
ENABLE_UCLIBC='0'
EXEEXT=''
GREP='/bin/grep'
HAVE_SELINUX='0'
KLEE_BITCODE_CXX_COMPILER='/usr/lib/llvm-3.4/build/Release/bin/clang++'
KLEE_BITCODE_C_COMPILER='/usr/lib/llvm-3.4/build/Release/bin/clang'
KLEE_HOST_CXX_COMPILER='g++'
KLEE_HOST_C_COMPILER='gcc'
KLEE_UCLIBC_BCA=''
KLEE_USE_CXX11='0'
LDFLAGS=''
LIBOBJS=''
LIBS='-lstp '
LLVM_BUILD_MODE='Release'
LLVM_IS_RELEASE='1'
LLVM_OBJ='/usr/lib/llvm-3.4/build'
LLVM_SRC='/usr/lib/llvm-3.4/build'
LLVM_VERSION_MAJOR='3'
LLVM_VERSION_MINOR='4'
LTLIBOBJS=''
METASMT_ROOT=''
OBJEXT='o'
PACKAGE_BUGREPORT='klee-dev@imperial.ac.uk'
PACKAGE_NAME='KLEE'
PACKAGE_STRING='KLEE 1.0.0'
PACKAGE_TARNAME='klee-'
PACKAGE_URL='https://klee.github.io'
PACKAGE_VERSION='1.0.0'
PATH_SEPARATOR=':'
REQUIRES_RTTI='0'
RUNTIME_CONFIGURATION=''
RUNTIME_DEBUG_SYMBOLS=''
RUNTIME_DISABLE_ASSERTIONS='0'
RUNTIME_ENABLE_OPTIMIZED='1'
SHELL='/bin/bash'
STP_CFLAGS=''
STP_LDFLAGS=' -lstp -lminisat'
ac_ct_CC='gcc'
ac_ct_CXX='g++'
bindir='${exec_prefix}/bin'
build='x86_64-unknown-linux-gnu'
build_alias=''
build_cpu='x86_64'
build_os='linux-gnu'
build_vendor='unknown'
clang=''
clang_cxx=''
datadir='${datarootdir}'
datarootdir='${prefix}/share'
docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
dvidir='${docdir}'
exec_prefix='${prefix}'
host='x86_64-unknown-linux-gnu'
host_alias=''
host_cpu='x86_64'
host_os='linux-gnu'
host_vendor='unknown'
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
libdir='${exec_prefix}/lib'
libexecdir='${exec_prefix}/libexec'
llvm_gcc=''
llvm_gxx=''
localedir='${datarootdir}/locale'
localstatedir='${prefix}/var'
mandir='${datarootdir}/man'
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='x86_64-unknown-linux-gnu'
target_alias=''
target_cpu='x86_64'
target_os='linux-gnu'
target_vendor='unknown'
## ----------- ##
## confdefs.h. ##
## ----------- ##
/* confdefs.h */
#define PACKAGE_NAME "KLEE"
#define PACKAGE_TARNAME "klee-"
#define PACKAGE_VERSION "1.0.0"
#define PACKAGE_STRING "KLEE 1.0.0"
#define PACKAGE_BUGREPORT "klee-dev@imperial.ac.uk"
#define PACKAGE_URL "https://klee.github.io"
#define LLVM_VERSION_MAJOR 3
#define LLVM_VERSION_MINOR 4
#define LLVM_IS_RELEASE 1
#define RUNTIME_CONFIGURATION "Release+Asserts"
#define HAVE_CTYPE_EXTERNALS 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_CAPABILITY_H 1
#define HAVE_MALLINFO 1
#define HAVE_LIBSTP 1
configure: exit 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment