Related to Ibex-lib installation #516
Unanswered
airborn416
asked this question in
Q&A
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hello.
We have encountered an error in the process of installing ibex-lib 2.8.9
Please understand that I am not familiar with English as it was written through Google Translate.
OS: centos 7
gcc:4.8.5-44.el7
flex:2.5.37-6.el7
bison:3.0.4-2.el7
python:2.7.5-69.el7_5
make:1:3.82-24.el7
gcc-c++:4.8.5-44.el7
Environment.
Below is an error during the installation process.
Thanks in advance to anyone who answers.
[root@localhost ibex-2.8.9]# ./waf configure --lp-lib=soplex
invalid lock file in /root/libs/Ibex/ibex-2.8.9
Setting top to : /root/libs/Ibex/ibex-2.8.9
Setting out to : /root/libs/Ibex/ibex-2.8.9/build
Checking for 'g++' (C++ compiler) : /bin/g++
Checking for 'gcc' (C compiler) : /bin/gcc
Checking for program 'bison' : /bin/bison
Checking for program 'flex' : /bin/flex
sys.platform : linux2
Checking for compiler flags -std=c++11 : yes
Checking for compiler flags -O3 : yes
Checking for compiler flags -Wno-deprecated : yes
Checking for compiler flags -Wno-unknown-pragmas : yes
Checking for compiler flags -Wno-unused-variable : yes
Checking for compiler flags -Wno-unused-function : yes
Checking for compiler flags -U__STRICT_ANSI__ : yes
Ibex will be built as a : static library
Configuration of the library for interval arithmetic
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' : /bin/make
Calling configure : done
Calling make : done
Calling install : done
Checking for header MathLib.h : yes
Checking for library ultim : 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' : /bin/make
Applying patch : gaol-4.2.0.all.all.patch
Calling configure : done
Calling make : done
Calling install : done
Checking for header gdtoa/gdtoa.h : yes
Checking for library gdtoa : yes
Checking for header gaol/gaol.h : no
Checking for header gaol/gaol.h with -msse2 : no
Checking for header gaol/gaol.h with -msse3 : yes
Checking for header gaol/gaol_interval.h : yes
Checking for library gaol : yes
Configuration of the library for LP
Library for LP : soplex
Checking for header soplex.h : not found
Checking for library ['soplex', 'z'] : not found
Checking for library soplex : not found
Using library Soplex from : 3rd/ subdirectory
Starting installation of soplex-4.0.2
Extracting soplex-4.0.2.tar : done
Checking for program 'make' : /bin/make
Applying patch : soplex-4.0.2.all.all.patch
Calling make : done
Installing soplex : done
Checking for header soplex.h : yes
Checking for library ['soplex', 'z'] : yes
Configuration of the plugins
Configuration of the src directory
Checking for compiler flags -U__STRICT_ANSI__ : yes
Configuration of the tests
Checking for program 'pkg-config' : /bin/pkg-config
Checking for 'cppunit' : not found
Checking for header cppunit/Test.h : not found
Checking for library cppunit : not found
Load benchmarks module
Checking for program 'gnuplot' : not found
'configure' finished successfully (58.292s)
[root@localhost ibex-2.8.9]# sudo ./waf install -v
Waf: Entering directory `/root/libs/Ibex/ibex-2.8.9/build'
[ 68/202] Compiling src/system/ibex_NormalizedSystem.cpp
07:15:15 runner ['/bin/g++', '-std=c++11', '-O3', '-Wno-deprecated', '-Wno-unknown-pragmas', '-Wno-unused-variable', '-Wno-unused-function', '-U__STRICT_ANSI__', '-U__STRICT_ANSI__', '-msse3', '-I.', '-I../interval_lib_wrapper/gaol', '-I../lp_lib_wrapper/soplex', '-I../src/arithmetic', '-Isrc/arithmetic', '-I../src/bin', '-Isrc/bin', '-I../src/bisector', '-Isrc/bisector', '-I../src/cell', '-Isrc/cell', '-I../src/combinatorial', '-Isrc/combinatorial', '-I../src/contractor', '-Isrc/contractor', '-I../src/data', '-Isrc/data', '-I../src/function', '-Isrc/function', '-I../src/loup', '-Isrc/loup', '-I../src/numeric', '-Isrc/numeric', '-I../src/operators', '-Isrc/operators', '-I../src/optim', '-Isrc/optim', '-I../src/parser', '-Isrc/parser', '-I../src/predicate', '-Isrc/predicate', '-I../src/set', '-Isrc/set', '-I../src/solver', '-Isrc/solver', '-I../src/strategy', '-Isrc/strategy', '-I../src/symbolic', '-Isrc/symbolic', '-I../src/system', '-Isrc/system', '-I../src/tools', '-Isrc/tools', '-I3rd/include', '-DNDEBUG=1', '-DHAVE_MATHLIB_H=1', '-DHAVE_GDTOA_GDTOA_H=1', '-DHAVE_GAOL_GAOL_H=1', '-DHAVE_GAOL_GAOL_INTERVAL_H=1', '-DHAVE_SOPLEX_H=1', '../src/system/ibex_NormalizedSystem.cpp', '-c', '-o/root/libs/Ibex/ibex-2.8.9/build/src/system/ibex_NormalizedSystem.cpp.3.o']
[ 69/202] Compiling src/strategy/ibex_BxpLinearRelaxArgMin.cpp
07:15:15 runner ['/bin/g++', '-std=c++11', '-O3', '-Wno-deprecated', '-Wno-unknown-pragmas', '-Wno-unused-variable', '-Wno-unused-function', '-U__STRICT_ANSI__', '-U__STRICT_ANSI__', '-msse3', '-I.', '-I../interval_lib_wrapper/gaol', '-I../lp_lib_wrapper/soplex', '-I../src/arithmetic', '-Isrc/arithmetic', '-I../src/bin', '-Isrc/bin', '-I../src/bisector', '-Isrc/bisector', '-I../src/cell', '-Isrc/cell', '-I../src/combinatorial', '-Isrc/combinatorial', '-I../src/contractor', '-Isrc/contractor', '-I../src/data', '-Isrc/data', '-I../src/function', '-Isrc/function', '-I../src/loup', '-Isrc/loup', '-I../src/numeric', '-Isrc/numeric', '-I../src/operators', '-Isrc/operators', '-I../src/optim', '-Isrc/optim', '-I../src/parser', '-Isrc/parser', '-I../src/predicate', '-Isrc/predicate', '-I../src/set', '-Isrc/set', '-I../src/solver', '-Isrc/solver', '-I../src/strategy', '-Isrc/strategy', '-I../src/symbolic', '-Isrc/symbolic', '-I../src/system', '-Isrc/system', '-I../src/tools', '-Isrc/tools', '-I3rd/include', '-DNDEBUG=1', '-DHAVE_MATHLIB_H=1', '-DHAVE_GDTOA_GDTOA_H=1', '-DHAVE_GAOL_GAOL_H=1', '-DHAVE_GAOL_GAOL_INTERVAL_H=1', '-DHAVE_SOPLEX_H=1', '../src/strategy/ibex_BxpLinearRelaxArgMin.cpp', '-c', '-o/root/libs/Ibex/ibex-2.8.9/build/src/strategy/ibex_BxpLinearRelaxArgMin.cpp.3.o']
[ 70/202] Compiling src/symbolic/ibex_ExprPolynomial.cpp
07:15:15 runner ['/bin/g++', '-std=c++11', '-O3', '-Wno-deprecated', '-Wno-unknown-pragmas', '-Wno-unused-variable', '-Wno-unused-function', '-U__STRICT_ANSI__', '-U__STRICT_ANSI__', '-msse3', '-I.', '-I../interval_lib_wrapper/gaol', '-I../lp_lib_wrapper/soplex', '-I../src/arithmetic', '-Isrc/arithmetic', '-I../src/bin', '-Isrc/bin', '-I../src/bisector', '-Isrc/bisector', '-I../src/cell', '-Isrc/cell', '-I../src/combinatorial', '-Isrc/combinatorial', '-I../src/contractor', '-Isrc/contractor', '-I../src/data', '-Isrc/data', '-I../src/function', '-Isrc/function', '-I../src/loup', '-Isrc/loup', '-I../src/numeric', '-Isrc/numeric', '-I../src/operators', '-Isrc/operators', '-I../src/optim', '-Isrc/optim', '-I../src/parser', '-Isrc/parser', '-I../src/predicate', '-Isrc/predicate', '-I../src/set', '-Isrc/set', '-I../src/solver', '-Isrc/solver', '-I../src/strategy', '-Isrc/strategy', '-I../src/symbolic', '-Isrc/symbolic', '-I../src/system', '-Isrc/system', '-I../src/tools', '-Isrc/tools', '-I3rd/include', '-DNDEBUG=1', '-DHAVE_MATHLIB_H=1', '-DHAVE_GDTOA_GDTOA_H=1', '-DHAVE_GAOL_GAOL_H=1', '-DHAVE_GAOL_GAOL_INTERVAL_H=1', '-DHAVE_SOPLEX_H=1', '../src/symbolic/ibex_ExprPolynomial.cpp', '-c', '-o/root/libs/Ibex/ibex-2.8.9/build/src/symbolic/ibex_ExprPolynomial.cpp.3.o']
[ 71/202] Compiling src/cell/ibex_CellBeamSearch.cpp
07:15:15 runner ['/bin/g++', '-std=c++11', '-O3', '-Wno-deprecated', '-Wno-unknown-pragmas', '-Wno-unused-variable', '-Wno-unused-function', '-U__STRICT_ANSI__', '-U__STRICT_ANSI__', '-msse3', '-I.', '-I../interval_lib_wrapper/gaol', '-I../lp_lib_wrapper/soplex', '-I../src/arithmetic', '-Isrc/arithmetic', '-I../src/bin', '-Isrc/bin', '-I../src/bisector', '-Isrc/bisector', '-I../src/cell', '-Isrc/cell', '-I../src/combinatorial', '-Isrc/combinatorial', '-I../src/contractor', '-Isrc/contractor', '-I../src/data', '-Isrc/data', '-I../src/function', '-Isrc/function', '-I../src/loup', '-Isrc/loup', '-I../src/numeric', '-Isrc/numeric', '-I../src/operators', '-Isrc/operators', '-I../src/optim', '-Isrc/optim', '-I../src/parser', '-Isrc/parser', '-I../src/predicate', '-Isrc/predicate', '-I../src/set', '-Isrc/set', '-I../src/solver', '-Isrc/solver', '-I../src/strategy', '-Isrc/strategy', '-I../src/symbolic', '-Isrc/symbolic', '-I../src/system', '-Isrc/system', '-I../src/tools', '-Isrc/tools', '-I3rd/include', '-DNDEBUG=1', '-DHAVE_MATHLIB_H=1', '-DHAVE_GDTOA_GDTOA_H=1', '-DHAVE_GAOL_GAOL_H=1', '-DHAVE_GAOL_GAOL_INTERVAL_H=1', '-DHAVE_SOPLEX_H=1', '../src/cell/ibex_CellBeamSearch.cpp', '-c', '-o/root/libs/Ibex/ibex-2.8.9/build/src/cell/ibex_CellBeamSearch.cpp.3.o']
[ 72/202] Compiling src/contractor/ibex_CtcExist.cpp
07:15:15 runner ['/bin/g++', '-std=c++11', '-O3', '-Wno-deprecated', '-Wno-unknown-pragmas', '-Wno-unused-variable', '-Wno-unused-function', '-U__STRICT_ANSI__', '-U__STRICT_ANSI__', '-msse3', '-I.', '-I../interval_lib_wrapper/gaol', '-I../lp_lib_wrapper/soplex', '-I../src/arithmetic', '-Isrc/arithmetic', '-I../src/bin', '-Isrc/bin', '-I../src/bisector', '-Isrc/bisector', '-I../src/cell', '-Isrc/cell', '-I../src/combinatorial', '-Isrc/combinatorial', '-I../src/contractor', '-Isrc/contractor', '-I../src/data', '-Isrc/data', '-I../src/function', '-Isrc/function', '-I../src/loup', '-Isrc/loup', '-I../src/numeric', '-Isrc/numeric', '-I../src/operators', '-Isrc/operators', '-I../src/optim', '-Isrc/optim', '-I../src/parser', '-Isrc/parser', '-I../src/predicate', '-Isrc/predicate', '-I../src/set', '-Isrc/set', '-I../src/solver', '-Isrc/solver', '-I../src/strategy', '-Isrc/strategy', '-I../src/symbolic', '-Isrc/symbolic', '-I../src/system', '-Isrc/system', '-I../src/tools', '-Isrc/tools', '-I3rd/include', '-DNDEBUG=1', '-DHAVE_MATHLIB_H=1', '-DHAVE_GDTOA_GDTOA_H=1', '-DHAVE_GAOL_GAOL_H=1', '-DHAVE_GAOL_GAOL_INTERVAL_H=1', '-DHAVE_SOPLEX_H=1', '../src/contractor/ibex_CtcExist.cpp', '-c', '-o/root/libs/Ibex/ibex-2.8.9/build/src/contractor/ibex_CtcExist.cpp.3.o']
[ 73/202] Compiling src/function/ibex_Function.cpp
07:15:15 runner ['/bin/g++', '-std=c++11', '-O3', '-Wno-deprecated', '-Wno-unknown-pragmas', '-Wno-unused-variable', '-Wno-unused-function', '-U__STRICT_ANSI__', '-U__STRICT_ANSI__', '-msse3', '-I.', '-I../interval_lib_wrapper/gaol', '-I../lp_lib_wrapper/soplex', '-I../src/arithmetic', '-Isrc/arithmetic', '-I../src/bin', '-Isrc/bin', '-I../src/bisector', '-Isrc/bisector', '-I../src/cell', '-Isrc/cell', '-I../src/combinatorial', '-Isrc/combinatorial', '-I../src/contractor', '-Isrc/contractor', '-I../src/data', '-Isrc/data', '-I../src/function', '-Isrc/function', '-I../src/loup', '-Isrc/loup', '-I../src/numeric', '-Isrc/numeric', '-I../src/operators', '-Isrc/operators', '-I../src/optim', '-Isrc/optim', '-I../src/parser', '-Isrc/parser', '-I../src/predicate', '-Isrc/predicate', '-I../src/set', '-Isrc/set', '-I../src/solver', '-Isrc/solver', '-I../src/strategy', '-Isrc/strategy', '-I../src/symbolic', '-Isrc/symbolic', '-I../src/system', '-Isrc/system', '-I../src/tools', '-Isrc/tools', '-I3rd/include', '-DNDEBUG=1', '-DHAVE_MATHLIB_H=1', '-DHAVE_GDTOA_GDTOA_H=1', '-DHAVE_GAOL_GAOL_H=1', '-DHAVE_GAOL_GAOL_INTERVAL_H=1', '-DHAVE_SOPLEX_H=1', '../src/function/ibex_Function.cpp', '-c', '-o/root/libs/Ibex/ibex-2.8.9/build/src/function/ibex_Function.cpp.3.o']
../src/symbolic/ibex_ExprPolynomial.cpp: In member function ‘void ibex::ExprPolynomial::add_or_sub(const ibex::ExprPolynomial&, bool)’:
../src/symbolic/ibex_ExprPolynomial.cpp:102:25: error: no matching function for call to ‘std::listibex::ExprMonomial::erase(std::listibex::ExprMonomial::const_iterator&)’
it1 = mono.erase(it1);
^
../src/symbolic/ibex_ExprPolynomial.cpp:102:25: note: candidates are:
In file included from /usr/include/c++/4.8.2/list:64:0,
from ../src/symbolic/ibex_ExprMonomial.h:18,
from ../src/symbolic/ibex_ExprPolynomial.h:14,
from ../src/symbolic/ibex_ExprPolynomial.cpp:11:
/usr/include/c++/4.8.2/bits/list.tcc:108:5: note: std::list<_Tp, _Alloc>::iterator std::list<_Tp, _Alloc>::erase(std::list<_Tp, _Alloc>::iterator) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial]
list<_Tp, _Alloc>::
^
/usr/include/c++/4.8.2/bits/list.tcc:108:5: note: no known conversion for argument 1 from ‘std::listibex::ExprMonomial::const_iterator {aka std::_List_const_iteratoribex::ExprMonomial}’ to ‘std::listibex::ExprMonomial::iterator {aka std::_List_iteratoribex::ExprMonomial}’
In file included from /usr/include/c++/4.8.2/list:63:0,
from ../src/symbolic/ibex_ExprMonomial.h:18,
from ../src/symbolic/ibex_ExprPolynomial.h:14,
from ../src/symbolic/ibex_ExprPolynomial.cpp:11:
/usr/include/c++/4.8.2/bits/stl_list.h:1193:7: note: std::list<_Tp, _Alloc>::iterator std::list<_Tp, _Alloc>::erase(std::list<_Tp, _Alloc>::iterator, std::list<_Tp, _Alloc>::iterator) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial]
erase(iterator __first, iterator __last)
^
/usr/include/c++/4.8.2/bits/stl_list.h:1193:7: note: candidate expects 2 arguments, 1 provided
../src/symbolic/ibex_ExprPolynomial.cpp:107:25: error: no matching function for call to ‘std::listibex::ExprMonomial::insert(std::listibex::ExprMonomial::const_iterator&, ibex::ExprMonomial&)’
mono.insert(it1, m12);
^
../src/symbolic/ibex_ExprPolynomial.cpp:107:25: note: candidates are:
In file included from /usr/include/c++/4.8.2/list:64:0,
from ../src/symbolic/ibex_ExprMonomial.h:18,
from ../src/symbolic/ibex_ExprPolynomial.h:14,
from ../src/symbolic/ibex_ExprPolynomial.cpp:11:
/usr/include/c++/4.8.2/bits/list.tcc:98:5: note: std::list<_Tp, _Alloc>::iterator std::list<_Tp, _Alloc>::insert(std::list<_Tp, _Alloc>::iterator, const value_type&) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial; std::list<_Tp, _Alloc>::value_type = ibex::ExprMonomial]
list<_Tp, _Alloc>::
^
/usr/include/c++/4.8.2/bits/list.tcc:98:5: note: no known conversion for argument 1 from ‘std::listibex::ExprMonomial::const_iterator {aka std::_List_const_iteratoribex::ExprMonomial}’ to ‘std::listibex::ExprMonomial::iterator {aka std::_List_iteratoribex::ExprMonomial}’
In file included from /usr/include/c++/4.8.2/list:63:0,
from ../src/symbolic/ibex_ExprMonomial.h:18,
from ../src/symbolic/ibex_ExprPolynomial.h:14,
from ../src/symbolic/ibex_ExprPolynomial.cpp:11:
/usr/include/c++/4.8.2/bits/stl_list.h:1089:7: note: std::list<_Tp, _Alloc>::iterator std::list<_Tp, _Alloc>::insert(std::list<_Tp, _Alloc>::iterator, std::list<_Tp, _Alloc>::value_type&&) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial; std::list<_Tp, _Alloc>::value_type = ibex::ExprMonomial]
insert(iterator __position, value_type&& __x)
^
/usr/include/c++/4.8.2/bits/stl_list.h:1089:7: note: no known conversion for argument 1 from ‘std::listibex::ExprMonomial::const_iterator {aka std::_List_const_iteratoribex::ExprMonomial}’ to ‘std::listibex::ExprMonomial::iterator {aka std::_List_iteratoribex::ExprMonomial}’
/usr/include/c++/4.8.2/bits/stl_list.h:1106:7: note: void std::list<_Tp, _Alloc>::insert(std::list<_Tp, _Alloc>::iterator, std::initializer_list<_Tp>) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial]
insert(iterator __p, initializer_list<value_type> __l)
^
/usr/include/c++/4.8.2/bits/stl_list.h:1106:7: note: no known conversion for argument 1 from ‘std::listibex::ExprMonomial::const_iterator {aka std::_List_const_iteratoribex::ExprMonomial}’ to ‘std::listibex::ExprMonomial::iterator {aka std::_List_iteratoribex::ExprMonomial}’
/usr/include/c++/4.8.2/bits/stl_list.h:1123:7: note: void std::list<_Tp, _Alloc>::insert(std::list<_Tp, _Alloc>::iterator, std::list<_Tp, _Alloc>::size_type, const value_type&) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial; std::list<_Tp, _Alloc>::size_type = long unsigned int; std::list<_Tp, _Alloc>::value_type = ibex::ExprMonomial]
insert(iterator __position, size_type __n, const value_type& __x)
^
/usr/include/c++/4.8.2/bits/stl_list.h:1123:7: note: candidate expects 3 arguments, 2 provided
/usr/include/c++/4.8.2/bits/stl_list.h:1149:9: note: template<class _InputIterator, class> void std::list<_Tp, _Alloc>::insert(std::list<_Tp, _Alloc>::iterator, _InputIterator, _InputIterator) [with _InputIterator = _InputIterator; = ; _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial]
insert(iterator __position, _InputIterator __first,
^
/usr/include/c++/4.8.2/bits/stl_list.h:1149:9: note: template argument deduction/substitution failed:
../src/symbolic/ibex_ExprPolynomial.cpp:107:25: note: cannot convert ‘it1’ (type ‘std::listibex::ExprMonomial::const_iterator {aka std::_List_const_iteratoribex::ExprMonomial}’) to type ‘std::listibex::ExprMonomial::iterator {aka std::_List_iteratoribex::ExprMonomial}’
mono.insert(it1, m12);
^
../src/symbolic/ibex_ExprPolynomial.cpp:113:41: error: no matching function for call to ‘std::listibex::ExprMonomial::insert(std::listibex::ExprMonomial::const_iterator&, const ibex::ExprMonomial)’
mono.insert(it1, add? *it2 : -(*it2));
^
../src/symbolic/ibex_ExprPolynomial.cpp:113:41: note: candidates are:
In file included from /usr/include/c++/4.8.2/list:64:0,
from ../src/symbolic/ibex_ExprMonomial.h:18,
from ../src/symbolic/ibex_ExprPolynomial.h:14,
from ../src/symbolic/ibex_ExprPolynomial.cpp:11:
/usr/include/c++/4.8.2/bits/list.tcc:98:5: note: std::list<_Tp, _Alloc>::iterator std::list<_Tp, _Alloc>::insert(std::list<_Tp, _Alloc>::iterator, const value_type&) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial; std::list<_Tp, _Alloc>::value_type = ibex::ExprMonomial]
list<_Tp, _Alloc>::
^
/usr/include/c++/4.8.2/bits/list.tcc:98:5: note: no known conversion for argument 1 from ‘std::listibex::ExprMonomial::const_iterator {aka std::_List_const_iteratoribex::ExprMonomial}’ to ‘std::listibex::ExprMonomial::iterator {aka std::_List_iteratoribex::ExprMonomial}’
In file included from /usr/include/c++/4.8.2/list:63:0,
from ../src/symbolic/ibex_ExprMonomial.h:18,
from ../src/symbolic/ibex_ExprPolynomial.h:14,
from ../src/symbolic/ibex_ExprPolynomial.cpp:11:
/usr/include/c++/4.8.2/bits/stl_list.h:1089:7: note: std::list<_Tp, _Alloc>::iterator std::list<_Tp, _Alloc>::insert(std::list<_Tp, _Alloc>::iterator, std::list<_Tp, _Alloc>::value_type&&) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial; std::list<_Tp, _Alloc>::value_type = ibex::ExprMonomial]
insert(iterator __position, value_type&& __x)
^
/usr/include/c++/4.8.2/bits/stl_list.h:1089:7: note: no known conversion for argument 1 from ‘std::listibex::ExprMonomial::const_iterator {aka std::_List_const_iteratoribex::ExprMonomial}’ to ‘std::listibex::ExprMonomial::iterator {aka std::_List_iteratoribex::ExprMonomial}’
/usr/include/c++/4.8.2/bits/stl_list.h:1106:7: note: void std::list<_Tp, _Alloc>::insert(std::list<_Tp, _Alloc>::iterator, std::initializer_list<_Tp>) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial]
insert(iterator __p, initializer_list<value_type> __l)
^
/usr/include/c++/4.8.2/bits/stl_list.h:1106:7: note: no known conversion for argument 1 from ‘std::listibex::ExprMonomial::const_iterator {aka std::_List_const_iteratoribex::ExprMonomial}’ to ‘std::listibex::ExprMonomial::iterator {aka std::_List_iteratoribex::ExprMonomial}’
/usr/include/c++/4.8.2/bits/stl_list.h:1123:7: note: void std::list<_Tp, _Alloc>::insert(std::list<_Tp, _Alloc>::iterator, std::list<_Tp, _Alloc>::size_type, const value_type&) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial; std::list<_Tp, _Alloc>::size_type = long unsigned int; std::list<_Tp, _Alloc>::value_type = ibex::ExprMonomial]
insert(iterator __position, size_type __n, const value_type& __x)
^
/usr/include/c++/4.8.2/bits/stl_list.h:1123:7: note: candidate expects 3 arguments, 2 provided
/usr/include/c++/4.8.2/bits/stl_list.h:1149:9: note: template<class _InputIterator, class> void std::list<_Tp, _Alloc>::insert(std::list<_Tp, _Alloc>::iterator, _InputIterator, _InputIterator) [with _InputIterator = _InputIterator; = ; _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial]
insert(iterator __position, _InputIterator __first,
^
/usr/include/c++/4.8.2/bits/stl_list.h:1149:9: note: template argument deduction/substitution failed:
../src/symbolic/ibex_ExprPolynomial.cpp:113:41: note: cannot convert ‘it1’ (type ‘std::listibex::ExprMonomial::const_iterator {aka std::_List_const_iteratoribex::ExprMonomial}’) to type ‘std::listibex::ExprMonomial::iterator {aka std::_List_iteratoribex::ExprMonomial}’
mono.insert(it1, add? *it2 : -(*it2));
^
../src/symbolic/ibex_ExprPolynomial.cpp:117:24: error: no matching function for call to ‘std::listibex::ExprMonomial::erase(std::listibex::ExprMonomial::const_iterator&)’
it1 = mono.erase(it1);
^
../src/symbolic/ibex_ExprPolynomial.cpp:117:24: note: candidates are:
In file included from /usr/include/c++/4.8.2/list:64:0,
from ../src/symbolic/ibex_ExprMonomial.h:18,
from ../src/symbolic/ibex_ExprPolynomial.h:14,
from ../src/symbolic/ibex_ExprPolynomial.cpp:11:
/usr/include/c++/4.8.2/bits/list.tcc:108:5: note: std::list<_Tp, _Alloc>::iterator std::list<_Tp, _Alloc>::erase(std::list<_Tp, _Alloc>::iterator) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial]
list<_Tp, _Alloc>::
^
/usr/include/c++/4.8.2/bits/list.tcc:108:5: note: no known conversion for argument 1 from ‘std::listibex::ExprMonomial::const_iterator {aka std::_List_const_iteratoribex::ExprMonomial}’ to ‘std::listibex::ExprMonomial::iterator {aka std::_List_iteratoribex::ExprMonomial}’
In file included from /usr/include/c++/4.8.2/list:63:0,
from ../src/symbolic/ibex_ExprMonomial.h:18,
from ../src/symbolic/ibex_ExprPolynomial.h:14,
from ../src/symbolic/ibex_ExprPolynomial.cpp:11:
/usr/include/c++/4.8.2/bits/stl_list.h:1193:7: note: std::list<_Tp, _Alloc>::iterator std::list<_Tp, _Alloc>::erase(std::list<_Tp, _Alloc>::iterator, std::list<_Tp, _Alloc>::iterator) [with _Tp = ibex::ExprMonomial; _Alloc = std::allocatoribex::ExprMonomial; std::list<_Tp, _Alloc>::iterator = std::_List_iteratoribex::ExprMonomial]
erase(iterator __first, iterator __last)
^
/usr/include/c++/4.8.2/bits/stl_list.h:1193:7: note: candidate expects 2 arguments, 1 provided
Waf: Leaving directory `/root/libs/Ibex/ibex-2.8.9/build'
Build failed
-> task in 'ibex' failed with exit status 1:
{task 139739207197232: cxx ibex_ExprPolynomial.cpp -> ibex_ExprPolynomial.cpp.3.o}
['/bin/g++', '-std=c++11', '-O3', '-Wno-deprecated', '-Wno-unknown-pragmas', '-Wno-unused-variable', '-Wno-unused-function', '-U__STRICT_ANSI__', '-U__STRICT_ANSI__', '-msse3', '-I.', '-I../interval_lib_wrapper/gaol', '-I../lp_lib_wrapper/soplex', '-I../src/arithmetic', '-Isrc/arithmetic', '-I../src/bin', '-Isrc/bin', '-I../src/bisector', '-Isrc/bisector', '-I../src/cell', '-Isrc/cell', '-I../src/combinatorial', '-Isrc/combinatorial', '-I../src/contractor', '-Isrc/contractor', '-I../src/data', '-Isrc/data', '-I../src/function', '-Isrc/function', '-I../src/loup', '-Isrc/loup', '-I../src/numeric', '-Isrc/numeric', '-I../src/operators', '-Isrc/operators', '-I../src/optim', '-Isrc/optim', '-I../src/parser', '-Isrc/parser', '-I../src/predicate', '-Isrc/predicate', '-I../src/set', '-Isrc/set', '-I../src/solver', '-Isrc/solver', '-I../src/strategy', '-Isrc/strategy', '-I../src/symbolic', '-Isrc/symbolic', '-I../src/system', '-Isrc/system', '-I../src/tools', '-Isrc/tools', '-I3rd/include', '-DNDEBUG=1', '-DHAVE_MATHLIB_H=1', '-DHAVE_GDTOA_GDTOA_H=1', '-DHAVE_GAOL_GAOL_H=1', '-DHAVE_GAOL_GAOL_INTERVAL_H=1', '-DHAVE_SOPLEX_H=1', '../src/symbolic/ibex_ExprPolynomial.cpp', '-c', '-o/root/libs/Ibex/ibex-2.8.9/build/src/symbolic/ibex_ExprPolynomial.cpp.3.o']
[root@localhost ibex-2.8.9]#
Beta Was this translation helpful? Give feedback.
All reactions