search

ibex-team / ibex-lib

IBEX is a C++ library for constraint processing over real numbers.
http://ibex-team.github.io/ibex-lib/
GNU Lesser General Public License v3.0
67 stars 51 forks source link

failed to make gaol-4.2.0 (['/usr/bin/make', '-j4']) #483

Closed VincentDuf closed 3 years ago

VincentDuf commented 3 years ago

Bonjour,

j'essaie d'installer la librairie mais quelque soit la version je rencontre toujours cette même erreur au moment d'exécuter la commande "./waf configure --lp-lib=soplex" : 

Starting installation of gaol-4.2.0 
Extracting gaol-4.2.0.tar.gz                     : done 
Checking for program 'make'                      : /usr/bin/make 
Applying patch                                   : gaol-4.2.0.all.all.patch 
Calling configure                                : done 
Calling make                                     : failed 
Command ['/usr/bin/make', '-j4'] returned 2
failed to make gaol-4.2.0 (['/usr/bin/make', '-j4'])

Est-ce qu'il y a un moyen de résoudre cette erreur ?

Merci

gchabert commented 3 years ago

Bonjour, Pouvez-vous publier le fichier __build__/config.log ? (généré dans le répertoire d'ibex) Gilles

VincentDuf commented 3 years ago

Bonjour, le voici:

# project ibex-lib (2.8.9) configured on Thu Dec  3 16:57:21 2020 by
# waf 2.0.12 (abi 20, python 20711f0 on linux2)
# using ./waf configure --lp-lib=soplex
#
----------------------------------------
Setting top to
/home/damien/Ibex/ibex-lib
----------------------------------------
Setting out to
/home/damien/Ibex/ibex-lib/__build__
----------------------------------------
Checking for 'g++' (C++ compiler)
find program=['g++', 'c++'] paths=['/opt/ros/melodic/bin', '/home/damien/bin', '/home/damien/.local/bin', '/usr/local/sbin', '/usr/local/bin', '/usr/sbin', '/usr/bin', '/sbin', '/bin', '/usr/games', '/usr/local/games', '/snap/bin'] var='CXX' -> None
from /home/damien/Ibex/ibex-lib: Could not find the program ['g++', 'c++']
not found
----------------------------------------
Checking for 'clang++' (C++ compiler)
find program=['clang++'] paths=['/opt/ros/melodic/bin', '/home/damien/bin', '/home/damien/.local/bin', '/usr/local/sbin', '/usr/local/bin', '/usr/sbin', '/usr/bin', '/sbin', '/bin', '/usr/games', '/usr/local/games', '/snap/bin'] var='CXX' -> ['/usr/bin/clang++']
['/usr/bin/clang++', '-dM', '-E', '-']
out: #define _LP64 1
#define __ATOMIC_ACQUIRE 2
#define __ATOMIC_ACQ_REL 4
#define __ATOMIC_CONSUME 1
#define __ATOMIC_RELAXED 0
#define __ATOMIC_RELEASE 3
#define __ATOMIC_SEQ_CST 5
#define __BIGGEST_ALIGNMENT__ 16
#define __BYTE_ORDER__ __ORDER_LITTLE_ENDIAN__
#define __CHAR16_TYPE__ unsigned short
#define __CHAR32_TYPE__ unsigned int
#define __CHAR_BIT__ 8
#define __CLANG_ATOMIC_BOOL_LOCK_FREE 2
#define __CLANG_ATOMIC_CHAR16_T_LOCK_FREE 2
#define __CLANG_ATOMIC_CHAR32_T_LOCK_FREE 2
#define __CLANG_ATOMIC_CHAR_LOCK_FREE 2
#define __CLANG_ATOMIC_INT_LOCK_FREE 2
#define __CLANG_ATOMIC_LLONG_LOCK_FREE 2
#define __CLANG_ATOMIC_LONG_LOCK_FREE 2
#define __CLANG_ATOMIC_POINTER_LOCK_FREE 2
#define __CLANG_ATOMIC_SHORT_LOCK_FREE 2
#define __CLANG_ATOMIC_WCHAR_T_LOCK_FREE 2
#define __CONSTANT_CFSTRINGS__ 1
#define __DBL_DECIMAL_DIG__ 17
#define __DBL_DENORM_MIN__ 4.9406564584124654e-324
#define __DBL_DIG__ 15
#define __DBL_EPSILON__ 2.2204460492503131e-16
#define __DBL_HAS_DENORM__ 1
#define __DBL_HAS_INFINITY__ 1
#define __DBL_HAS_QUIET_NAN__ 1
#define __DBL_MANT_DIG__ 53
#define __DBL_MAX_10_EXP__ 308
#define __DBL_MAX_EXP__ 1024
#define __DBL_MAX__ 1.7976931348623157e+308
#define __DBL_MIN_10_EXP__ (-307)
#define __DBL_MIN_EXP__ (-1021)
#define __DBL_MIN__ 2.2250738585072014e-308
#define __DECIMAL_DIG__ __LDBL_DECIMAL_DIG__
#define __ELF__ 1
#define __FINITE_MATH_ONLY__ 0
#define __FLOAT128__ 1
#define __FLT16_DECIMAL_DIG__ 5
#define __FLT16_DENORM_MIN__ 5.9604644775390625e-8F16
#define __FLT16_DIG__ 3
#define __FLT16_EPSILON__ 9.765625e-4F16
#define __FLT16_HAS_DENORM__ 1
#define __FLT16_HAS_INFINITY__ 1
#define __FLT16_HAS_QUIET_NAN__ 1
#define __FLT16_MANT_DIG__ 11
#define __FLT16_MAX_10_EXP__ 4
#define __FLT16_MAX_EXP__ 15
#define __FLT16_MAX__ 6.5504e+4F16
#define __FLT16_MIN_10_EXP__ (-13)
#define __FLT16_MIN_EXP__ (-14)
#define __FLT16_MIN__ 6.103515625e-5F16
#define __FLT_DECIMAL_DIG__ 9
#define __FLT_DENORM_MIN__ 1.40129846e-45F
#define __FLT_DIG__ 6
#define __FLT_EPSILON__ 1.19209290e-7F
#define __FLT_EVAL_METHOD__ 0
#define __FLT_HAS_DENORM__ 1
#define __FLT_HAS_INFINITY__ 1
#define __FLT_HAS_QUIET_NAN__ 1
#define __FLT_MANT_DIG__ 24
#define __FLT_MAX_10_EXP__ 38
#define __FLT_MAX_EXP__ 128
#define __FLT_MAX__ 3.40282347e+38F
#define __FLT_MIN_10_EXP__ (-37)
#define __FLT_MIN_EXP__ (-125)
#define __FLT_MIN__ 1.17549435e-38F
#define __FLT_RADIX__ 2
#define __FXSR__ 1
#define __GCC_ATOMIC_BOOL_LOCK_FREE 2
#define __GCC_ATOMIC_CHAR16_T_LOCK_FREE 2
#define __GCC_ATOMIC_CHAR32_T_LOCK_FREE 2
#define __GCC_ATOMIC_CHAR_LOCK_FREE 2
#define __GCC_ATOMIC_INT_LOCK_FREE 2
#define __GCC_ATOMIC_LLONG_LOCK_FREE 2
#define __GCC_ATOMIC_LONG_LOCK_FREE 2
#define __GCC_ATOMIC_POINTER_LOCK_FREE 2
#define __GCC_ATOMIC_SHORT_LOCK_FREE 2
#define __GCC_ATOMIC_TEST_AND_SET_TRUEVAL 1
#define __GCC_ATOMIC_WCHAR_T_LOCK_FREE 2
#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_1 1
#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_2 1
#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_4 1
#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_8 1
#define __GNUC_MINOR__ 2
#define __GNUC_PATCHLEVEL__ 1
#define __GNUC_STDC_INLINE__ 1
#define __GNUC__ 4
#define __GXX_ABI_VERSION 1002
#define __INT16_C_SUFFIX__ 
#define __INT16_FMTd__ "hd"
#define __INT16_FMTi__ "hi"
#define __INT16_MAX__ 32767
#define __INT16_TYPE__ short
#define __INT32_C_SUFFIX__ 
#define __INT32_FMTd__ "d"
#define __INT32_FMTi__ "i"
#define __INT32_MAX__ 2147483647
#define __INT32_TYPE__ int
#define __INT64_C_SUFFIX__ L
#define __INT64_FMTd__ "ld"
#define __INT64_FMTi__ "li"
#define __INT64_MAX__ 9223372036854775807L
#define __INT64_TYPE__ long int
#define __INT8_C_SUFFIX__ 
#define __INT8_FMTd__ "hhd"
#define __INT8_FMTi__ "hhi"
#define __INT8_MAX__ 127
#define __INT8_TYPE__ signed char
#define __INTMAX_C_SUFFIX__ L
#define __INTMAX_FMTd__ "ld"
#define __INTMAX_FMTi__ "li"
#define __INTMAX_MAX__ 9223372036854775807L
#define __INTMAX_TYPE__ long int
#define __INTMAX_WIDTH__ 64
#define __INTPTR_FMTd__ "ld"
#define __INTPTR_FMTi__ "li"
#define __INTPTR_MAX__ 9223372036854775807L
#define __INTPTR_TYPE__ long int
#define __INTPTR_WIDTH__ 64
#define __INT_FAST16_FMTd__ "hd"
#define __INT_FAST16_FMTi__ "hi"
#define __INT_FAST16_MAX__ 32767
#define __INT_FAST16_TYPE__ short
#define __INT_FAST32_FMTd__ "d"
#define __INT_FAST32_FMTi__ "i"
#define __INT_FAST32_MAX__ 2147483647
#define __INT_FAST32_TYPE__ int
#define __INT_FAST64_FMTd__ "ld"
#define __INT_FAST64_FMTi__ "li"
#define __INT_FAST64_MAX__ 9223372036854775807L
#define __INT_FAST64_TYPE__ long int
#define __INT_FAST8_FMTd__ "hhd"
#define __INT_FAST8_FMTi__ "hhi"
#define __INT_FAST8_MAX__ 127
#define __INT_FAST8_TYPE__ signed char
#define __INT_LEAST16_FMTd__ "hd"
#define __INT_LEAST16_FMTi__ "hi"
#define __INT_LEAST16_MAX__ 32767
#define __INT_LEAST16_TYPE__ short
#define __INT_LEAST32_FMTd__ "d"
#define __INT_LEAST32_FMTi__ "i"
#define __INT_LEAST32_MAX__ 2147483647
#define __INT_LEAST32_TYPE__ int
#define __INT_LEAST64_FMTd__ "ld"
#define __INT_LEAST64_FMTi__ "li"
#define __INT_LEAST64_MAX__ 9223372036854775807L
#define __INT_LEAST64_TYPE__ long int
#define __INT_LEAST8_FMTd__ "hhd"
#define __INT_LEAST8_FMTi__ "hhi"
#define __INT_LEAST8_MAX__ 127
#define __INT_LEAST8_TYPE__ signed char
#define __INT_MAX__ 2147483647
#define __LDBL_DECIMAL_DIG__ 21
#define __LDBL_DENORM_MIN__ 3.64519953188247460253e-4951L
#define __LDBL_DIG__ 18
#define __LDBL_EPSILON__ 1.08420217248550443401e-19L
#define __LDBL_HAS_DENORM__ 1
#define __LDBL_HAS_INFINITY__ 1
#define __LDBL_HAS_QUIET_NAN__ 1
#define __LDBL_MANT_DIG__ 64
#define __LDBL_MAX_10_EXP__ 4932
#define __LDBL_MAX_EXP__ 16384
#define __LDBL_MAX__ 1.18973149535723176502e+4932L
#define __LDBL_MIN_10_EXP__ (-4931)
#define __LDBL_MIN_EXP__ (-16381)
#define __LDBL_MIN__ 3.36210314311209350626e-4932L
#define __LITTLE_ENDIAN__ 1
#define __LONG_LONG_MAX__ 9223372036854775807LL
#define __LONG_MAX__ 9223372036854775807L
#define __LP64__ 1
#define __MMX__ 1
#define __NO_INLINE__ 1
#define __NO_MATH_INLINES 1
#define __OBJC_BOOL_IS_BOOL 0
#define __OPENCL_MEMORY_SCOPE_ALL_SVM_DEVICES 3
#define __OPENCL_MEMORY_SCOPE_DEVICE 2
#define __OPENCL_MEMORY_SCOPE_SUB_GROUP 4
#define __OPENCL_MEMORY_SCOPE_WORK_GROUP 1
#define __OPENCL_MEMORY_SCOPE_WORK_ITEM 0
#define __ORDER_BIG_ENDIAN__ 4321
#define __ORDER_LITTLE_ENDIAN__ 1234
#define __ORDER_PDP_ENDIAN__ 3412
#define __POINTER_WIDTH__ 64
#define __PRAGMA_REDEFINE_EXTNAME 1
#define __PTRDIFF_FMTd__ "ld"
#define __PTRDIFF_FMTi__ "li"
#define __PTRDIFF_MAX__ 9223372036854775807L
#define __PTRDIFF_TYPE__ long int
#define __PTRDIFF_WIDTH__ 64
#define __REGISTER_PREFIX__ 
#define __SCHAR_MAX__ 127
#define __SHRT_MAX__ 32767
#define __SIG_ATOMIC_MAX__ 2147483647
#define __SIG_ATOMIC_WIDTH__ 32
#define __SIZEOF_DOUBLE__ 8
#define __SIZEOF_FLOAT128__ 16
#define __SIZEOF_FLOAT__ 4
#define __SIZEOF_INT128__ 16
#define __SIZEOF_INT__ 4
#define __SIZEOF_LONG_DOUBLE__ 16
#define __SIZEOF_LONG_LONG__ 8
#define __SIZEOF_LONG__ 8
#define __SIZEOF_POINTER__ 8
#define __SIZEOF_PTRDIFF_T__ 8
#define __SIZEOF_SHORT__ 2
#define __SIZEOF_SIZE_T__ 8
#define __SIZEOF_WCHAR_T__ 4
#define __SIZEOF_WINT_T__ 4
#define __SIZE_FMTX__ "lX"
#define __SIZE_FMTo__ "lo"
#define __SIZE_FMTu__ "lu"
#define __SIZE_FMTx__ "lx"
#define __SIZE_MAX__ 18446744073709551615UL
#define __SIZE_TYPE__ long unsigned int
#define __SIZE_WIDTH__ 64
#define __SSE2_MATH__ 1
#define __SSE2__ 1
#define __SSE_MATH__ 1
#define __SSE__ 1
#define __STDC_HOSTED__ 1
#define __STDC_UTF_16__ 1
#define __STDC_UTF_32__ 1
#define __STDC_VERSION__ 201112L
#define __STDC__ 1
#define __UINT16_C_SUFFIX__ 
#define __UINT16_FMTX__ "hX"
#define __UINT16_FMTo__ "ho"
#define __UINT16_FMTu__ "hu"
#define __UINT16_FMTx__ "hx"
#define __UINT16_MAX__ 65535
#define __UINT16_TYPE__ unsigned short
#define __UINT32_C_SUFFIX__ U
#define __UINT32_FMTX__ "X"
#define __UINT32_FMTo__ "o"
#define __UINT32_FMTu__ "u"
#define __UINT32_FMTx__ "x"
#define __UINT32_MAX__ 4294967295U
#define __UINT32_TYPE__ unsigned int
#define __UINT64_C_SUFFIX__ UL
#define __UINT64_FMTX__ "lX"
#define __UINT64_FMTo__ "lo"
#define __UINT64_FMTu__ "lu"
#define __UINT64_FMTx__ "lx"
#define __UINT64_MAX__ 18446744073709551615UL
#define __UINT64_TYPE__ long unsigned int
#define __UINT8_C_SUFFIX__ 
#define __UINT8_FMTX__ "hhX"
#define __UINT8_FMTo__ "hho"
#define __UINT8_FMTu__ "hhu"
#define __UINT8_FMTx__ "hhx"
#define __UINT8_MAX__ 255
#define __UINT8_TYPE__ unsigned char
#define __UINTMAX_C_SUFFIX__ UL
#define __UINTMAX_FMTX__ "lX"
#define __UINTMAX_FMTo__ "lo"
#define __UINTMAX_FMTu__ "lu"
#define __UINTMAX_FMTx__ "lx"
#define __UINTMAX_MAX__ 18446744073709551615UL
#define __UINTMAX_TYPE__ long unsigned int
#define __UINTMAX_WIDTH__ 64
#define __UINTPTR_FMTX__ "lX"
#define __UINTPTR_FMTo__ "lo"
#define __UINTPTR_FMTu__ "lu"
#define __UINTPTR_FMTx__ "lx"
#define __UINTPTR_MAX__ 18446744073709551615UL
#define __UINTPTR_TYPE__ long unsigned int
#define __UINTPTR_WIDTH__ 64
#define __UINT_FAST16_FMTX__ "hX"
#define __UINT_FAST16_FMTo__ "ho"
#define __UINT_FAST16_FMTu__ "hu"
#define __UINT_FAST16_FMTx__ "hx"
#define __UINT_FAST16_MAX__ 65535
#define __UINT_FAST16_TYPE__ unsigned short
#define __UINT_FAST32_FMTX__ "X"
#define __UINT_FAST32_FMTo__ "o"
#define __UINT_FAST32_FMTu__ "u"
#define __UINT_FAST32_FMTx__ "x"
#define __UINT_FAST32_MAX__ 4294967295U
#define __UINT_FAST32_TYPE__ unsigned int
#define __UINT_FAST64_FMTX__ "lX"
#define __UINT_FAST64_FMTo__ "lo"
#define __UINT_FAST64_FMTu__ "lu"
#define __UINT_FAST64_FMTx__ "lx"
#define __UINT_FAST64_MAX__ 18446744073709551615UL
#define __UINT_FAST64_TYPE__ long unsigned int
#define __UINT_FAST8_FMTX__ "hhX"
#define __UINT_FAST8_FMTo__ "hho"
#define __UINT_FAST8_FMTu__ "hhu"
#define __UINT_FAST8_FMTx__ "hhx"
#define __UINT_FAST8_MAX__ 255
#define __UINT_FAST8_TYPE__ unsigned char
#define __UINT_LEAST16_FMTX__ "hX"
#define __UINT_LEAST16_FMTo__ "ho"
#define __UINT_LEAST16_FMTu__ "hu"
#define __UINT_LEAST16_FMTx__ "hx"
#define __UINT_LEAST16_MAX__ 65535
#define __UINT_LEAST16_TYPE__ unsigned short
#define __UINT_LEAST32_FMTX__ "X"
#define __UINT_LEAST32_FMTo__ "o"
#define __UINT_LEAST32_FMTu__ "u"
#define __UINT_LEAST32_FMTx__ "x"
#define __UINT_LEAST32_MAX__ 4294967295U
#define __UINT_LEAST32_TYPE__ unsigned int
#define __UINT_LEAST64_FMTX__ "lX"
#define __UINT_LEAST64_FMTo__ "lo"
#define __UINT_LEAST64_FMTu__ "lu"
#define __UINT_LEAST64_FMTx__ "lx"
#define __UINT_LEAST64_MAX__ 18446744073709551615UL
#define __UINT_LEAST64_TYPE__ long unsigned int
#define __UINT_LEAST8_FMTX__ "hhX"
#define __UINT_LEAST8_FMTo__ "hho"
#define __UINT_LEAST8_FMTu__ "hhu"
#define __UINT_LEAST8_FMTx__ "hhx"
#define __UINT_LEAST8_MAX__ 255
#define __UINT_LEAST8_TYPE__ unsigned char
#define __USER_LABEL_PREFIX__ 
#define __VERSION__ "4.2.1 Compatible Clang 6.0.0 (tags/RELEASE_600/final)"
#define __WCHAR_MAX__ 2147483647
#define __WCHAR_TYPE__ int
#define __WCHAR_WIDTH__ 32
#define __WINT_MAX__ 4294967295U
#define __WINT_TYPE__ unsigned int
#define __WINT_UNSIGNED__ 1
#define __WINT_WIDTH__ 32
#define __amd64 1
#define __amd64__ 1
#define __clang__ 1
#define __clang_major__ 6
#define __clang_minor__ 0
#define __clang_patchlevel__ 0
#define __clang_version__ "6.0.0 (tags/RELEASE_600/final)"
#define __gnu_linux__ 1
#define __k8 1
#define __k8__ 1
#define __linux 1
#define __linux__ 1
#define __llvm__ 1
#define __tune_k8__ 1
#define __unix 1
#define __unix__ 1
#define __x86_64 1
#define __x86_64__ 1
#define linux 1
#define unix 1

find program=['llvm-ar', 'ar'] paths=['/opt/ros/melodic/bin', '/home/damien/bin', '/home/damien/.local/bin', '/usr/local/sbin', '/usr/local/bin', '/usr/sbin', '/usr/bin', '/sbin', '/bin', '/usr/games', '/usr/local/games', '/snap/bin'] var='AR' -> ['/usr/bin/ar']
find program=['ar'] paths=['/opt/ros/melodic/bin', '/home/damien/bin', '/home/damien/.local/bin', '/usr/local/sbin', '/usr/local/bin', '/usr/sbin', '/usr/bin', '/sbin', '/bin', '/usr/games', '/usr/local/games', '/snap/bin'] var='AR' -> ['/usr/bin/ar']
/usr/bin/clang++
----------------------------------------
Checking for 'gcc' (C compiler)
find program=['gcc', 'cc'] paths=['/opt/ros/melodic/bin', '/home/damien/bin', '/home/damien/.local/bin', '/usr/local/sbin', '/usr/local/bin', '/usr/sbin', '/usr/bin', '/sbin', '/bin', '/usr/games', '/usr/local/games', '/snap/bin'] var='CC' -> ['/usr/bin/gcc']
['/usr/bin/gcc', '-dM', '-E', '-']
out: #define __SSP_STRONG__ 3
#define __DBL_MIN_EXP__ (-1021)
#define __FLT32X_MAX_EXP__ 1024
#define __UINT_LEAST16_MAX__ 0xffff
#define __ATOMIC_ACQUIRE 2
#define __FLT128_MAX_10_EXP__ 4932
#define __FLT_MIN__ 1.17549435082228750796873653722224568e-38F
#define __GCC_IEC_559_COMPLEX 2
#define __UINT_LEAST8_TYPE__ unsigned char
#define __SIZEOF_FLOAT80__ 16
#define __INTMAX_C(c) c ## L
#define __CHAR_BIT__ 8
#define __UINT8_MAX__ 0xff
#define __WINT_MAX__ 0xffffffffU
#define __FLT32_MIN_EXP__ (-125)
#define __ORDER_LITTLE_ENDIAN__ 1234
#define __SIZE_MAX__ 0xffffffffffffffffUL
#define __WCHAR_MAX__ 0x7fffffff
#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_1 1
#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_2 1
#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_4 1
#define __DBL_DENORM_MIN__ ((double)4.94065645841246544176568792868221372e-324L)
#define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_8 1
#define __GCC_ATOMIC_CHAR_LOCK_FREE 2
#define __GCC_IEC_559 2
#define __FLT32X_DECIMAL_DIG__ 17
#define __FLT_EVAL_METHOD__ 0
#define __unix__ 1
#define __FLT64_DECIMAL_DIG__ 17
#define __GCC_ATOMIC_CHAR32_T_LOCK_FREE 2
#define __x86_64 1
#define __UINT_FAST64_MAX__ 0xffffffffffffffffUL
#define __SIG_ATOMIC_TYPE__ int
#define __DBL_MIN_10_EXP__ (-307)
#define __FINITE_MATH_ONLY__ 0
#define __GNUC_PATCHLEVEL__ 0
#define __FLT32_HAS_DENORM__ 1
#define __UINT_FAST8_MAX__ 0xff
#define __has_include(STR) __has_include__(STR)
#define __DEC64_MAX_EXP__ 385
#define __INT8_C(c) c
#define __INT_LEAST8_WIDTH__ 8
#define __UINT_LEAST64_MAX__ 0xffffffffffffffffUL
#define __SHRT_MAX__ 0x7fff
#define __LDBL_MAX__ 1.18973149535723176502126385303097021e+4932L
#define __FLT64X_MAX_10_EXP__ 4932
#define __UINT_LEAST8_MAX__ 0xff
#define __GCC_ATOMIC_BOOL_LOCK_FREE 2
#define __FLT128_DENORM_MIN__ 6.47517511943802511092443895822764655e-4966F128
#define __UINTMAX_TYPE__ long unsigned int
#define __linux 1
#define __DEC32_EPSILON__ 1E-6DF
#define __FLT_EVAL_METHOD_TS_18661_3__ 0
#define __unix 1
#define __UINT32_MAX__ 0xffffffffU
#define __LDBL_MAX_EXP__ 16384
#define __FLT128_MIN_EXP__ (-16381)
#define __WINT_MIN__ 0U
#define __linux__ 1
#define __FLT128_MIN_10_EXP__ (-4931)
#define __INT_LEAST16_WIDTH__ 16
#define __SCHAR_MAX__ 0x7f
#define __FLT128_MANT_DIG__ 113
#define __WCHAR_MIN__ (-__WCHAR_MAX__ - 1)
#define __INT64_C(c) c ## L
#define __DBL_DIG__ 15
#define __GCC_ATOMIC_POINTER_LOCK_FREE 2
#define __FLT64X_MANT_DIG__ 64
#define __SIZEOF_INT__ 4
#define __SIZEOF_POINTER__ 8
#define __USER_LABEL_PREFIX__ 
#define __FLT64X_EPSILON__ 1.08420217248550443400745280086994171e-19F64x
#define __STDC_HOSTED__ 1
#define __LDBL_HAS_INFINITY__ 1
#define __FLT32_DIG__ 6
#define __FLT_EPSILON__ 1.19209289550781250000000000000000000e-7F
#define __SHRT_WIDTH__ 16
#define __LDBL_MIN__ 3.36210314311209350626267781732175260e-4932L
#define __STDC_UTF_16__ 1
#define __DEC32_MAX__ 9.999999E96DF
#define __FLT64X_DENORM_MIN__ 3.64519953188247460252840593361941982e-4951F64x
#define __FLT32X_HAS_INFINITY__ 1
#define __INT32_MAX__ 0x7fffffff
#define __INT_WIDTH__ 32
#define __SIZEOF_LONG__ 8
#define __STDC_IEC_559__ 1
#define __STDC_ISO_10646__ 201706L
#define __UINT16_C(c) c
#define __PTRDIFF_WIDTH__ 64
#define __DECIMAL_DIG__ 21
#define __FLT64_EPSILON__ 2.22044604925031308084726333618164062e-16F64
#define __gnu_linux__ 1
#define __INTMAX_WIDTH__ 64
#define __has_include_next(STR) __has_include_next__(STR)
#define __FLT64X_MIN_10_EXP__ (-4931)
#define __LDBL_HAS_QUIET_NAN__ 1
#define __FLT64_MANT_DIG__ 53
#define __GNUC__ 7
#define __pie__ 2
#define __MMX__ 1
#define __FLT_HAS_DENORM__ 1
#define __SIZEOF_LONG_DOUBLE__ 16
#define __BIGGEST_ALIGNMENT__ 16
#define __FLT64_MAX_10_EXP__ 308
#define __DBL_MAX__ ((double)1.79769313486231570814527423731704357e+308L)
#define __INT_FAST32_MAX__ 0x7fffffffffffffffL
#define __DBL_HAS_INFINITY__ 1
#define __DEC32_MIN_EXP__ (-94)
#define __INTPTR_WIDTH__ 64
#define __FLT32X_HAS_DENORM__ 1
#define __INT_FAST16_TYPE__ long int
#define __LDBL_HAS_DENORM__ 1
#define __FLT128_HAS_INFINITY__ 1
#define __DEC128_MAX__ 9.999999999999999999999999999999999E6144DL
#define __INT_LEAST32_MAX__ 0x7fffffff
#define __DEC32_MIN__ 1E-95DF
#define __DBL_MAX_EXP__ 1024
#define __WCHAR_WIDTH__ 32
#define __FLT32_MAX__ 3.40282346638528859811704183484516925e+38F32
#define __DEC128_EPSILON__ 1E-33DL
#define __SSE2_MATH__ 1
#define __ATOMIC_HLE_RELEASE 131072
#define __PTRDIFF_MAX__ 0x7fffffffffffffffL
#define __amd64 1
#define __STDC_NO_THREADS__ 1
#define __ATOMIC_HLE_ACQUIRE 65536
#define __FLT32_HAS_QUIET_NAN__ 1
#define __LONG_LONG_MAX__ 0x7fffffffffffffffLL
#define __SIZEOF_SIZE_T__ 8
#define __FLT64X_MIN_EXP__ (-16381)
#define __SIZEOF_WINT_T__ 4
#define __LONG_LONG_WIDTH__ 64
#define __FLT32_MAX_EXP__ 128
#define __GCC_HAVE_DWARF2_CFI_ASM 1
#define __GXX_ABI_VERSION 1011
#define __FLT_MIN_EXP__ (-125)
#define __FLT64X_HAS_QUIET_NAN__ 1
#define __INT_FAST64_TYPE__ long int
#define __FLT64_DENORM_MIN__ 4.94065645841246544176568792868221372e-324F64
#define __DBL_MIN__ ((double)2.22507385850720138309023271733240406e-308L)
#define __PIE__ 2
#define __LP64__ 1
#define __FLT32X_EPSILON__ 2.22044604925031308084726333618164062e-16F32x
#define __DECIMAL_BID_FORMAT__ 1
#define __FLT64_MIN_EXP__ (-1021)
#define __FLT64_MIN_10_EXP__ (-307)
#define __FLT64X_DECIMAL_DIG__ 21
#define __DEC128_MIN__ 1E-6143DL
#define __REGISTER_PREFIX__ 
#define __UINT16_MAX__ 0xffff
#define __DBL_HAS_DENORM__ 1
#define __FLT32_MIN__ 1.17549435082228750796873653722224568e-38F32
#define __UINT8_TYPE__ unsigned char
#define __NO_INLINE__ 1
#define __FLT_MANT_DIG__ 24
#define __LDBL_DECIMAL_DIG__ 21
#define __VERSION__ "7.5.0"
#define __UINT64_C(c) c ## UL
#define _STDC_PREDEF_H 1
#define __GCC_ATOMIC_INT_LOCK_FREE 2
#define __FLT128_MAX_EXP__ 16384
#define __FLT32_MANT_DIG__ 24
#define __FLOAT_WORD_ORDER__ __ORDER_LITTLE_ENDIAN__
#define __STDC_IEC_559_COMPLEX__ 1
#define __FLT128_HAS_DENORM__ 1
#define __FLT128_DIG__ 33
#define __SCHAR_WIDTH__ 8
#define __INT32_C(c) c
#define __DEC64_EPSILON__ 1E-15DD
#define __ORDER_PDP_ENDIAN__ 3412
#define __DEC128_MIN_EXP__ (-6142)
#define __FLT32_MAX_10_EXP__ 38
#define __INT_FAST32_TYPE__ long int
#define __UINT_LEAST16_TYPE__ short unsigned int
#define __FLT64X_HAS_INFINITY__ 1
#define unix 1
#define __INT16_MAX__ 0x7fff
#define __SIZE_TYPE__ long unsigned int
#define __UINT64_MAX__ 0xffffffffffffffffUL
#define __FLT64X_DIG__ 18
#define __INT8_TYPE__ signed char
#define __ELF__ 1
#define __GCC_ASM_FLAG_OUTPUTS__ 1
#define __FLT_RADIX__ 2
#define __INT_LEAST16_TYPE__ short int
#define __LDBL_EPSILON__ 1.08420217248550443400745280086994171e-19L
#define __UINTMAX_C(c) c ## UL
#define __SSE_MATH__ 1
#define __k8 1
#define __SIG_ATOMIC_MAX__ 0x7fffffff
#define __GCC_ATOMIC_WCHAR_T_LOCK_FREE 2
#define __SIZEOF_PTRDIFF_T__ 8
#define __FLT32X_MANT_DIG__ 53
#define __x86_64__ 1
#define __FLT32X_MIN_EXP__ (-1021)
#define __DEC32_SUBNORMAL_MIN__ 0.000001E-95DF
#define __INT_FAST16_MAX__ 0x7fffffffffffffffL
#define __FLT64_DIG__ 15
#define __UINT_FAST32_MAX__ 0xffffffffffffffffUL
#define __UINT_LEAST64_TYPE__ long unsigned int
#define __FLT_HAS_QUIET_NAN__ 1
#define __FLT_MAX_10_EXP__ 38
#define __LONG_MAX__ 0x7fffffffffffffffL
#define __FLT64X_HAS_DENORM__ 1
#define __DEC128_SUBNORMAL_MIN__ 0.000000000000000000000000000000001E-6143DL
#define __FLT_HAS_INFINITY__ 1
#define __UINT_FAST16_TYPE__ long unsigned int
#define __DEC64_MAX__ 9.999999999999999E384DD
#define __INT_FAST32_WIDTH__ 64
#define __CHAR16_TYPE__ short unsigned int
#define __PRAGMA_REDEFINE_EXTNAME 1
#define __SIZE_WIDTH__ 64
#define __SEG_FS 1
#define __INT_LEAST16_MAX__ 0x7fff
#define __DEC64_MANT_DIG__ 16
#define __INT64_MAX__ 0x7fffffffffffffffL
#define __UINT_LEAST32_MAX__ 0xffffffffU
#define __SEG_GS 1
#define __FLT32_DENORM_MIN__ 1.40129846432481707092372958328991613e-45F32
#define __GCC_ATOMIC_LONG_LOCK_FREE 2
#define __SIG_ATOMIC_WIDTH__ 32
#define __INT_LEAST64_TYPE__ long int
#define __INT16_TYPE__ short int
#define __INT_LEAST8_TYPE__ signed char
#define __STDC_VERSION__ 201112L
#define __DEC32_MAX_EXP__ 97
#define __INT_FAST8_MAX__ 0x7f
#define __FLT128_MAX__ 1.18973149535723176508575932662800702e+4932F128
#define __INTPTR_MAX__ 0x7fffffffffffffffL
#define linux 1
#define __FLT64_HAS_QUIET_NAN__ 1
#define __FLT32_MIN_10_EXP__ (-37)
#define __SSE2__ 1
#define __FLT32X_DIG__ 15
#define __LDBL_MANT_DIG__ 64
#define __DBL_HAS_QUIET_NAN__ 1
#define __FLT64_HAS_INFINITY__ 1
#define __FLT64X_MAX__ 1.18973149535723176502126385303097021e+4932F64x
#define __SIG_ATOMIC_MIN__ (-__SIG_ATOMIC_MAX__ - 1)
#define __code_model_small__ 1
#define __k8__ 1
#define __INTPTR_TYPE__ long int
#define __UINT16_TYPE__ short unsigned int
#define __WCHAR_TYPE__ int
#define __SIZEOF_FLOAT__ 4
#define __pic__ 2
#define __UINTPTR_MAX__ 0xffffffffffffffffUL
#define __INT_FAST64_WIDTH__ 64
#define __DEC64_MIN_EXP__ (-382)
#define __FLT32_DECIMAL_DIG__ 9
#define __INT_FAST64_MAX__ 0x7fffffffffffffffL
#define __GCC_ATOMIC_TEST_AND_SET_TRUEVAL 1
#define __FLT_DIG__ 6
#define __FLT32_HAS_INFINITY__ 1
#define __FLT64X_MAX_EXP__ 16384
#define __UINT_FAST64_TYPE__ long unsigned int
#define __INT_MAX__ 0x7fffffff
#define __amd64__ 1
#define __INT64_TYPE__ long int
#define __FLT_MAX_EXP__ 128
#define __ORDER_BIG_ENDIAN__ 4321
#define __DBL_MANT_DIG__ 53
#define __SIZEOF_FLOAT128__ 16
#define __INT_LEAST64_MAX__ 0x7fffffffffffffffL
#define __GCC_ATOMIC_CHAR16_T_LOCK_FREE 2
#define __DEC64_MIN__ 1E-383DD
#define __WINT_TYPE__ unsigned int
#define __UINT_LEAST32_TYPE__ unsigned int
#define __SIZEOF_SHORT__ 2
#define __SSE__ 1
#define __LDBL_MIN_EXP__ (-16381)
#define __FLT64_MAX__ 1.79769313486231570814527423731704357e+308F64
#define __WINT_WIDTH__ 32
#define __INT_LEAST8_MAX__ 0x7f
#define __FLT32X_MAX_10_EXP__ 308
#define __SIZEOF_INT128__ 16
#define __LDBL_MAX_10_EXP__ 4932
#define __ATOMIC_RELAXED 0
#define __DBL_EPSILON__ ((double)2.22044604925031308084726333618164062e-16L)
#define __FLT128_MIN__ 3.36210314311209350626267781732175260e-4932F128
#define _LP64 1
#define __UINT8_C(c) c
#define __FLT64_MAX_EXP__ 1024
#define __INT_LEAST32_TYPE__ int
#define __SIZEOF_WCHAR_T__ 4
#define __UINT64_TYPE__ long unsigned int
#define __FLT128_HAS_QUIET_NAN__ 1
#define __INT_FAST8_TYPE__ signed char
#define __FLT64X_MIN__ 3.36210314311209350626267781732175260e-4932F64x
#define __GNUC_STDC_INLINE__ 1
#define __FLT64_HAS_DENORM__ 1
#define __FLT32_EPSILON__ 1.19209289550781250000000000000000000e-7F32
#define __DBL_DECIMAL_DIG__ 17
#define __STDC_UTF_32__ 1
#define __INT_FAST8_WIDTH__ 8
#define __FXSR__ 1
#define __DEC_EVAL_METHOD__ 2
#define __FLT32X_MAX__ 1.79769313486231570814527423731704357e+308F32x
#define __UINT32_C(c) c ## U
#define __INTMAX_MAX__ 0x7fffffffffffffffL
#define __BYTE_ORDER__ __ORDER_LITTLE_ENDIAN__
#define __FLT_DENORM_MIN__ 1.40129846432481707092372958328991613e-45F
#define __INT8_MAX__ 0x7f
#define __LONG_WIDTH__ 64
#define __PIC__ 2
#define __UINT_FAST32_TYPE__ long unsigned int
#define __CHAR32_TYPE__ unsigned int
#define __FLT_MAX__ 3.40282346638528859811704183484516925e+38F
#define __INT32_TYPE__ int
#define __SIZEOF_DOUBLE__ 8
#define __FLT_MIN_10_EXP__ (-37)
#define __FLT64_MIN__ 2.22507385850720138309023271733240406e-308F64
#define __INT_LEAST32_WIDTH__ 32
#define __INTMAX_TYPE__ long int
#define __DEC128_MAX_EXP__ 6145
#define __FLT32X_HAS_QUIET_NAN__ 1
#define __ATOMIC_CONSUME 1
#define __GNUC_MINOR__ 5
#define __INT_FAST16_WIDTH__ 64
#define __UINTMAX_MAX__ 0xffffffffffffffffUL
#define __DEC32_MANT_DIG__ 7
#define __FLT32X_DENORM_MIN__ 4.94065645841246544176568792868221372e-324F32x
#define __DBL_MAX_10_EXP__ 308
#define __LDBL_DENORM_MIN__ 3.64519953188247460252840593361941982e-4951L
#define __INT16_C(c) c
#define __STDC__ 1
#define __PTRDIFF_TYPE__ long int
#define __ATOMIC_SEQ_CST 5
#define __UINT32_TYPE__ unsigned int
#define __FLT32X_MIN_10_EXP__ (-307)
#define __UINTPTR_TYPE__ long unsigned int
#define __DEC64_SUBNORMAL_MIN__ 0.000000000000001E-383DD
#define __DEC128_MANT_DIG__ 34
#define __LDBL_MIN_10_EXP__ (-4931)
#define __FLT128_EPSILON__ 1.92592994438723585305597794258492732e-34F128
#define __SIZEOF_LONG_LONG__ 8
#define __FLT128_DECIMAL_DIG__ 36
#define __GCC_ATOMIC_LLONG_LOCK_FREE 2
#define __FLT32X_MIN__ 2.22507385850720138309023271733240406e-308F32x
#define __LDBL_DIG__ 18
#define __FLT_DECIMAL_DIG__ 9
#define __UINT_FAST16_MAX__ 0xffffffffffffffffUL
#define __GCC_ATOMIC_SHORT_LOCK_FREE 2
#define __INT_LEAST64_WIDTH__ 64
#define __UINT_FAST8_TYPE__ unsigned char
#define __ATOMIC_ACQ_REL 4
#define __ATOMIC_RELEASE 3

find program=['ar'] paths=['/opt/ros/melodic/bin', '/home/damien/bin', '/home/damien/.local/bin', '/usr/local/sbin', '/usr/local/bin', '/usr/sbin', '/usr/bin', '/sbin', '/bin', '/usr/games', '/usr/local/games', '/snap/bin'] var='AR' -> ['/usr/bin/ar']
/usr/bin/gcc
----------------------------------------
Checking for program 'bison'
/usr/bin/bison
find program=['bison'] paths=['/opt/ros/melodic/bin', '/home/damien/bin', '/home/damien/.local/bin', '/usr/local/sbin', '/usr/local/bin', '/usr/sbin', '/usr/bin', '/sbin', '/bin', '/usr/games', '/usr/local/games', '/snap/bin'] var='BISON' -> ['/usr/bin/bison']
----------------------------------------
Checking for program 'flex'
/usr/bin/flex
find program=['flex'] paths=['/opt/ros/melodic/bin', '/home/damien/bin', '/home/damien/.local/bin', '/usr/local/sbin', '/usr/local/bin', '/usr/sbin', '/usr/bin', '/sbin', '/bin', '/usr/games', '/usr/local/games', '/snap/bin'] var='FLEX' -> ['/usr/bin/flex']
----------------------------------------
sys.platform
linux2
----------------------------------------
Checking for compiler flags -std=c++11
==>

int main(int argc, char **argv) {
    (void)argc; (void)argv;
    return 0;
}

<==
[1/2] Compiling __build__/.conf_check_01a4edd4d09b1e49c633f3705a7deaeb/test.cpp

['/usr/bin/clang++', '-std=c++11', '-I../..', '-DNDEBUG=1', '../test.cpp', '-c', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_01a4edd4d09b1e49c633f3705a7deaeb/testbuild/test.cpp.1.o']
[2/2] Linking __build__/.conf_check_01a4edd4d09b1e49c633f3705a7deaeb/testbuild/testprog

['/usr/bin/clang++', 'test.cpp.1.o', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_01a4edd4d09b1e49c633f3705a7deaeb/testbuild/testprog', '-Wl,-Bstatic', '-Wl,-Bdynamic']
yes
----------------------------------------
Checking for compiler flags -O3
==>

int main(int argc, char **argv) {
    (void)argc; (void)argv;
    return 0;
}

<==
[1/2] Compiling __build__/.conf_check_26ccaee9206582698f2373e14d73ab0a/test.cpp

['/usr/bin/clang++', '-O3', '-std=c++11', '-I../..', '-DNDEBUG=1', '../test.cpp', '-c', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_26ccaee9206582698f2373e14d73ab0a/testbuild/test.cpp.1.o']
[2/2] Linking __build__/.conf_check_26ccaee9206582698f2373e14d73ab0a/testbuild/testprog

['/usr/bin/clang++', 'test.cpp.1.o', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_26ccaee9206582698f2373e14d73ab0a/testbuild/testprog', '-Wl,-Bstatic', '-Wl,-Bdynamic']
yes
-------------------------------------------
Checking for compiler flags -Wno-deprecated
==>

int main(int argc, char **argv) {
    (void)argc; (void)argv;
    return 0;
}

<==
[1/2] Compiling __build__/.conf_check_be81dfaa6f593b284e60be2c6d4098e3/test.cpp

['/usr/bin/clang++', '-Wno-deprecated', '-std=c++11', '-O3', '-I../..', '-DNDEBUG=1', '../test.cpp', '-c', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_be81dfaa6f593b284e60be2c6d4098e3/testbuild/test.cpp.1.o']
[2/2] Linking __build__/.conf_check_be81dfaa6f593b284e60be2c6d4098e3/testbuild/testprog

['/usr/bin/clang++', 'test.cpp.1.o', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_be81dfaa6f593b284e60be2c6d4098e3/testbuild/testprog', '-Wl,-Bstatic', '-Wl,-Bdynamic']
yes
------------------------------------------------
Checking for compiler flags -Wno-unknown-pragmas
==>

int main(int argc, char **argv) {
    (void)argc; (void)argv;
    return 0;
}

<==
[1/2] Compiling __build__/.conf_check_a5d152ca93b9c4600226ebd629d45a31/test.cpp

['/usr/bin/clang++', '-Wno-unknown-pragmas', '-std=c++11', '-O3', '-Wno-deprecated', '-I../..', '-DNDEBUG=1', '../test.cpp', '-c', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_a5d152ca93b9c4600226ebd629d45a31/testbuild/test.cpp.1.o']
[2/2] Linking __build__/.conf_check_a5d152ca93b9c4600226ebd629d45a31/testbuild/testprog

['/usr/bin/clang++', 'test.cpp.1.o', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_a5d152ca93b9c4600226ebd629d45a31/testbuild/testprog', '-Wl,-Bstatic', '-Wl,-Bdynamic']
yes
------------------------------------------------
Checking for compiler flags -Wno-unused-variable
==>

int main(int argc, char **argv) {
    (void)argc; (void)argv;
    return 0;
}

<==
[1/2] Compiling __build__/.conf_check_47e84c2488f93a5fd987ba8f604ffdfb/test.cpp

['/usr/bin/clang++', '-Wno-unused-variable', '-std=c++11', '-O3', '-Wno-deprecated', '-Wno-unknown-pragmas', '-I../..', '-DNDEBUG=1', '../test.cpp', '-c', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_47e84c2488f93a5fd987ba8f604ffdfb/testbuild/test.cpp.1.o']
[2/2] Linking __build__/.conf_check_47e84c2488f93a5fd987ba8f604ffdfb/testbuild/testprog

['/usr/bin/clang++', 'test.cpp.1.o', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_47e84c2488f93a5fd987ba8f604ffdfb/testbuild/testprog', '-Wl,-Bstatic', '-Wl,-Bdynamic']
yes
------------------------------------------------
Checking for compiler flags -Wno-unused-function
==>

int main(int argc, char **argv) {
    (void)argc; (void)argv;
    return 0;
}

<==
[1/2] Compiling __build__/.conf_check_9d27d9e7b70d721df758d3eb540e1aa2/test.cpp

['/usr/bin/clang++', '-Wno-unused-function', '-std=c++11', '-O3', '-Wno-deprecated', '-Wno-unknown-pragmas', '-Wno-unused-variable', '-I../..', '-DNDEBUG=1', '../test.cpp', '-c', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_9d27d9e7b70d721df758d3eb540e1aa2/testbuild/test.cpp.1.o']
[2/2] Linking __build__/.conf_check_9d27d9e7b70d721df758d3eb540e1aa2/testbuild/testprog

['/usr/bin/clang++', 'test.cpp.1.o', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_9d27d9e7b70d721df758d3eb540e1aa2/testbuild/testprog', '-Wl,-Bstatic', '-Wl,-Bdynamic']
yes
------------------------------------------------
Checking for compiler flags -U__STRICT_ANSI__
==>

int main(int argc, char **argv) {
    (void)argc; (void)argv;
    return 0;
}

<==
[1/2] Compiling __build__/.conf_check_2d617040c213bf32749014072e17a931/test.cpp

['/usr/bin/clang++', '-U__STRICT_ANSI__', '-DNDEBUG=1', '../test.cpp', '-c', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_2d617040c213bf32749014072e17a931/testbuild/test.cpp.1.o']
[2/2] Linking __build__/.conf_check_2d617040c213bf32749014072e17a931/testbuild/testprog

['/usr/bin/clang++', 'test.cpp.1.o', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_2d617040c213bf32749014072e17a931/testbuild/testprog', '-Wl,-Bstatic', '-Wl,-Bdynamic']
yes
------------------------------------------------
Ibex will be built as a
static library
------------------------------------------------
Library for interval arithmetic
gaol
------------------------------------------------
Using library mathlib/ultim from
3rd/ subdirectory
==================== Starting installation of mathlib-2.1.0 ====================
------------------------------------------------
Extracting mathlib-2.1.0.tar.gz
done
------------------------------------------------
Checking for program 'make'
/usr/bin/make
find program=['make'] paths=['/opt/ros/melodic/bin', '/home/damien/bin', '/home/damien/.local/bin', '/usr/local/sbin', '/usr/local/bin', '/usr/sbin', '/usr/bin', '/sbin', '/bin', '/usr/games', '/usr/local/games', '/snap/bin'] var='MAKE' -> ['/usr/bin/make']
------------------------------------------------
Calling configure
./configure  --enable-static --disable-shared --prefix=/home/damien/Ibex/ibex-lib/__build__/3rd
out: checking whether to enable maintainer-specific portions of Makefiles... no
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking how to print strings... printf
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking for a sed that does not truncate output... /bin/sed
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for fgrep... /bin/grep -F
checking for ld used by gcc... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
checking the name lister (/usr/bin/nm -B) interface... BSD nm
checking whether ln -s works... yes
checking the maximum length of command line arguments... 1572864
checking whether the shell understands some XSI constructs... yes
checking whether the shell understands "+="... yes
checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop
checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/bin/ld option to reload object files... -r
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for dlltool... no
checking how to associate runtime and link libraries... printf %s\n
checking for ar... ar
checking for archiver @FILE support... @
checking for strip... strip
checking for ranlib... ranlib
checking for gawk... gawk
checking command to parse /usr/bin/nm -B output from gcc object... ok
checking for sysroot... no
checking for mt... mt
checking if mt is a manifest tool... no
checking how to run the C preprocessor... gcc -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking for dlfcn.h... yes
checking for objdir... .libs
checking if gcc supports -fno-rtti -fno-exceptions... no
checking for gcc option to produce PIC... -fPIC -DPIC
checking if gcc PIC flag -fPIC -DPIC works... yes
checking if gcc static flag -static works... yes
checking if gcc supports -c -o file.o... yes
checking if gcc supports -c -o file.o... (cached) yes
checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes
checking dynamic linker characteristics... GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
checking for shl_load... no
checking for shl_load in -ldld... no
checking for dlopen... no
checking for dlopen in -ldl... yes
checking whether a program can dlopen itself... yes
checking whether a statically linked program can dlopen itself... no
checking whether stripping libraries is possible... yes
checking if libtool supports shared libraries... yes
checking whether to build shared libraries... no
checking whether to build static libraries... yes
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking whether make sets $(MAKE)... yes
checking for style of include used by make... GNU
checking whether make supports nested variables... yes
checking dependency style of gcc... gcc3
checking fenv.h usability... yes
checking fenv.h presence... yes
checking for fenv.h... yes
checking for gcc... (cached) gcc
checking whether we are using the GNU C compiler... (cached) yes
checking whether gcc accepts -g... (cached) yes
checking for gcc option to accept ISO C89... (cached) none needed
checking how to run the C preprocessor... gcc -E
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/Makefile
config.status: creating mathlib.spec
config.status: creating src/mathlib_configuration.h
config.status: executing libtool commands
config.status: executing depfiles commands

done
------------------------------------------------
Calling make
['/usr/bin/make', '-j4']
out: Making all in src
make[1] : on entre dans le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0/src »
/usr/bin/make  all-am
make[2] : on entre dans le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0/src »
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT atnat2.lo -MD -MP -MF .deps/atnat2.Tpo -c -o atnat2.lo atnat2.c
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT halfulp.lo -MD -MP -MF .deps/halfulp.Tpo -c -o halfulp.lo halfulp.c
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT mplog.lo -MD -MP -MF .deps/mplog.Tpo -c -o mplog.lo mplog.c
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT slowexp2.lo -MD -MP -MF .deps/slowexp2.Tpo -c -o slowexp2.lo slowexp2.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT atnat2.lo -MD -MP -MF .deps/atnat2.Tpo -c atnat2.c -o atnat2.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT halfulp.lo -MD -MP -MF .deps/halfulp.Tpo -c halfulp.c -o halfulp.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT mplog.lo -MD -MP -MF .deps/mplog.Tpo -c mplog.c -o mplog.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT slowexp2.lo -MD -MP -MF .deps/slowexp2.Tpo -c slowexp2.c -o slowexp2.o
mv -f .deps/mplog.Tpo .deps/mplog.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT ucot.lo -MD -MP -MF .deps/ucot.Tpo -c -o ucot.lo ucot.c
mv -f .deps/slowexp2.Tpo .deps/slowexp2.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT upow.lo -MD -MP -MF .deps/upow.Tpo -c -o upow.lo upow.c
mv -f .deps/halfulp.Tpo .deps/halfulp.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT atnat.lo -MD -MP -MF .deps/atnat.Tpo -c -o atnat.lo atnat.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT ucot.lo -MD -MP -MF .deps/ucot.Tpo -c ucot.c -o ucot.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT upow.lo -MD -MP -MF .deps/upow.Tpo -c upow.c -o upow.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT atnat.lo -MD -MP -MF .deps/atnat.Tpo -c atnat.c -o atnat.o
mv -f .deps/ucot.Tpo .deps/ucot.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT mpa.lo -MD -MP -MF .deps/mpa.Tpo -c -o mpa.lo mpa.c
mv -f .deps/upow.Tpo .deps/upow.Plo
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT mpa.lo -MD -MP -MF .deps/mpa.Tpo -c mpa.c -o mpa.o
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT mpsqrt.lo -MD -MP -MF .deps/mpsqrt.Tpo -c -o mpsqrt.lo mpsqrt.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT mpsqrt.lo -MD -MP -MF .deps/mpsqrt.Tpo -c mpsqrt.c -o mpsqrt.o
mv -f .deps/mpsqrt.Tpo .deps/mpsqrt.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT slowexp.lo -MD -MP -MF .deps/slowexp.Tpo -c -o slowexp.lo slowexp.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT slowexp.lo -MD -MP -MF .deps/slowexp.Tpo -c slowexp.c -o slowexp.o
mv -f .deps/atnat.Tpo .deps/atnat.Plo
mv -f .deps/slowexp.Tpo .deps/slowexp.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT uexp2.lo -MD -MP -MF .deps/uexp2.Tpo -c -o uexp2.lo uexp2.c
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT urem.lo -MD -MP -MF .deps/urem.Tpo -c -o urem.lo urem.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT urem.lo -MD -MP -MF .deps/urem.Tpo -c urem.c -o urem.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT uexp2.lo -MD -MP -MF .deps/uexp2.Tpo -c uexp2.c -o uexp2.o
mv -f .deps/uexp2.Tpo .deps/uexp2.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT branred.lo -MD -MP -MF .deps/branred.Tpo -c -o branred.lo branred.c
mv -f .deps/urem.Tpo .deps/urem.Plo
mv -f .deps/mpa.Tpo .deps/mpa.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT mpatan2.lo -MD -MP -MF .deps/mpatan2.Tpo -c -o mpatan2.lo mpatan2.c
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT mptan.lo -MD -MP -MF .deps/mptan.Tpo -c -o mptan.lo mptan.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT branred.lo -MD -MP -MF .deps/branred.Tpo -c branred.c -o branred.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT mpatan2.lo -MD -MP -MF .deps/mpatan2.Tpo -c mpatan2.c -o mpatan2.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT mptan.lo -MD -MP -MF .deps/mptan.Tpo -c mptan.c -o mptan.o
mv -f .deps/mptan.Tpo .deps/mptan.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT slowlog2.lo -MD -MP -MF .deps/slowlog2.Tpo -c -o slowlog2.lo slowlog2.c
mv -f .deps/mpatan2.Tpo .deps/mpatan2.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT uexp.lo -MD -MP -MF .deps/uexp.Tpo -c -o uexp.lo uexp.c
mv -f .deps/branred.Tpo .deps/branred.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT uroot.lo -MD -MP -MF .deps/uroot.Tpo -c -o uroot.lo uroot.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT slowlog2.lo -MD -MP -MF .deps/slowlog2.Tpo -c slowlog2.c -o slowlog2.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT uexp.lo -MD -MP -MF .deps/uexp.Tpo -c uexp.c -o uexp.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT uroot.lo -MD -MP -MF .deps/uroot.Tpo -c uroot.c -o uroot.o
mv -f .deps/atnat2.Tpo .deps/atnat2.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT doasin.lo -MD -MP -MF .deps/doasin.Tpo -c -o doasin.lo doasin.c
mv -f .deps/slowlog2.Tpo .deps/slowlog2.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT mpatan.lo -MD -MP -MF .deps/mpatan.Tpo -c -o mpatan.lo mpatan.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT doasin.lo -MD -MP -MF .deps/doasin.Tpo -c doasin.c -o doasin.o
mv -f .deps/uroot.Tpo .deps/uroot.Plo
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT mpatan.lo -MD -MP -MF .deps/mpatan.Tpo -c mpatan.c -o mpatan.o
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT sincos32.lo -MD -MP -MF .deps/sincos32.Tpo -c -o sincos32.lo sincos32.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT sincos32.lo -MD -MP -MF .deps/sincos32.Tpo -c sincos32.c -o sincos32.o
mv -f .deps/uexp.Tpo .deps/uexp.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT slowpow.lo -MD -MP -MF .deps/slowpow.Tpo -c -o slowpow.lo slowpow.c
mv -f .deps/doasin.Tpo .deps/doasin.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT ulog2.lo -MD -MP -MF .deps/ulog2.Tpo -c -o ulog2.lo ulog2.c
mv -f .deps/mpatan.Tpo .deps/mpatan.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT usncs.lo -MD -MP -MF .deps/usncs.Tpo -c -o usncs.lo usncs.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT ulog2.lo -MD -MP -MF .deps/ulog2.Tpo -c ulog2.c -o ulog2.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT slowpow.lo -MD -MP -MF .deps/slowpow.Tpo -c slowpow.c -o slowpow.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT usncs.lo -MD -MP -MF .deps/usncs.Tpo -c usncs.c -o usncs.o
mv -f .deps/slowpow.Tpo .deps/slowpow.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT dosincos.lo -MD -MP -MF .deps/dosincos.Tpo -c -o dosincos.lo dosincos.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT dosincos.lo -MD -MP -MF .deps/dosincos.Tpo -c dosincos.c -o dosincos.o
mv -f .deps/sincos32.Tpo .deps/sincos32.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT mpexp.lo -MD -MP -MF .deps/mpexp.Tpo -c -o mpexp.lo mpexp.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT mpexp.lo -MD -MP -MF .deps/mpexp.Tpo -c mpexp.c -o mpexp.o
mv -f .deps/ulog2.Tpo .deps/ulog2.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT slowcot.lo -MD -MP -MF .deps/slowcot.Tpo -c -o slowcot.lo slowcot.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT slowcot.lo -MD -MP -MF .deps/slowcot.Tpo -c slowcot.c -o slowcot.o
mv -f .deps/mpexp.Tpo .deps/mpexp.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT uasncs.lo -MD -MP -MF .deps/uasncs.Tpo -c -o uasncs.lo uasncs.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT uasncs.lo -MD -MP -MF .deps/uasncs.Tpo -c uasncs.c -o uasncs.o
mv -f .deps/dosincos.Tpo .deps/dosincos.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT ulog.lo -MD -MP -MF .deps/ulog.Tpo -c -o ulog.lo ulog.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT ulog.lo -MD -MP -MF .deps/ulog.Tpo -c ulog.c -o ulog.o
mv -f .deps/slowcot.Tpo .deps/slowcot.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT utan.lo -MD -MP -MF .deps/utan.Tpo -c -o utan.lo utan.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT utan.lo -MD -MP -MF .deps/utan.Tpo -c utan.c -o utan.o
mv -f .deps/ulog.Tpo .deps/ulog.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I.     -g0 -O2   -MT DPChange.lo -MD -MP -MF .deps/DPChange.Tpo -c -o DPChange.lo DPChange.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -g0 -O2 -MT DPChange.lo -MD -MP -MF .deps/DPChange.Tpo -c DPChange.c -o DPChange.o
mv -f .deps/usncs.Tpo .deps/usncs.Plo
mv -f .deps/DPChange.Tpo .deps/DPChange.Plo
mv -f .deps/uasncs.Tpo .deps/uasncs.Plo
mv -f .deps/utan.Tpo .deps/utan.Plo
/bin/bash ../libtool  --tag=CC   --mode=link gcc  -g0 -O2   -version-info 0:0:0 -release 2.1  -o libultim.la -rpath /home/damien/Ibex/ibex-lib/__build__/3rd/lib atnat2.lo halfulp.lo mplog.lo slowexp2.lo ucot.lo upow.lo atnat.lo mpa.lo mpsqrt.lo slowexp.lo uexp2.lo urem.lo branred.lo mpatan2.lo mptan.lo slowlog2.lo uexp.lo uroot.lo doasin.lo mpatan.lo sincos32.lo slowpow.lo ulog2.lo usncs.lo dosincos.lo mpexp.lo slowcot.lo uasncs.lo ulog.lo utan.lo DPChange.lo  
libtool: link: ar cru .libs/libultim.a  atnat2.o halfulp.o mplog.o slowexp2.o ucot.o upow.o atnat.o mpa.o mpsqrt.o slowexp.o uexp2.o urem.o branred.o mpatan2.o mptan.o slowlog2.o uexp.o uroot.o doasin.o mpatan.o sincos32.o slowpow.o ulog2.o usncs.o dosincos.o mpexp.o slowcot.o uasncs.o ulog.o utan.o DPChange.o
libtool: link: ranlib .libs/libultim.a
libtool: link: ( cd ".libs" && rm -f "libultim.la" && ln -s "../libultim.la" "libultim.la" )
make[2] : on quitte le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0/src »
make[1] : on quitte le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0/src »
make[1] : on entre dans le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0 »
make[1]: rien à faire pour « all-am ».
make[1] : on quitte le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0 »

err: ar: `u' modifier ignored since `D' is the default (see `U')

done
------------------------------------------------
Calling install
['/usr/bin/make', 'install']
out: Making install in src
make[1] : on entre dans le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0/src »
make[2] : on entre dans le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0/src »
 /bin/mkdir -p '/home/damien/Ibex/ibex-lib/__build__/3rd/lib'
 /bin/bash ../libtool   --mode=install /usr/bin/install -c   libultim.la '/home/damien/Ibex/ibex-lib/__build__/3rd/lib'
libtool: install: /usr/bin/install -c .libs/libultim.lai /home/damien/Ibex/ibex-lib/__build__/3rd/lib/libultim.la
libtool: install: /usr/bin/install -c .libs/libultim.a /home/damien/Ibex/ibex-lib/__build__/3rd/lib/libultim.a
libtool: install: chmod 644 /home/damien/Ibex/ibex-lib/__build__/3rd/lib/libultim.a
libtool: install: ranlib /home/damien/Ibex/ibex-lib/__build__/3rd/lib/libultim.a
libtool: finish: PATH="/opt/ros/melodic/bin:/home/damien/bin:/home/damien/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin:/sbin" ldconfig -n /home/damien/Ibex/ibex-lib/__build__/3rd/lib
----------------------------------------------------------------------
Libraries have been installed in:
   /home/damien/Ibex/ibex-lib/__build__/3rd/lib

If you ever happen to want to link against installed libraries
in a given directory, LIBDIR, you must either use libtool, and
specify the full pathname of the library, or use the `-LLIBDIR'
flag during linking and do at least one of the following:
   - add LIBDIR to the `LD_LIBRARY_PATH' environment variable
     during execution
   - add LIBDIR to the `LD_RUN_PATH' environment variable
     during linking
   - use the `-Wl,-rpath -Wl,LIBDIR' linker flag
   - have your system administrator add LIBDIR to `/etc/ld.so.conf'

See any operating system documentation about shared libraries for
more information, such as the ld(1) and ld.so(8) manual pages.
----------------------------------------------------------------------
/bin/bash ../mkinstalldirs /home/damien/Ibex/ibex-lib/__build__/3rd/include
mkdir /home/damien/Ibex/ibex-lib/__build__/3rd/include
/usr/bin/install -c -m 644 ./MathLib.h /home/damien/Ibex/ibex-lib/__build__/3rd/include
 /bin/mkdir -p '/home/damien/Ibex/ibex-lib/__build__/3rd/include'
 /usr/bin/install -c -m 644 MathLib.h mathlib_configuration.h mathlib_config.h '/home/damien/Ibex/ibex-lib/__build__/3rd/include'
make[2] : on quitte le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0/src »
make[1] : on quitte le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0/src »
make[1] : on entre dans le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0 »
make[2] : on entre dans le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0 »
make[2]: rien à faire pour « install-exec-am ».
make[2]: rien à faire pour « install-data-am ».
make[2] : on quitte le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0 »
make[1] : on quitte le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/mathlib-2.1.0 »

done
===================== Installation of mathlib-2.1.0: done ======================
------------------------------------------------
Checking for header MathLib.h
==>
#include <MathLib.h>

int main(int argc, char **argv) {
    (void)argc; (void)argv;
    return 0;
}

<==
[1/2] Compiling __build__/.conf_check_f7fa08d9ca079d15e756ca10048bd161/test.cpp

['/usr/bin/clang++', '-std=c++11', '-O3', '-Wno-deprecated', '-Wno-unknown-pragmas', '-Wno-unused-variable', '-Wno-unused-function', '-U__STRICT_ANSI__', '-I../../3rd/include', '-I../..', '-DNDEBUG=1', '../test.cpp', '-c', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_f7fa08d9ca079d15e756ca10048bd161/testbuild/test.cpp.1.o']
[2/2] Linking __build__/.conf_check_f7fa08d9ca079d15e756ca10048bd161/testbuild/testprog

['/usr/bin/clang++', 'test.cpp.1.o', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_f7fa08d9ca079d15e756ca10048bd161/testbuild/testprog', '-Wl,-Bstatic', '-Wl,-Bdynamic']
yes
------------------------------------------------
Checking for library ultim
==>

int main(int argc, char **argv) {
    (void)argc; (void)argv;
    return 0;
}

<==
[1/2] Compiling __build__/.conf_check_414331813101a175f10dfd69cccc4267/test.cpp

['/usr/bin/clang++', '-std=c++11', '-O3', '-Wno-deprecated', '-Wno-unknown-pragmas', '-Wno-unused-variable', '-Wno-unused-function', '-U__STRICT_ANSI__', '-I../..', '-I../../3rd/include', '-DNDEBUG=1', '-DHAVE_MATHLIB_H=1', '../test.cpp', '-c', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_414331813101a175f10dfd69cccc4267/testbuild/test.cpp.1.o']
[2/2] Linking __build__/.conf_check_414331813101a175f10dfd69cccc4267/testbuild/testprog

['/usr/bin/clang++', 'test.cpp.1.o', '-o/home/damien/Ibex/ibex-lib/__build__/.conf_check_414331813101a175f10dfd69cccc4267/testbuild/testprog', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/home/damien/Ibex/ibex-lib/__build__/3rd/lib', '-lultim']
yes
------------------------------------------------
Using library gaol from
3rd/ subdirectory
===================== Starting installation of gaol-4.2.0 ======================
------------------------------------------------
Extracting gaol-4.2.0.tar.gz
done
------------------------------------------------
Checking for program 'make'
/usr/bin/make
find program=['make'] paths=['/opt/ros/melodic/bin', '/home/damien/bin', '/home/damien/.local/bin', '/usr/local/sbin', '/usr/local/bin', '/usr/sbin', '/usr/bin', '/sbin', '/bin', '/usr/games', '/usr/local/games', '/snap/bin'] var='MAKE' -> ['/usr/bin/make']
------------------------------------------------
Applying patch
gaol-4.2.0.all.all.patch
------------------------------------------------
Calling configure
./configure --with-mathlib-include=/home/damien/Ibex/ibex-lib/__build__/3rd/include --with-mathlib-lib=/home/damien/Ibex/ibex-lib/__build__/3rd/lib --disable-preserve-rounding --enable-optimize --disable-verbose-mode --enable-static --disable-shared --prefix=/home/damien/Ibex/ibex-lib/__build__/3rd
out: checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking whether to enable maintainer-specific portions of Makefiles... no
checking build system type... x86_64-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking how to print strings... printf
checking for style of include used by make... GNU
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking dependency style of gcc... gcc3
checking for a sed that does not truncate output... /bin/sed
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for fgrep... /bin/grep -F
checking for ld used by gcc... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
checking the name lister (/usr/bin/nm -B) interface... BSD nm
checking whether ln -s works... yes
checking the maximum length of command line arguments... 1572864
checking whether the shell understands some XSI constructs... yes
checking whether the shell understands "+="... yes
checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop
checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/bin/ld option to reload object files... -r
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for dlltool... no
checking how to associate runtime and link libraries... printf %s\n
checking for ar... ar
checking for archiver @FILE support... @
checking for strip... strip
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
checking for sysroot... no
checking for mt... mt
checking if mt is a manifest tool... no
checking how to run the C preprocessor... gcc -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking for dlfcn.h... yes
checking for objdir... .libs
checking if gcc supports -fno-rtti -fno-exceptions... no
checking for gcc option to produce PIC... -fPIC -DPIC
checking if gcc PIC flag -fPIC -DPIC works... yes
checking if gcc static flag -static works... yes
checking if gcc supports -c -o file.o... yes
checking if gcc supports -c -o file.o... (cached) yes
checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes
checking dynamic linker characteristics... GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
checking for shl_load... no
checking for shl_load in -ldld... no
checking for dlopen... no
checking for dlopen in -ldl... yes
checking whether a program can dlopen itself... yes
checking whether a statically linked program can dlopen itself... no
checking whether stripping libraries is possible... yes
checking if libtool supports shared libraries... yes
checking whether to build shared libraries... no
checking whether to build static libraries... yes
checking for bison... bison -y
checking whether we are using the GNU C compiler... (cached) yes
checking whether gcc accepts -g... (cached) yes
checking for gcc option to accept ISO C89... (cached) none needed
checking dependency style of gcc... (cached) gcc3
checking for g++... no
checking for c++... no
checking for gpp... no
checking for aCC... no
checking for CC... no
checking for cxx... no
checking for cc++... no
checking for cl.exe... no
checking for FCC... no
checking for KCC... no
checking for RCC... no
checking for xlC_r... no
checking for xlC... no
checking whether we are using the GNU C++ compiler... no
checking whether g++ accepts -g... no
checking dependency style of g++... none
checking whether SSE2 features are available... yes
checking whether SSE3 features are available... yes
checking for utan in -lultim... yes
checking MathLib.h usability... yes
checking MathLib.h presence... yes
checking for MathLib.h... yes
checking whether the C++ compiler accepts -fvisibility-inlines-hidden and -fvisibility... no
checking for dlopen in -ldl... (cached) yes
checking for cppunit/ui/text/TestRunner.h... checking cppunit/ui/text/TestRunner.h usability... no
checking cppunit/ui/text/TestRunner.h presence... no
checking for cppunit/ui/text/TestRunner.h... no
checking for nextafter in -lm... yes
checking for pdflatex... no
checking for bibtex... no
checking for makeindex... no
checking for makeidx... (cached) no
checking for doxygen... no
checking for dot... dot
checking for ANSI C header files... (cached) yes
checking fenv.h usability... yes
checking fenv.h presence... yes
checking for fenv.h... yes
checking float.h usability... yes
checking float.h presence... yes
checking for float.h... yes
checking stddef.h usability... yes
checking stddef.h presence... yes
checking for stddef.h... yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking for unistd.h... (cached) yes
checking limits usability... no
checking limits presence... no
checking for limits... no
checking cassert usability... no
checking cassert presence... no
checking for cassert... no
checking for stdbool.h that conforms to C99... no
checking for _Bool... no
checking for an ANSI C-conforming const... no
checking for inline... no
checking for size_t... no
checking whether byte ordering is bigendian... yes
checking size of int... 0
checking size of long... 0
checking size of long long int... 0
checking whether the C++ compiler accepts -frounding-math... no
checking for stdlib.h... (cached) yes
checking for GNU libc compatible malloc... no
checking for stdlib.h... (cached) yes
checking for GNU libc compatible realloc... no
checking for fesetround... no
checking for floor... no
checking for localeconv... yes
checking for memset... yes
checking for pow... no
checking for sqrt... no
checking for getrusage... yes
checking for clock... yes
checking for __signbit... yes
checking for round... no
checking for rint... no
checking for finite... yes
checking sys/resource.h usability... no
checking sys/resource.h presence... yes
checking for sys/resource.h... no
checking time.h usability... no
checking time.h presence... yes
checking for time.h... no
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating gdtoa/Makefile
config.status: creating gdtoa/test/Makefile
config.status: creating check/Makefile
config.status: creating doc/gaol_doxygen.cfg
config.status: creating doc/Makefile
config.status: creating doc/gaol_version.tex
config.status: creating gaol.spec
config.status: creating gaol/Makefile
config.status: creating examples/gaolcc
config.status: creating gaol/gaol_configuration.h
config.status: linking gaol/gaol_double_op_apmathlib.h to gaol/gaol_double_op.h
config.status: executing depfiles commands
config.status: executing libtool commands

Configured gaol v. 4.2.0 on x86_64-pc-linux-gnu
CC          = gcc
CFLAGS          =    -I.. -O2 -Wall -Wconversion
CXX         = g++
CXXFLAGS        =    -I.. -msse2 -msse3 -L/home/damien/Ibex/ibex-lib/__build__/3rd/lib -O3 -funroll-loops -fomit-frame-pointer -fexpensive-optimizations -Wall -Wconversion 
mathlib         = apmathlib
optimize        = yes
debug           = no
preserve rounding   = no
relations       = certainly
exceptions      = yes
asm         = yes
SSE2            = yes
SSE3            = yes
doxygen         = no
dot         = dot
pdflatex        = no
makeindex       = no
bibtex          = no

err: configure: WARNING: x86_64-pc-linux-gnu
configure: WARNING: "*******************************************"
configure: WARNING: "Library 'cppunit' not present."
configure: WARNING: "You will not be able to check the library."
configure: WARNING: "*******************************************"
configure: WARNING: "****************************************************"
configure: WARNING: "No tool to compile a LaTeX file into a PDF file found"
configure: WARNING: "You will not be able to re-create the PDF documentation"
configure: WARNING: "****************************************************"
configure: WARNING: "****************************************************"
configure: WARNING: "'doxygen' not found:                                "
configure: WARNING: "You will not be able to create html documentation   "
configure: WARNING: "****************************************************"
configure: WARNING: sys/resource.h: present but cannot be compiled
configure: WARNING: sys/resource.h:     check for missing prerequisite headers?
configure: WARNING: sys/resource.h: see the Autoconf documentation
configure: WARNING: sys/resource.h:     section "Present But Cannot Be Compiled"
configure: WARNING: sys/resource.h: proceeding with the compiler's result
configure: WARNING:     ## --------------------------------------------- ##
configure: WARNING:     ## Report this to goualard@users.sourceforge.net ##
configure: WARNING:     ## --------------------------------------------- ##
configure: WARNING: time.h: present but cannot be compiled
configure: WARNING: time.h:     check for missing prerequisite headers?
configure: WARNING: time.h: see the Autoconf documentation
configure: WARNING: time.h:     section "Present But Cannot Be Compiled"
configure: WARNING: time.h: proceeding with the compiler's result
configure: WARNING:     ## --------------------------------------------- ##
configure: WARNING:     ## Report this to goualard@users.sourceforge.net ##
configure: WARNING:     ## --------------------------------------------- ##

done
------------------------------------------------
Calling make
['/usr/bin/make', '-j4']
out: Making all in gdtoa
make[1] : on entre dans le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/gaol-4.2.0/gdtoa »
/usr/bin/make  all-am
make[2] : on entre dans le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/gaol-4.2.0/gdtoa »
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I../gaol   -I/home/damien/Ibex/ibex-lib/__build__/3rd/include  -I.. -O2 -Wall -Wconversion -MT dmisc.lo -MD -MP -MF .deps/dmisc.Tpo -c -o dmisc.lo dmisc.c
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I../gaol   -I/home/damien/Ibex/ibex-lib/__build__/3rd/include  -I.. -O2 -Wall -Wconversion -MT dtoa.lo -MD -MP -MF .deps/dtoa.Tpo -c -o dtoa.lo dtoa.c
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I../gaol   -I/home/damien/Ibex/ibex-lib/__build__/3rd/include  -I.. -O2 -Wall -Wconversion -MT g_Qfmt.lo -MD -MP -MF .deps/g_Qfmt.Tpo -c -o g_Qfmt.lo g_Qfmt.c
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I../gaol   -I/home/damien/Ibex/ibex-lib/__build__/3rd/include  -I.. -O2 -Wall -Wconversion -MT g__fmt.lo -MD -MP -MF .deps/g__fmt.Tpo -c -o g__fmt.lo g__fmt.c
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I../gaol -I/home/damien/Ibex/ibex-lib/__build__/3rd/include -I.. -O2 -Wall -Wconversion -MT dtoa.lo -MD -MP -MF .deps/dtoa.Tpo -c dtoa.c -o dtoa.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I../gaol -I/home/damien/Ibex/ibex-lib/__build__/3rd/include -I.. -O2 -Wall -Wconversion -MT g__fmt.lo -MD -MP -MF .deps/g__fmt.Tpo -c g__fmt.c -o g__fmt.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I../gaol -I/home/damien/Ibex/ibex-lib/__build__/3rd/include -I.. -O2 -Wall -Wconversion -MT dmisc.lo -MD -MP -MF .deps/dmisc.Tpo -c dmisc.c -o dmisc.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I../gaol -I/home/damien/Ibex/ibex-lib/__build__/3rd/include -I.. -O2 -Wall -Wconversion -MT g_Qfmt.lo -MD -MP -MF .deps/g_Qfmt.Tpo -c g_Qfmt.c -o g_Qfmt.o
Makefile:510: recipe for target 'dmisc.lo' failed
Makefile:510: recipe for target 'g__fmt.lo' failed
Makefile:510: recipe for target 'g_Qfmt.lo' failed
Makefile:510: recipe for target 'dtoa.lo' failed
make[2] : on quitte le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/gaol-4.2.0/gdtoa »
Makefile:374: recipe for target 'all' failed
make[1] : on quitte le répertoire « /home/damien/Ibex/ibex-lib/__build__/3rd/gaol-4.2.0/gdtoa »
Makefile:420: recipe for target 'all-recursive' failed

err: In file included from gdtoa.h:35:0,
                 from gdtoaimp.h:170,
                 from dtoa.c:32:
../gaol/gaol_configuration.h:266:16: error: duplicate 'unsigned'
 #define size_t unsigned int
                ^
../gaol/gaol_configuration.h:266:25: error: two or more data types in declaration specifiers
 #define size_t unsigned int
                         ^
In file included from gdtoa.h:35:0,
                 from gdtoaimp.h:170,
                 from g__fmt.c:32:
../gaol/gaol_configuration.h:266:16: error: duplicate 'unsigned'
 #define size_t unsigned int
                ^
../gaol/gaol_configuration.h:266:25: error: two or more data types in declaration specifiers
 #define size_t unsigned int
                         ^
In file included from gdtoa.h:35:0,
                 from gdtoaimp.h:170,
                 from dmisc.c:32:
../gaol/gaol_configuration.h:266:16: error: duplicate 'unsigned'
 #define size_t unsigned int
                ^
In file included from gdtoa.h:35:0,
                 from gdtoaimp.h:170,
                 from g_Qfmt.c:32:
../gaol/gaol_configuration.h:266:16: error: duplicate 'unsigned'
 #define size_t unsigned int
                ^
../gaol/gaol_configuration.h:266:25: error: two or more data types in declaration specifiers
 #define size_t unsigned int
                         ^
../gaol/gaol_configuration.h:266:25: error: two or more data types in declaration specifiers
 #define size_t unsigned int
                         ^
dtoa.c: In function 'dtoa':
dtoa.c:240:32: warning: suggest parentheses around '-' inside '<<' [-Wparentheses]
   x = i > 32  ? word0(d) << 64 - i | word1(d) >> i - 32
                             ~~~^~~
dtoa.c:240:52: warning: suggest parentheses around '-' inside '>>' [-Wparentheses]
   x = i > 32  ? word0(d) << 64 - i | word1(d) >> i - 32
                                                  ~~^~~~
dtoa.c:241:25: warning: suggest parentheses around '-' inside '<<' [-Wparentheses]
        : word1(d) << 32 - i;
                      ~~~^~~
dmisc.c: In function 'rv_alloc_D2A':
dmisc.c:49:48: warning: conversion to 'long unsigned int' from 'int' may change the sign of the result [-Wsign-conversion]
   sizeof(Bigint) - sizeof(ULong) - sizeof(int) + j <= i;
                                                ^
In file included from dtoa.c:32:0:
gdtoaimp.h:282:17: warning: conversion to 'long int' from 'double' may alter its value [-Wfloat-conversion]
 #define dval(x) ((U*)&x)->d
                 ^
dtoa.c:384:9: note: in expansion of macro 'dval'
     L = dval(d);
         ^~~~
dtoa.c:385:13: warning: conversion to 'double' from 'long int' may alter its value [-Wconversion]
     dval(d) -= L;
             ^~
g__fmt.c: In function 'g__fmt_D2A':
g__fmt.c:72:11: warning: conversion to 'char' from 'int' may alter its value [-Wconversion]
    *b++ = i + '0';
           ^
dtoa.c:386:12: warning: conversion to 'char' from 'int' may alter its value [-Wconversion]
     *s++ = '0' + (int)L;
            ^~~
dmisc.c: In function 'quorem_D2A':
dmisc.c:215:9: warning: conversion to 'int' from 'ULong {aka unsigned int}' may change the sign of the result [-Wsign-conversion]
  return q;
         ^
dtoa.c:403:19: warning: conversion to 'double' from 'long int' may alter its value [-Wconversion]
     if (!(dval(d) -= L))
                   ^~
dtoa.c:405:12: warning: conversion to 'char' from 'int' may alter its value [-Wconversion]
     *s++ = '0' + (int)L;
            ^~~
dtoa.c:440:16: warning: conversion to 'double' from 'long int' may alter its value [-Wconversion]
    dval(d) -= L*ds;
                ^
dtoa.c:448:11: warning: conversion to 'char' from 'int' may alter its value [-Wconversion]
    *s++ = '0' + (int)L;
           ^~~
dtoa.c:464:39: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
     if (dval(d) > ds || dval(d) == ds && L & 1) {
In file included from dtoa.c:32:0:
gdtoaimp.h:462:51: warning: conversion to 'long unsigned int' from 'int' may change the sign of the result [-Wsign-conversion]
 #define Bcopy(x,y) memcpy(&x->sign,&y->sign,y->wds*sizeof(ULong) + 2*sizeof(int))
                                                   ^
dtoa.c:603:4: note: in expansion of macro 'Bcopy'
    Bcopy(mhi, mlo);
    ^~~~~
dtoa.c:603:15: warning: conversion to 'unsigned int' from 'long unsigned int' may alter its value [-Wconversion]
    Bcopy(mhi, mlo);
               ^
gdtoaimp.h:462:45: note: in definition of macro 'Bcopy'
 #define Bcopy(x,y) memcpy(&x->sign,&y->sign,y->wds*sizeof(ULong) + 2*sizeof(int))
                                             ^
dtoa.c:630:12: warning: conversion to 'char' from 'int' may alter its value [-Wconversion]
     *s++ = dig;
            ^~~
dtoa.c:636:8: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
    if (j < 0 || j == 0 && mode != 1
                 ~~~~~~~~~~~~~~~~~~~
 #ifndef ROUND_BIASED
 ~~~~~~~~~~~~~~~~~~~~
        && !(word1(d) & 1)
        ^~~~~~~~~~~~~~~~~~
dtoa.c:655:29: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
      if ((j1 > 0 || j1 == 0 && dig & 1)
                     ~~~~~~~~^~~~~~~~~~
dtoa.c:660:12: warning: conversion to 'char' from 'int' may alter its value [-Wconversion]
     *s++ = dig;
            ^~~
dtoa.c:673:12: warning: conversion to 'char' from 'int' may alter its value [-Wconversion]
     *s++ = dig + 1;
            ^~~
dtoa.c:679:11: warning: conversion to 'char' from 'int' may alter its value [-Wconversion]
    *s++ = dig;
           ^~~
dtoa.c:693:11: warning: conversion to 'char' from 'int' may alter its value [-Wconversion]
    *s++ = dig = quorem(b,S) + '0';
           ^~~
dtoa.c:715:22: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
  if (j > 0 || j == 0 && dig & 1) {
               ~~~~~~~^~~~~~~~~~
dtoa.c:726:2: warning: label 'trimzeros' defined but not used [-Wunused-label]
  trimzeros:
  ^~~~~~~~~
make[2]: *** [dmisc.lo] Error 1
make[2]: *** Attente des tâches non terminées....
make[2]: *** [g__fmt.lo] Error 1
make[2]: *** [g_Qfmt.lo] Error 1
make[2]: *** [dtoa.lo] Error 1
make[1]: *** [all] Error 2
make: *** [all-recursive] Error 1

failed
from /home/damien/Ibex/ibex-lib/interval_lib_wrapper/gaol: failed to make gaol-4.2.0 (['/usr/bin/make', '-j4'])
cyrilbouvier commented 3 years ago

C'est un bug dans Gaol, plus précisement dans gdtoa (une bibliothèque incluse dans gaol). On a jamais rencontré ce bug auparavant. Avez vous une configuration particulière ? Je remarque par exemple que waf ne trouve pas g++ sur votre machine (mais il trouve clang++) mais par contre il trouve gcc.

VincentDuf commented 3 years ago

Ok problème résolu, j'avais en effet un problème entre gcc et g++. J'ai remis à jour avec "update-alternatives" et l'installation s'est bien déroulée.

Merci beaucoup, je clôture le ticket.