Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
It was created by Normaliz configure 3.4.0, which was
generated by GNU Autoconf 2.69. Invocation command line was
$ ./configure --prefix=/home/user/gap4r8/pkg/NormalizInterface-1.0.2/Normaliz.git/DST --with-gmp=/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp
## --------- ##
## Platform. ##
## --------- ##
hostname = project-acf3855b-c4e1-46dc-b895-ec496577848b
uname -m = x86_64
uname -r = 4.13.0-1006-gcp
uname -s = Linux
uname -v = #9-Ubuntu SMP Mon Jan 8 21:13:15 UTC 2018
/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: /home/user/bin
PATH: /home/user/.local/bin
PATH: /home/user/.local/bin
PATH: /home/user/.local/bin
PATH: /home/user/bin
PATH: /ext/bin
PATH: /cocalc/bin
PATH: /cocalc/src/smc-project/bin
PATH: /usr/local/bin
PATH: /usr/bin
PATH: /bin
PATH: /usr/lib/postgresql/9.6/bin
PATH: /ext/data/homer/bin
PATH: /ext/data/weblogo
## ----------- ##
## Core tests. ##
## ----------- ##
configure:2406: checking for a BSD-compatible install
configure:2474: result: /usr/bin/install -c
configure:2485: checking whether build environment is sane
configure:2540: result: yes
configure:2691: checking for a thread-safe mkdir -p
configure:2730: result: /bin/mkdir -p
configure:2737: checking for gawk
configure:2753: found /usr/bin/gawk
configure:2764: result: gawk
configure:2775: checking whether make sets $(MAKE)
configure:2797: result: yes
configure:2826: checking whether make supports nested variables
configure:2843: result: yes
configure:3030: checking for g++
configure:3046: found /usr/bin/g++
configure:3057: result: g++
configure:3084: checking for C++ compiler version
configure:3093: g++ --version >&5
g++ (Ubuntu 5.4.0-6ubuntu1~16.04.5) 5.4.0 20160609
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:3104: $? = 0
configure:3093: 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.4.0-6ubuntu1~16.04.5' --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.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.5)
configure:3104: $? = 0
configure:3093: g++ -V >&5
g++: error: unrecognized command line option '-V'
g++: fatal error: no input files
compilation terminated.
configure:3104: $? = 1
configure:3093: g++ -qversion >&5
g++: error: unrecognized command line option '-qversion'
g++: fatal error: no input files
compilation terminated.
configure:3104: $? = 1
configure:3124: checking whether the C++ compiler works
configure:3146: g++ conftest.cpp >&5
configure:3150: $? = 0
configure:3198: result: yes
configure:3201: checking for C++ compiler default output file name
configure:3203: result: a.out
configure:3209: checking for suffix of executables
configure:3216: g++ -o conftest conftest.cpp >&5
configure:3220: $? = 0
configure:3242: result:
configure:3264: checking whether we are cross compiling
configure:3272: g++ -o conftest conftest.cpp >&5
configure:3276: $? = 0
configure:3283: ./conftest
configure:3287: $? = 0
configure:3302: result: no
configure:3307: checking for suffix of object files
configure:3329: g++ -c conftest.cpp >&5
configure:3333: $? = 0
configure:3354: result: o
configure:3358: checking whether we are using the GNU C++ compiler
configure:3377: g++ -c conftest.cpp >&5
configure:3377: $? = 0
configure:3386: result: yes
configure:3395: checking whether g++ accepts -g
configure:3415: g++ -c -g conftest.cpp >&5
configure:3415: $? = 0
configure:3456: result: yes
configure:3490: checking for style of include used by make
configure:3518: result: GNU
configure:3544: checking dependency style of g++
configure:3655: result: gcc3
configure:3678: checking whether g++ supports C++11 features by default
configure:3972: g++ -c -g -O2 conftest.cpp >&5
conftest.cpp:22:2: error: #error "This is not a C++11 compiler"
#error "This is not a C++11 compiler"
^
configure:3972: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| /* end confdefs.h. */
|
|
| // If the compiler admits that it is not ready for C++11, why torture it?
| // Hopefully, this will speed up the test.
|
| #ifndef __cplusplus
|
| #error "This is not a C++ compiler"
|
| #elif __cplusplus < 201103L
|
| #error "This is not a C++11 compiler"
|
| #else
|
| namespace cxx11
| {
|
| namespace test_static_assert
| {
|
| template <typename T>
| struct check
| {
| static_assert(sizeof(int) <= sizeof(T), "not big enough");
| };
|
| }
|
| namespace test_final_override
| {
|
| struct Base
| {
| virtual void f() {}
| };
|
| struct Derived : public Base
| {
| virtual void f() override {}
| };
|
| }
|
| namespace test_double_right_angle_brackets
| {
|
| template < typename T >
| struct check {};
|
| typedef check<void> single_type;
| typedef check<check<void>> double_type;
| typedef check<check<check<void>>> triple_type;
| typedef check<check<check<check<void>>>> quadruple_type;
|
| }
|
| namespace test_decltype
| {
|
| int
| f()
| {
| int a = 1;
| decltype(a) b = 2;
| return a + b;
| }
|
| }
|
| namespace test_type_deduction
| {
|
| template < typename T1, typename T2 >
| struct is_same
| {
| static const bool value = false;
| };
|
| template < typename T >
| struct is_same<T, T>
| {
| static const bool value = true;
| };
|
| template < typename T1, typename T2 >
| auto
| add(T1 a1, T2 a2) -> decltype(a1 + a2)
| {
| return a1 + a2;
| }
|
| int
| test(const int c, volatile int v)
| {
| static_assert(is_same<int, decltype(0)>::value == true, "");
| static_assert(is_same<int, decltype(c)>::value == false, "");
| static_assert(is_same<int, decltype(v)>::value == false, "");
| auto ac = c;
| auto av = v;
| auto sumi = ac + av + 'x';
| auto sumf = ac + av + 1.0;
| static_assert(is_same<int, decltype(ac)>::value == true, "");
| static_assert(is_same<int, decltype(av)>::value == true, "");
| static_assert(is_same<int, decltype(sumi)>::value == true, "");
| static_assert(is_same<int, decltype(sumf)>::value == false, "");
| static_assert(is_same<int, decltype(add(c, v))>::value == true, "");
| return (sumf > 0.0) ? sumi : add(c, v);
| }
|
| }
|
| namespace test_noexcept
| {
|
| int f() { return 0; }
| int g() noexcept { return 0; }
|
| static_assert(noexcept(f()) == false, "");
| static_assert(noexcept(g()) == true, "");
|
| }
|
| namespace test_constexpr
| {
|
| template < typename CharT >
| unsigned long constexpr
| strlen_c_r(const CharT *const s, const unsigned long acc) noexcept
| {
| return *s ? strlen_c_r(s + 1, acc + 1) : acc;
| }
|
| template < typename CharT >
| unsigned long constexpr
| strlen_c(const CharT *const s) noexcept
| {
| return strlen_c_r(s, 0UL);
| }
|
| static_assert(strlen_c("") == 0UL, "");
| static_assert(strlen_c("1") == 1UL, "");
| static_assert(strlen_c("example") == 7UL, "");
| static_assert(strlen_c("another\0example") == 7UL, "");
|
| }
|
| namespace test_rvalue_references
| {
|
| template < int N >
| struct answer
| {
| static constexpr int value = N;
| };
|
| answer<1> f(int&) { return answer<1>(); }
| answer<2> f(const int&) { return answer<2>(); }
| answer<3> f(int&&) { return answer<3>(); }
|
| void
| test()
| {
| int i = 0;
| const int c = 0;
| static_assert(decltype(f(i))::value == 1, "");
| static_assert(decltype(f(c))::value == 2, "");
| static_assert(decltype(f(0))::value == 3, "");
| }
|
| }
|
| namespace test_uniform_initialization
| {
|
| struct test
| {
| static const int zero {};
| static const int one {1};
| };
|
| static_assert(test::zero == 0, "");
| static_assert(test::one == 1, "");
|
| }
|
| namespace test_lambdas
| {
|
| void
| test1()
| {
| auto lambda1 = [](){};
| auto lambda2 = lambda1;
| lambda1();
| lambda2();
| }
|
| int
| test2()
| {
| auto a = [](int i, int j){ return i + j; }(1, 2);
| auto b = []() -> int { return '0'; }();
| auto c = [=](){ return a + b; }();
| auto d = [&](){ return c; }();
| auto e = [a, &b](int x) mutable {
| const auto identity = [](int y){ return y; };
| for (auto i = 0; i < a; ++i)
| a += b--;
| return x + identity(a + b);
| }(0);
| return a + b + c + d + e;
| }
|
| int
| test3()
| {
| const auto nullary = [](){ return 0; };
| const auto unary = [](int x){ return x; };
| using nullary_t = decltype(nullary);
| using unary_t = decltype(unary);
| const auto higher1st = [](nullary_t f){ return f(); };
| const auto higher2nd = [unary](nullary_t f1){
| return [unary, f1](unary_t f2){ return f2(unary(f1())); };
| };
| return higher1st(nullary) + higher2nd(nullary)(unary);
| }
|
| }
|
| namespace test_variadic_templates
| {
|
| template <int...>
| struct sum;
|
| template <int N0, int... N1toN>
| struct sum<N0, N1toN...>
| {
| static constexpr auto value = N0 + sum<N1toN...>::value;
| };
|
| template <>
| struct sum<>
| {
| static constexpr auto value = 0;
| };
|
| static_assert(sum<>::value == 0, "");
| static_assert(sum<1>::value == 1, "");
| static_assert(sum<23>::value == 23, "");
| static_assert(sum<1, 2>::value == 3, "");
| static_assert(sum<5, 5, 11>::value == 21, "");
| static_assert(sum<2, 3, 5, 7, 11, 13>::value == 41, "");
|
| }
|
| // http://stackoverflow.com/questions/13728184/template-aliases-and-sfinae
| // Clang 3.1 fails with headers of libstd++ 4.8.3 when using std::function
| // because of this.
| namespace test_template_alias_sfinae
| {
|
| struct foo {};
|
| template<typename T>
| using member = typename T::member_type;
|
| template<typename T>
| void func(...) {}
|
| template<typename T>
| void func(member<T>*) {}
|
| void test();
|
| void test() { func<foo>(0); }
|
| }
|
| } // namespace cxx11
|
| #endif // __cplusplus >= 201103L
|
|
|
configure:3979: result: no
configure:3988: checking whether g++ supports C++11 features with -std=gnu++11
configure:4284: g++ -std=gnu++11 -c -g -O2 conftest.cpp >&5
configure:4284: $? = 0
configure:4293: result: yes
configure:5089: checking build system type
configure:5103: result: x86_64-pc-linux-gnu
configure:5123: checking host system type
configure:5136: result: x86_64-pc-linux-gnu
configure:5177: checking how to print strings
configure:5204: result: printf
configure:5273: checking for gcc
configure:5289: found /usr/bin/gcc
configure:5300: result: gcc
configure:5529: checking for C compiler version
configure:5538: gcc --version >&5
gcc (Ubuntu 5.4.0-6ubuntu1~16.04.5) 5.4.0 20160609
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:5549: $? = 0
configure:5538: 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.4.0-6ubuntu1~16.04.5' --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.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.5)
configure:5549: $? = 0
configure:5538: gcc -V >&5
gcc: error: unrecognized command line option '-V'
gcc: fatal error: no input files
compilation terminated.
configure:5549: $? = 1
configure:5538: gcc -qversion >&5
gcc: error: unrecognized command line option '-qversion'
gcc: fatal error: no input files
compilation terminated.
configure:5549: $? = 1
configure:5553: checking whether we are using the GNU C compiler
configure:5572: gcc -c conftest.c >&5
configure:5572: $? = 0
configure:5581: result: yes
configure:5590: checking whether gcc accepts -g
configure:5610: gcc -c -g conftest.c >&5
configure:5610: $? = 0
configure:5651: result: yes
configure:5668: checking for gcc option to accept ISO C89
configure:5731: gcc -c -g -O2 conftest.c >&5
configure:5731: $? = 0
configure:5744: result: none needed
configure:5769: checking whether gcc understands -c and -o together
configure:5791: gcc -c conftest.c -o conftest2.o
configure:5794: $? = 0
configure:5791: gcc -c conftest.c -o conftest2.o
configure:5794: $? = 0
configure:5806: result: yes
configure:5825: checking dependency style of gcc
configure:5936: result: gcc3
configure:5951: checking for a sed that does not truncate output
configure:6015: result: /bin/sed
configure:6033: checking for grep that handles long lines and -e
configure:6091: result: /bin/grep
configure:6096: checking for egrep
configure:6158: result: /bin/grep -E
configure:6163: checking for fgrep
configure:6225: result: /bin/grep -F
configure:6260: checking for ld used by gcc
configure:6327: result: /usr/bin/ld
configure:6334: checking if the linker (/usr/bin/ld) is GNU ld
configure:6349: result: yes
configure:6361: checking for BSD- or MS-compatible name lister (nm)
configure:6415: result: /usr/bin/nm -B
configure:6545: checking the name lister (/usr/bin/nm -B) interface
configure:6552: gcc -c -g -O2 conftest.c >&5
configure:6555: /usr/bin/nm -B "conftest.o"
configure:6558: output
0000000000000000 B some_variable
configure:6565: result: BSD nm
configure:6568: checking whether ln -s works
configure:6572: result: yes
configure:6580: checking the maximum length of command line arguments
configure:6711: result: 1572864
configure:6759: checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format
configure:6799: result: func_convert_file_noop
configure:6806: checking how to convert x86_64-pc-linux-gnu file names to toolchain format
configure:6826: result: func_convert_file_noop
configure:6833: checking for /usr/bin/ld option to reload object files
configure:6840: result: -r
configure:6914: checking for objdump
configure:6930: found /usr/bin/objdump
configure:6941: result: objdump
configure:6973: checking how to recognize dependent libraries
configure:7173: result: pass_all
configure:7258: checking for dlltool
configure:7288: result: no
configure:7318: checking how to associate runtime and link libraries
configure:7345: result: printf %s\n
configure:7406: checking for ar
configure:7422: found /usr/bin/ar
configure:7433: result: ar
configure:7470: checking for archiver @FILE support
configure:7487: gcc -c -g -O2 conftest.c >&5
configure:7487: $? = 0
configure:7490: ar cru libconftest.a @conftest.lst >&5
ar: `u' modifier ignored since `D' is the default (see `U')
configure:7493: $? = 0
configure:7498: ar cru libconftest.a @conftest.lst >&5
ar: `u' modifier ignored since `D' is the default (see `U')
ar: conftest.o: No such file or directory
configure:7501: $? = 1
configure:7513: result: @
configure:7571: checking for strip
configure:7587: found /usr/bin/strip
configure:7598: result: strip
configure:7670: checking for ranlib
configure:7686: found /usr/bin/ranlib
configure:7697: result: ranlib
configure:7799: checking command to parse /usr/bin/nm -B output from gcc object
configure:7952: gcc -c -g -O2 conftest.c >&5
configure:7955: $? = 0
configure:7959: /usr/bin/nm -B conftest.o \| sed -n -e 's/^.*[ ]\([ABCDGIRSTW][ABCDGIRSTW]*\)[ ][ ]*\([_A-Za-z][_A-Za-z0-9]*\)$/\1 \2 \2/p' | sed '/ __gnu_lto/d' \> conftest.nm
configure:7962: $? = 0
configure:8028: gcc -o conftest -g -O2 conftest.c conftstm.o >&5
configure:8031: $? = 0
configure:8069: result: ok
configure:8116: checking for sysroot
configure:8146: result: no
configure:8153: checking for a working dd
configure:8191: result: /bin/dd
configure:8195: checking how to truncate binary pipes
configure:8210: result: /bin/dd bs=4096 count=1
configure:8346: gcc -c -g -O2 conftest.c >&5
configure:8349: $? = 0
configure:8539: checking for mt
configure:8555: found /bin/mt
configure:8566: result: mt
configure:8589: checking if mt is a manifest tool
configure:8595: mt '-?'
configure:8603: result: no
configure:9280: checking how to run the C preprocessor
configure:9311: gcc -E conftest.c
configure:9311: $? = 0
configure:9325: gcc -E conftest.c
conftest.c:12:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:9325: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 1
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:9350: result: gcc -E
configure:9370: gcc -E conftest.c
configure:9370: $? = 0
configure:9384: gcc -E conftest.c
conftest.c:12:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:9384: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 1
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:9413: checking for ANSI C header files
configure:9433: gcc -c -g -O2 conftest.c >&5
configure:9433: $? = 0
configure:9506: gcc -o conftest -g -O2 conftest.c >&5
configure:9506: $? = 0
configure:9506: ./conftest
configure:9506: $? = 0
configure:9517: result: yes
configure:9530: checking for sys/types.h
configure:9530: gcc -c -g -O2 conftest.c >&5
configure:9530: $? = 0
configure:9530: result: yes
configure:9530: checking for sys/stat.h
configure:9530: gcc -c -g -O2 conftest.c >&5
configure:9530: $? = 0
configure:9530: result: yes
configure:9530: checking for stdlib.h
configure:9530: gcc -c -g -O2 conftest.c >&5
configure:9530: $? = 0
configure:9530: result: yes
configure:9530: checking for string.h
configure:9530: gcc -c -g -O2 conftest.c >&5
configure:9530: $? = 0
configure:9530: result: yes
configure:9530: checking for memory.h
configure:9530: gcc -c -g -O2 conftest.c >&5
configure:9530: $? = 0
configure:9530: result: yes
configure:9530: checking for strings.h
configure:9530: gcc -c -g -O2 conftest.c >&5
configure:9530: $? = 0
configure:9530: result: yes
configure:9530: checking for inttypes.h
configure:9530: gcc -c -g -O2 conftest.c >&5
configure:9530: $? = 0
configure:9530: result: yes
configure:9530: checking for stdint.h
configure:9530: gcc -c -g -O2 conftest.c >&5
configure:9530: $? = 0
configure:9530: result: yes
configure:9530: checking for unistd.h
configure:9530: gcc -c -g -O2 conftest.c >&5
configure:9530: $? = 0
configure:9530: result: yes
configure:9544: checking for dlfcn.h
configure:9544: gcc -c -g -O2 conftest.c >&5
configure:9544: $? = 0
configure:9544: result: yes
configure:9810: checking for objdir
configure:9825: result: .libs
configure:10089: checking if gcc supports -fno-rtti -fno-exceptions
configure:10107: gcc -c -g -O2 -fno-rtti -fno-exceptions conftest.c >&5
cc1: warning: command line option '-fno-rtti' is valid for C++/ObjC++ but not for C
configure:10111: $? = 0
configure:10124: result: no
configure:10482: checking for gcc option to produce PIC
configure:10489: result: -fPIC -DPIC
configure:10497: checking if gcc PIC flag -fPIC -DPIC works
configure:10515: gcc -c -g -O2 -fPIC -DPIC -DPIC conftest.c >&5
configure:10519: $? = 0
configure:10532: result: yes
configure:10561: checking if gcc static flag -static works
configure:10589: result: yes
configure:10604: checking if gcc supports -c -o file.o
configure:10625: gcc -c -g -O2 -o out/conftest2.o conftest.c >&5
configure:10629: $? = 0
configure:10651: result: yes
configure:10659: checking if gcc supports -c -o file.o
configure:10706: result: yes
configure:10739: checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries
configure:12002: result: yes
configure:12039: checking whether -lc should be explicitly linked in
configure:12047: gcc -c -g -O2 conftest.c >&5
configure:12050: $? = 0
configure:12065: gcc -shared -fPIC -DPIC conftest.o -v -Wl,-soname -Wl,conftest -o conftest 2\>\&1 \| /bin/grep -lc \>/dev/null 2\>\&1
configure:12068: $? = 0
configure:12082: result: no
configure:12242: checking dynamic linker characteristics
configure:12823: gcc -o conftest -g -O2 -Wl,-rpath -Wl,/foo conftest.c >&5
configure:12823: $? = 0
configure:13072: result: GNU/Linux ld.so
configure:13194: checking how to hardcode library paths into programs
configure:13219: result: immediate
configure:13767: checking whether stripping libraries is possible
configure:13772: result: yes
configure:13807: checking if libtool supports shared libraries
configure:13809: result: yes
configure:13812: checking whether to build shared libraries
configure:13837: result: yes
configure:13840: checking whether to build static libraries
configure:13844: result: yes
configure:13867: checking how to run the C++ preprocessor
configure:13894: g++ -std=gnu++11 -E conftest.cpp
configure:13894: $? = 0
configure:13908: g++ -std=gnu++11 -E conftest.cpp
conftest.cpp:24:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:13908: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:13933: result: g++ -std=gnu++11 -E
configure:13953: g++ -std=gnu++11 -E conftest.cpp
configure:13953: $? = 0
configure:13967: g++ -std=gnu++11 -E conftest.cpp
conftest.cpp:24:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:13967: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:14129: checking for ld used by g++ -std=gnu++11
configure:14196: result: /usr/bin/ld -m elf_x86_64
configure:14203: checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld
configure:14218: result: yes
configure:14273: checking whether the g++ -std=gnu++11 linker (/usr/bin/ld -m elf_x86_64) supports shared libraries
configure:15346: result: yes
configure:15382: g++ -std=gnu++11 -c -g -O2 conftest.cpp >&5
configure:15385: $? = 0
configure:15866: checking for g++ -std=gnu++11 option to produce PIC
configure:15873: result: -fPIC -DPIC
configure:15881: checking if g++ -std=gnu++11 PIC flag -fPIC -DPIC works
configure:15899: g++ -std=gnu++11 -c -g -O2 -fPIC -DPIC -DPIC conftest.cpp >&5
configure:15903: $? = 0
configure:15916: result: yes
configure:15939: checking if g++ -std=gnu++11 static flag -static works
configure:15967: result: yes
configure:15979: checking if g++ -std=gnu++11 supports -c -o file.o
configure:16000: g++ -std=gnu++11 -c -g -O2 -o out/conftest2.o conftest.cpp >&5
configure:16004: $? = 0
configure:16026: result: yes
configure:16031: checking if g++ -std=gnu++11 supports -c -o file.o
configure:16078: result: yes
configure:16108: checking whether the g++ -std=gnu++11 linker (/usr/bin/ld -m elf_x86_64) supports shared libraries
configure:16151: result: yes
configure:16292: checking dynamic linker characteristics
configure:17049: result: GNU/Linux ld.so
configure:17114: checking how to hardcode library paths into programs
configure:17139: result: immediate
configure:17216: checking whether GMP C++ library is available
configure:17233: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lgmpxx -lgmp >&5
configure:17233: $? = 0
configure:17234: result: yes
configure:17254: checking for OpenMP flag of C++ compiler
configure:17296: g++ -std=gnu++11 -o conftest -g -O2 -fopenmp -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp >&5
configure:17296: $? = 0
configure:17305: result: -fopenmp
configure:17402: checking whether SCIP headers and library are available
configure:17439: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lscip >&5
conftest.cpp:24:23: fatal error: scip/scip.h: No such file or directory
compilation terminated.
configure:17439: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <scip/scip.h>
|
| int
| main ()
| {
| SCIP* scip = NULL;
| SCIPcreate(& scip);
| return 0;
|
| ;
| return 0;
| }
configure:17439: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lscipopt -lgmp -lz -lreadline >&5
conftest.cpp:24:23: fatal error: scip/scip.h: No such file or directory
compilation terminated.
configure:17439: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <scip/scip.h>
|
| int
| main ()
| {
| SCIP* scip = NULL;
| SCIPcreate(& scip);
| return 0;
|
| ;
| return 0;
| }
configure:17439: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lscipopt -lz -lreadline >&5
conftest.cpp:24:23: fatal error: scip/scip.h: No such file or directory
compilation terminated.
configure:17439: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <scip/scip.h>
|
| int
| main ()
| {
| SCIP* scip = NULL;
| SCIPcreate(& scip);
| return 0;
|
| ;
| return 0;
| }
configure:17439: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lscipopt -lgmp -lz >&5
conftest.cpp:24:23: fatal error: scip/scip.h: No such file or directory
compilation terminated.
configure:17439: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <scip/scip.h>
|
| int
| main ()
| {
| SCIP* scip = NULL;
| SCIPcreate(& scip);
| return 0;
|
| ;
| return 0;
| }
configure:17439: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lscipopt -lz >&5
conftest.cpp:24:23: fatal error: scip/scip.h: No such file or directory
compilation terminated.
configure:17439: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <scip/scip.h>
|
| int
| main ()
| {
| SCIP* scip = NULL;
| SCIPcreate(& scip);
| return 0;
|
| ;
| return 0;
| }
configure:17439: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lscipopt -lgmp -lreadline >&5
conftest.cpp:24:23: fatal error: scip/scip.h: No such file or directory
compilation terminated.
configure:17439: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <scip/scip.h>
|
| int
| main ()
| {
| SCIP* scip = NULL;
| SCIPcreate(& scip);
| return 0;
|
| ;
| return 0;
| }
configure:17439: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lscipopt -lreadline >&5
conftest.cpp:24:23: fatal error: scip/scip.h: No such file or directory
compilation terminated.
configure:17439: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <scip/scip.h>
|
| int
| main ()
| {
| SCIP* scip = NULL;
| SCIPcreate(& scip);
| return 0;
|
| ;
| return 0;
| }
configure:17439: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lscipopt -lgmp >&5
conftest.cpp:24:23: fatal error: scip/scip.h: No such file or directory
compilation terminated.
configure:17439: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <scip/scip.h>
|
| int
| main ()
| {
| SCIP* scip = NULL;
| SCIPcreate(& scip);
| return 0;
|
| ;
| return 0;
| }
configure:17439: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lscipopt >&5
conftest.cpp:24:23: fatal error: scip/scip.h: No such file or directory
compilation terminated.
configure:17439: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <scip/scip.h>
|
| int
| main ()
| {
| SCIP* scip = NULL;
| SCIPcreate(& scip);
| return 0;
|
| ;
| return 0;
| }
configure:17439: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lscip -lnlpi.cppad -llpispx -lsoplex -lgmp -lz -lreadline >&5
conftest.cpp:24:23: fatal error: scip/scip.h: No such file or directory
compilation terminated.
configure:17439: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <scip/scip.h>
|
| int
| main ()
| {
| SCIP* scip = NULL;
| SCIPcreate(& scip);
| return 0;
|
| ;
| return 0;
| }
configure:17455: result: no
configure:17467: Cone decomposition with SCIP integer programming solver will not be available because the SCIP library was not found
configure:17505: checking whether CoCoALib headers and library are available
configure:17524: g++ -std=gnu++11 -o conftest -g -O2 -I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include -L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib conftest.cpp -lcocoa -lgmp >&5
conftest.cpp:24:27: fatal error: CoCoA/library.H: No such file or directory
compilation terminated.
configure:17524: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "Normaliz"
| #define PACKAGE_TARNAME "normaliz"
| #define PACKAGE_VERSION "3.4.0"
| #define PACKAGE_STRING "Normaliz 3.4.0"
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define PACKAGE "normaliz"
| #define VERSION "3.4.0"
| #define HAVE_CXX11 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_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include "CoCoA/library.H"
| using namespace CoCoA;
|
| int
| main ()
| {
| GlobalManager CoCoAFoundations;
|
| ;
| return 0;
| }
configure:17531: result: no
configure:17543: nmzIntegrate will not be built because CoCoALib was not found
configure:17710: checking that generated files are newer than configure
configure:17716: result: done
configure:17755: creating ./config.status
## ---------------------- ##
## Running config.status. ##
## ---------------------- ##
This file was extended by Normaliz config.status 3.4.0, which was
generated by GNU Autoconf 2.69. Invocation command line was
CONFIG_FILES =
CONFIG_HEADERS =
CONFIG_LINKS =
CONFIG_COMMANDS =
$ ./config.status
on project-acf3855b-c4e1-46dc-b895-ec496577848b
config.status:1099: creating Makefile
config.status:1099: creating source/Makefile
config.status:1099: creating Qsource/Makefile
config.status:1099: creating source/libnormaliz/version.h
config.status:1099: creating Qsource/libQnormaliz/Qversion.h
config.status:1099: creating example/Makefile
config.status:1099: creating Qexample/Makefile
config.status:1099: creating test/Makefile
config.status:1099: creating Qtest/Makefile
config.status:1271: executing depfiles commands
config.status:1271: executing libtool commands
## ---------------- ##
## Cache variables. ##
## ---------------- ##
ac_cv_build=x86_64-pc-linux-gnu
ac_cv_c_compiler_gnu=yes
ac_cv_cxx_compiler_gnu=yes
ac_cv_env_CCC_set=
ac_cv_env_CCC_value=
ac_cv_env_CC_set=
ac_cv_env_CC_value=
ac_cv_env_CFLAGS_set=
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_LT_SYS_LIBRARY_PATH_set=
ac_cv_env_LT_SYS_LIBRARY_PATH_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_dlfcn_h=yes
ac_cv_header_inttypes_h=yes
ac_cv_header_memory_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_stat_h=yes
ac_cv_header_sys_types_h=yes
ac_cv_header_unistd_h=yes
ac_cv_host=x86_64-pc-linux-gnu
ac_cv_objext=o
ac_cv_path_EGREP='/bin/grep -E'
ac_cv_path_FGREP='/bin/grep -F'
ac_cv_path_GREP=/bin/grep
ac_cv_path_SED=/bin/sed
ac_cv_path_install='/usr/bin/install -c'
ac_cv_path_lt_DD=/bin/dd
ac_cv_path_mkdir=/bin/mkdir
ac_cv_prog_AWK=gawk
ac_cv_prog_CPP='gcc -E'
ac_cv_prog_CXXCPP='g++ -std=gnu++11 -E'
ac_cv_prog_ac_ct_AR=ar
ac_cv_prog_ac_ct_CC=gcc
ac_cv_prog_ac_ct_CXX=g++
ac_cv_prog_ac_ct_MANIFEST_TOOL=mt
ac_cv_prog_ac_ct_OBJDUMP=objdump
ac_cv_prog_ac_ct_RANLIB=ranlib
ac_cv_prog_ac_ct_STRIP=strip
ac_cv_prog_cc_c89=
ac_cv_prog_cc_g=yes
ac_cv_prog_cxx_g=yes
ac_cv_prog_make_make_set=yes
am_cv_CC_dependencies_compiler_type=gcc3
am_cv_CXX_dependencies_compiler_type=gcc3
am_cv_make_support_nested_variables=yes
am_cv_prog_cc_c_o=yes
ax_cv_cxx_compile_cxx11=no
ax_cv_cxx_compile_cxx11__std_gnupp11=yes
ax_cv_cxx_openmp=-fopenmp
lt_cv_ar_at_file=@
lt_cv_archive_cmds_need_lc=no
lt_cv_deplibs_check_method=pass_all
lt_cv_file_magic_cmd='$MAGIC_CMD'
lt_cv_file_magic_test_file=
lt_cv_ld_reload_flag=-r
lt_cv_nm_interface='BSD nm'
lt_cv_objdir=.libs
lt_cv_path_LD=/usr/bin/ld
lt_cv_path_LDCXX='/usr/bin/ld -m elf_x86_64'
lt_cv_path_NM='/usr/bin/nm -B'
lt_cv_path_mainfest_tool=no
lt_cv_prog_compiler_c_o=yes
lt_cv_prog_compiler_c_o_CXX=yes
lt_cv_prog_compiler_pic='-fPIC -DPIC'
lt_cv_prog_compiler_pic_CXX='-fPIC -DPIC'
lt_cv_prog_compiler_pic_works=yes
lt_cv_prog_compiler_pic_works_CXX=yes
lt_cv_prog_compiler_rtti_exceptions=no
lt_cv_prog_compiler_static_works=yes
lt_cv_prog_compiler_static_works_CXX=yes
lt_cv_prog_gnu_ld=yes
lt_cv_prog_gnu_ldcxx=yes
lt_cv_sharedlib_from_linklib_cmd='printf %s\n'
lt_cv_shlibpath_overrides_runpath=no
lt_cv_sys_global_symbol_pipe='sed -n -e '\''s/^.*[ ]\([ABCDGIRSTW][ABCDGIRSTW]*\)[ ][ ]*\([_A-Za-z][_A-Za-z0-9]*\)$/\1 \2 \2/p'\'' | sed '\''/ __gnu_lto/d'\'''
lt_cv_sys_global_symbol_to_c_name_address='sed -n -e '\''s/^: \(.*\) .*$/ {"\1", (void *) 0},/p'\'' -e '\''s/^[ABCDGIRSTW][ABCDGIRSTW]* .* \(.*\)$/ {"\1", (void *) \&\1},/p'\'''
lt_cv_sys_global_symbol_to_c_name_address_lib_prefix='sed -n -e '\''s/^: \(.*\) .*$/ {"\1", (void *) 0},/p'\'' -e '\''s/^[ABCDGIRSTW][ABCDGIRSTW]* .* \(lib.*\)$/ {"\1", (void *) \&\1},/p'\'' -e '\''s/^[ABCDGIRSTW][ABCDGIRSTW]* .* \(.*\)$/ {"lib\1", (void *) \&\1},/p'\'''
lt_cv_sys_global_symbol_to_cdecl='sed -n -e '\''s/^T .* \(.*\)$/extern int \1();/p'\'' -e '\''s/^[ABCDGIRSTW][ABCDGIRSTW]* .* \(.*\)$/extern char \1;/p'\'''
lt_cv_sys_global_symbol_to_import=
lt_cv_sys_max_cmd_len=1572864
lt_cv_to_host_file_cmd=func_convert_file_noop
lt_cv_to_tool_file_cmd=func_convert_file_noop
lt_cv_truncate_bin='/bin/dd bs=4096 count=1'
## ----------------- ##
## Output variables. ##
## ----------------- ##
ACLOCAL='${SHELL} /home/user/gap4r8/pkg/NormalizInterface-1.0.2/Normaliz.git/missing aclocal-1.15'
AMDEPBACKSLASH='\'
AMDEP_FALSE='#'
AMDEP_TRUE=''
AMTAR='$${TAR-tar}'
AM_BACKSLASH='\'
AM_DEFAULT_V='$(AM_DEFAULT_VERBOSITY)'
AM_DEFAULT_VERBOSITY='1'
AM_V='$(V)'
AR='ar'
AUTOCONF='${SHELL} /home/user/gap4r8/pkg/NormalizInterface-1.0.2/Normaliz.git/missing autoconf'
AUTOHEADER='${SHELL} /home/user/gap4r8/pkg/NormalizInterface-1.0.2/Normaliz.git/missing autoheader'
AUTOMAKE='${SHELL} /home/user/gap4r8/pkg/NormalizInterface-1.0.2/Normaliz.git/missing automake-1.15'
AWK='gawk'
CC='gcc'
CCDEPMODE='depmode=gcc3'
CFLAGS='-g -O2'
COCOA_CPPFLAGS=''
COCOA_LIBS='-lcocoa -lgmp'
CPP='gcc -E'
CPPFLAGS='-I /home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include '
CXX='g++ -std=gnu++11'
CXXCPP='g++ -std=gnu++11 -E'
CXXDEPMODE='depmode=gcc3'
CXXFLAGS='-g -O2'
CYGPATH_W='echo'
DEFS='-DPACKAGE_NAME=\"Normaliz\" -DPACKAGE_TARNAME=\"normaliz\" -DPACKAGE_VERSION=\"3.4.0\" -DPACKAGE_STRING=\"Normaliz\ 3.4.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"normaliz\" -DVERSION=\"3.4.0\" -DHAVE_CXX11=1 -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\"'
DEPDIR='.deps'
DLLTOOL='false'
DSYMUTIL=''
DUMPBIN=''
ECHO_C=''
ECHO_N='-n'
ECHO_T=''
EGREP='/bin/grep -E'
ENABLE_OPENMP_FALSE='#'
ENABLE_OPENMP_TRUE=''
EXEEXT=''
FGREP='/bin/grep -F'
GREP='/bin/grep'
HAVE_CXX0x=''
HAVE_CXX11='1'
INSTALL_DATA='${INSTALL} -m 644'
INSTALL_PROGRAM='${INSTALL}'
INSTALL_SCRIPT='${INSTALL}'
INSTALL_STRIP_PROGRAM='$(install_sh) -c -s'
LD='/usr/bin/ld -m elf_x86_64'
LDFLAGS='-L/home/user/gap4r8/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/lib '
LIBNORMALIZ_VERSION_MAJOR='3'
LIBNORMALIZ_VERSION_MINOR='4'
LIBNORMALIZ_VERSION_PATCH='0'
LIBNORMALIZ_VERSION_STRING='3.4.0'
LIBOBJS=''
LIBQNORMALIZ_VERSION_MAJOR='3'
LIBQNORMALIZ_VERSION_MINOR='2'
LIBQNORMALIZ_VERSION_PATCH='1'
LIBQNORMALIZ_VERSION_STRING='3.4.0'
LIBS=''
LIBTOOL='$(SHELL) $(top_builddir)/libtool'
LIPO=''
LN_S='ln -s'
LTLIBOBJS=''
LT_SYS_LIBRARY_PATH=''
MAKEINFO='${SHELL} /home/user/gap4r8/pkg/NormalizInterface-1.0.2/Normaliz.git/missing makeinfo'
MANIFEST_TOOL=':'
MKDIR_P='/bin/mkdir -p'
NM='/usr/bin/nm -B'
NMEDIT=''
NMZ_INTEGRATE_FALSE=''
NMZ_INTEGRATE_TRUE='#'
NMZ_SCIP_FALSE=''
NMZ_SCIP_TRUE='#'
OBJDUMP='objdump'
OBJEXT='o'
OPENMP_CXXFLAGS='-fopenmp'
OTOOL64=''
OTOOL=''
PACKAGE='normaliz'
PACKAGE_BUGREPORT=''
PACKAGE_NAME='Normaliz'
PACKAGE_STRING='Normaliz 3.4.0'
PACKAGE_TARNAME='normaliz'
PACKAGE_URL=''
PACKAGE_VERSION='3.4.0'
PATH_SEPARATOR=':'
RANLIB='ranlib'
SCIP_CXXFLAGS=''
SCIP_LIBS='-lscip -lnlpi.cppad -llpispx -lsoplex -lgmp -lz -lreadline'
SED='/bin/sed'
SET_MAKE=''
SHELL='/bin/sh'
STRIP='strip'
VERSION='3.4.0'
ac_ct_AR='ar'
ac_ct_CC='gcc'
ac_ct_CXX='g++'
ac_ct_DUMPBIN=''
am__EXEEXT_FALSE=''
am__EXEEXT_TRUE='#'
am__fastdepCC_FALSE='#'
am__fastdepCC_TRUE=''
am__fastdepCXX_FALSE='#'
am__fastdepCXX_TRUE=''
am__include='include'
am__isrc=''
am__leading_dot='.'
am__nodep='_no'
am__quote=''
am__tar='$${TAR-tar} chof - "$$tardir"'
am__untar='$${TAR-tar} xf -'
bindir='${exec_prefix}/bin'
build='x86_64-pc-linux-gnu'
build_alias=''
build_cpu='x86_64'
build_os='linux-gnu'
build_vendor='pc'
datadir='${datarootdir}'
datarootdir='${prefix}/share'
docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
dvidir='${docdir}'
exec_prefix='${prefix}'
host='x86_64-pc-linux-gnu'
host_alias=''
host_cpu='x86_64'
host_os='linux-gnu'
host_vendor='pc'
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
install_sh='${SHELL} /home/user/gap4r8/pkg/NormalizInterface-1.0.2/Normaliz.git/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='/home/user/gap4r8/pkg/NormalizInterface-1.0.2/Normaliz.git/DST'
program_transform_name='s,x,x,'
psdir='${docdir}'
runstatedir='${localstatedir}/run'
sbindir='${exec_prefix}/sbin'
sharedstatedir='${prefix}/com'
sysconfdir='${prefix}/etc'
target_alias=''
## ----------- ##
## confdefs.h. ##
## ----------- ##
/* confdefs.h */
#define PACKAGE_NAME "Normaliz"
#define PACKAGE_TARNAME "normaliz"
#define PACKAGE_VERSION "3.4.0"
#define PACKAGE_STRING "Normaliz 3.4.0"
#define PACKAGE_BUGREPORT ""
#define PACKAGE_URL ""
#define PACKAGE "normaliz"
#define VERSION "3.4.0"
#define HAVE_CXX11 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_DLFCN_H 1
#define LT_OBJDIR ".libs/"
configure: exit 0