Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Unable to build, stuck at z3 make step #1

Open
egolf-cs opened this issue Nov 28, 2023 · 0 comments
Open

Unable to build, stuck at z3 make step #1

egolf-cs opened this issue Nov 28, 2023 · 0 comments

Comments

@egolf-cs
Copy link

Hi! I'm working on a synthesis project with Stavros and wanted to try out your tool. I'm having some trouble installing kinara.

I'm able to install boost as per steps 1-3, but I'm running into trouble on step 5. After spinning up a python 2.7 virtual env, I encountered the error below.

I have gcc version 7.5.0 and make 4.1. Thank you in advance for your help.

(kinara) egolf@egolf-envy:~/Projects/kinara/thirdparty/z3-4.3.2$ make
CXXFLAGS="-O3 -flto" LDFLAGS="-O3 -flto" ./configure
New component: 'util'
New component: 'polynomial'
New component: 'sat'
New component: 'nlsat'
New component: 'hilbert'
New component: 'interval'
New component: 'realclosure'
New component: 'subpaving'
New component: 'ast'
New component: 'rewriter'
New component: 'normal_forms'
New component: 'model'
New component: 'tactic'
New component: 'substitution'
New component: 'parser_util'
New component: 'grobner'
New component: 'euclid'
New component: 'core_tactics'
New component: 'sat_tactic'
New component: 'arith_tactics'
New component: 'nlsat_tactic'
New component: 'subpaving_tactic'
New component: 'aig_tactic'
New component: 'solver'
New component: 'interp'
New component: 'cmd_context'
New component: 'extra_cmds'
New component: 'smt2parser'
New component: 'proof_checker'
New component: 'simplifier'
New component: 'fpa'
New component: 'macros'
New component: 'pattern'
New component: 'bit_blaster'
New component: 'smt_params'
New component: 'proto_model'
New component: 'smt'
New component: 'user_plugin'
New component: 'bv_tactics'
New component: 'fuzzing'
New component: 'fpa_tactics'
New component: 'smt_tactic'
New component: 'sls_tactic'
New component: 'qe'
New component: 'duality'
New component: 'muz'
New component: 'transforms'
New component: 'rel'
New component: 'pdr'
New component: 'clp'
New component: 'tab'
New component: 'bmc'
New component: 'duality_intf'
New component: 'fp'
New component: 'smtlogic_tactics'
New component: 'ufbv_tactic'
New component: 'portfolio'
New component: 'smtparser'
New component: 'api'
New component: 'shell'
New component: 'test'
New component: 'api_dll'
New component: 'dotnet'
New component: 'java'
New component: 'cpp'
Python bindings directory was detected.
New component: 'cpp_example'
New component: 'iz3'
New component: 'z3_tptp'
New component: 'c_example'
New component: 'maxsat'
New component: 'dotnet_example'
New component: 'java_example'
New component: 'py_example'
Generated 'src/util/version.h'
Updated 'src/api/dotnet/Properties/AssemblyInfo'
Generated 'src/solver/combined_solver_params.hpp'
Generated 'src/interp/interp_params.hpp'
Generated 'src/ast/pp_params.hpp'
Generated 'src/ast/normal_forms/nnf_params.hpp'
Generated 'src/ast/simplifier/bv_simplifier_params_helper.hpp'
Generated 'src/ast/simplifier/arith_simplifier_params_helper.hpp'
Generated 'src/ast/simplifier/array_simplifier_params_helper.hpp'
Generated 'src/ast/pattern/pattern_inference_params_helper.hpp'
Generated 'src/ast/rewriter/array_rewriter_params.hpp'
Generated 'src/ast/rewriter/poly_rewriter_params.hpp'
Generated 'src/ast/rewriter/bv_rewriter_params.hpp'
Generated 'src/ast/rewriter/bool_rewriter_params.hpp'
Generated 'src/ast/rewriter/rewriter_params.hpp'
Generated 'src/ast/rewriter/arith_rewriter_params.hpp'
Generated 'src/nlsat/nlsat_params.hpp'
Generated 'src/muz/base/fixedpoint_params.hpp'
Generated 'src/sat/sat_asymm_branch_params.hpp'
Generated 'src/sat/sat_simplifier_params.hpp'
Generated 'src/sat/sat_scc_params.hpp'
Generated 'src/sat/sat_params.hpp'
Generated 'src/model/model_params.hpp'
Generated 'src/model/model_evaluator_params.hpp'
Generated 'src/math/polynomial/algebraic_params.hpp'
Generated 'src/math/realclosure/rcf_params.hpp'
Generated 'src/parsers/util/parser_params.hpp'
Generated 'src/smt/params/smt_params_helper.hpp'
Generated 'src/tactic/sls/sls_params.hpp'
Generated 'src/ast/pattern/database.h'
Generated 'src/shell/install_tactic.cpp'
Generated 'src/test/install_tactic.cpp'
Generated 'src/api/dll/install_tactic.cpp'
Generated 'src/shell/mem_initializer.cpp'
Generated 'src/test/mem_initializer.cpp'
Generated 'src/api/dll/mem_initializer.cpp'
Generated 'src/shell/gparams_register_modules.cpp'
Generated 'src/test/gparams_register_modules.cpp'
Generated 'src/api/dll/gparams_register_modules.cpp'
Generated 'src/api/python/z3consts.py'
Generated 'src/api/dotnet/Enumerations.cs'
Generated 'src/api/api_log_macros.h'
Generated 'src/api/api_log_macros.cpp'
Generated 'src/api/api_commands.cpp'
Generated 'src/api/python/z3core.py'
Generated 'src/api/dotnet/Native.cs'
Listing src/api/python ...
Compiling src/api/python/z3.py ...
Compiling src/api/python/z3consts.py ...
Compiling src/api/python/z3core.py ...
Compiling src/api/python/z3num.py ...
Compiling src/api/python/z3poly.py ...
Compiling src/api/python/z3printer.py ...
Compiling src/api/python/z3rcf.py ...
Compiling src/api/python/z3test.py ...
Compiling src/api/python/z3types.py ...
Compiling src/api/python/z3util.py ...
Copied 'z3test.py'
Copied 'z3.py'
Copied 'z3rcf.py'
Copied 'z3core.py'
Copied 'z3num.py'
Copied 'z3printer.py'
Copied 'z3types.py'
Copied 'z3consts.py'
Copied 'z3util.py'
Copied 'z3poly.py'
Generated 'z3poly.pyc'
Generated 'z3num.pyc'
Generated 'z3rcf.pyc'
Generated 'z3core.pyc'
Generated 'z3types.pyc'
Generated 'z3.pyc'
Generated 'z3test.pyc'
Generated 'z3consts.pyc'
Generated 'z3util.pyc'
Generated 'z3printer.pyc'
Testing ar...
Testing g++...
Testing gcc...
Testing OpenMP...
Host platform:  Linux
C++ Compiler:   g++
C Compiler  :   gcc
Arithmetic:     internal
OpenMP:         True
Prefix:         /home/egolf/mambaforge/envs/kinara
64-bit:         True
Python version: 2.7
Writing build/Makefile
Copied Z3Py example 'example.py' to 'build'
Makefile was successfully generated.
  python packages dir: /home/egolf/mambaforge/envs/kinara/lib/python2.7/site-packages
  compilation mode: Release
Type 'cd build; make' to build Z3
make -j 8 -C build
make[1]: Entering directory '/home/egolf/Projects/kinara/thirdparty/z3-4.3.2/build'
src/smt/params/dyn_ack_params.cpp
src/smt/smt_statistics.cpp
src/interp/iz3profiling.cpp
src/util/common_msgs.cpp
src/util/approx_nat.cpp
src/util/scoped_ctrl_c.cpp
src/util/luby.cpp
src/api/dll/dll.cpp
src/util/z3_exception.cpp
src/util/approx_set.cpp
src/util/cooperate.cpp
src/util/memory_manager.cpp
src/util/page.cpp
src/util/timeit.cpp
src/api/api_commands.cpp
src/util/util.cpp
src/util/scoped_timer.cpp
src/util/timer.cpp
src/util/timeout.cpp
src/util/bit_util.cpp
src/util/mpn.cpp
src/shell/z3_log_frontend.cpp
src/api/api_log.cpp
src/util/stack.cpp
src/util/lbool.cpp
src/util/hash.cpp
src/api/z3_replayer.cpp
src/util/permutation.cpp
src/util/debug.cpp
src/util/region.cpp
src/util/symbol.cpp
src/util/cmd_context_types.cpp
src/util/warning.cpp
src/util/prime_generator.cpp
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/hash.h:22,
                 from ../src/util/hashtable.h:26,
                 from ../src/util/str_hashtable.h:24,
                 from ../src/util/debug.cpp:24:
/usr/include/c++/7/utility: In function ‘constexpr typename std::tuple_element<_Int, std::pair<_Tp1, _Tp2> >::type&& std::get(std::pair<_Tp1, _Tp2>&&)’:
/usr/include/c++/7/utility:231:57: error: no matching function for call to ‘move()’
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/bits/nested_exception.h:40:0,
                 from /usr/include/c++/7/exception:143,
                 from /usr/include/c++/7/ios:39,
                 from /usr/include/c++/7/ostream:38,
                 from /usr/include/c++/7/iostream:39,
                 from ../src/util/debug.cpp:23:
/usr/include/c++/7/bits/move.h:98:5: note: candidate: template<class _Tp> constexpr typename std::remove_reference< <template-parameter-1-1> >::type&& std::move(_Tp&&)
     move(_Tp&& __t) noexcept
     ^~~~
/usr/include/c++/7/bits/move.h:98:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/hash.h:22,
                 from ../src/util/hashtable.h:26,
                 from ../src/util/str_hashtable.h:24,
                 from ../src/util/debug.cpp:24:
/usr/include/c++/7/utility:231:57: note:   candidate expects 1 argument, 0 provided
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/bits/char_traits.h:39:0,
                 from /usr/include/c++/7/ios:40,
                 from /usr/include/c++/7/ostream:38,
                 from /usr/include/c++/7/iostream:39,
                 from ../src/util/debug.cpp:23:
/usr/include/c++/7/bits/stl_algobase.h:479:5: note: candidate: template<class _II, class _OI> _OI std::move(_II, _II, _OI)
     move(_II __first, _II __last, _OI __result)
     ^~~~
/usr/include/c++/7/bits/stl_algobase.h:479:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/hash.h:22,
                 from ../src/util/hashtable.h:26,
                 from ../src/util/str_hashtable.h:24,
                 from ../src/util/debug.cpp:24:
/usr/include/c++/7/utility:231:57: note:   candidate expects 3 arguments, 0 provided
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/algorithm:62:0,
                 from ../src/util/hash.h:22,
                 from ../src/util/hashtable.h:26,
                 from ../src/util/str_hashtable.h:24,
                 from ../src/util/debug.cpp:24:
/usr/include/c++/7/bits/stl_algo.h: In function ‘_RandomAccessIterator std::__sample(_InputIterator, _InputIterator, std::input_iterator_tag, _RandomAccessIterator, std::random_access_iterator_tag, _Size, _UniformRandomBitGenerator&&)’:
/usr/include/c++/7/bits/stl_algo.h:5723:21: error: expected ‘,’ before ‘++’ token
    __out[__sample_sz++] = *__first;
                     ^~
/usr/include/c++/7/bits/stl_algo.h:5723:21: error: expected identifier before ‘++’ token
/usr/include/c++/7/bits/stl_algo.h: In lambda function:
/usr/include/c++/7/bits/stl_algo.h:5723:25: error: expected ‘{’ before ‘=’ token
    __out[__sample_sz++] = *__first;
                         ^
/usr/include/c++/7/bits/stl_algo.h: In lambda function:
/usr/include/c++/7/bits/stl_algo.h:5731:17: error: expected ‘{’ before ‘=’ token
      __out[__k] = *__first;
                 ^
/usr/include/c++/7/bits/stl_algo.h: In function ‘_OutputIterator std::__sample(_ForwardIterator, _ForwardIterator, std::forward_iterator_tag, _OutputIterator, _Cat, _Size, _UniformRandomBitGenerator&&)’:
/usr/include/c++/7/bits/stl_algo.h:5771:14: error: expected primary-expression before ‘=’ token
     *__out++ = *__first;
              ^
/usr/include/c++/7/bits/stl_algo.h:5782:14: error: expected primary-expression before ‘=’ token
     *__out++ = *__first;
              ^
/usr/include/c++/7/bits/stl_algo.h:5795:15: error: expected primary-expression before ‘=’ token
      *__out++ = *__first;
               ^
src/util/small_object_allocator.cpp
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/hash.h:22,
                 from ../src/util/hashtable.h:26,
                 from ../src/util/str_hashtable.h:24,
                 from ../src/util/symbol.cpp:20:
/usr/include/c++/7/utility: In function ‘constexpr typename std::tuple_element<_Int, std::pair<_Tp1, _Tp2> >::type&& std::get(std::pair<_Tp1, _Tp2>&&)’:
/usr/include/c++/7/utility:231:57: error: no matching function for call to ‘move()’
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/bits/nested_exception.h:40:0,
                 from /usr/include/c++/7/exception:143,
                 from /usr/include/c++/7/ios:39,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/symbol.h:21,
                 from ../src/util/symbol.cpp:19:
/usr/include/c++/7/bits/move.h:98:5: note: candidate: template<class _Tp> constexpr typename std::remove_reference< <template-parameter-1-1> >::type&& std::move(_Tp&&)
     move(_Tp&& __t) noexcept
     ^~~~
/usr/include/c++/7/bits/move.h:98:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/hash.h:22,
                 from ../src/util/hashtable.h:26,
                 from ../src/util/str_hashtable.h:24,
                 from ../src/util/symbol.cpp:20:
/usr/include/c++/7/utility:231:57: note:   candidate expects 1 argument, 0 provided
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/bits/char_traits.h:39:0,
                 from /usr/include/c++/7/ios:40,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/symbol.h:21,
                 from ../src/util/symbol.cpp:19:
/usr/include/c++/7/bits/stl_algobase.h:479:5: note: candidate: template<class _II, class _OI> _OI std::move(_II, _II, _OI)
     move(_II __first, _II __last, _OI __result)
     ^~~~
/usr/include/c++/7/bits/stl_algobase.h:479:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/hash.h:22,
                 from ../src/util/hashtable.h:26,
                 from ../src/util/str_hashtable.h:24,
                 from ../src/util/symbol.cpp:20:
/usr/include/c++/7/utility:231:57: note:   candidate expects 3 arguments, 0 provided
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/algorithm:62:0,
                 from ../src/util/hash.h:22,
                 from ../src/util/hashtable.h:26,
                 from ../src/util/str_hashtable.h:24,
                 from ../src/util/symbol.cpp:20:
/usr/include/c++/7/bits/stl_algo.h: In function ‘_RandomAccessIterator std::__sample(_InputIterator, _InputIterator, std::input_iterator_tag, _RandomAccessIterator, std::random_access_iterator_tag, _Size, _UniformRandomBitGenerator&&)’:
/usr/include/c++/7/bits/stl_algo.h:5723:21: error: expected ‘,’ before ‘++’ token
    __out[__sample_sz++] = *__first;
                     ^~
/usr/include/c++/7/bits/stl_algo.h:5723:21: error: expected identifier before ‘++’ token
/usr/include/c++/7/bits/stl_algo.h: In lambda function:
/usr/include/c++/7/bits/stl_algo.h:5723:25: error: expected ‘{’ before ‘=’ token
    __out[__sample_sz++] = *__first;
                         ^
/usr/include/c++/7/bits/stl_algo.h: In lambda function:
/usr/include/c++/7/bits/stl_algo.h:5731:17: error: expected ‘{’ before ‘=’ token
      __out[__k] = *__first;
                 ^
/usr/include/c++/7/bits/stl_algo.h: In function ‘_OutputIterator std::__sample(_ForwardIterator, _ForwardIterator, std::forward_iterator_tag, _OutputIterator, _Cat, _Size, _UniformRandomBitGenerator&&)’:
/usr/include/c++/7/bits/stl_algo.h:5771:14: error: expected primary-expression before ‘=’ token
     *__out++ = *__first;
              ^
/usr/include/c++/7/bits/stl_algo.h:5782:14: error: expected primary-expression before ‘=’ token
     *__out++ = *__first;
              ^
/usr/include/c++/7/bits/stl_algo.h:5795:15: error: expected primary-expression before ‘=’ token
      *__out++ = *__first;
               ^
Makefile:87: recipe for target 'util/debug.o' failed
make[1]: *** [util/debug.o] Error 1
make[1]: *** Waiting for unfinished jobs....
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/vector.h:28,
                 from ../src/util/warning.cpp:25:
/usr/include/c++/7/utility: In function ‘constexpr typename std::tuple_element<_Int, std::pair<_Tp1, _Tp2> >::type&& std::get(std::pair<_Tp1, _Tp2>&&)’:
/usr/include/c++/7/utility:231:57: error: no matching function for call to ‘move()’
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/bits/nested_exception.h:40:0,
                 from /usr/include/c++/7/exception:143,
                 from /usr/include/c++/7/ios:39,
                 from /usr/include/c++/7/ostream:38,
                 from /usr/include/c++/7/iostream:39,
                 from ../src/util/warning.h:21,
                 from ../src/util/debug.h:37,
                 from ../src/util/util.h:22,
                 from ../src/util/warning.cpp:23:
/usr/include/c++/7/bits/move.h:98:5: note: candidate: template<class _Tp> constexpr typename std::remove_reference< <template-parameter-1-1> >::type&& std::move(_Tp&&)
     move(_Tp&& __t) noexcept
     ^~~~
/usr/include/c++/7/bits/move.h:98:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/vector.h:28,
                 from ../src/util/warning.cpp:25:
/usr/include/c++/7/utility:231:57: note:   candidate expects 1 argument, 0 provided
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/bits/char_traits.h:39:0,
                 from /usr/include/c++/7/ios:40,
                 from /usr/include/c++/7/ostream:38,
                 from /usr/include/c++/7/iostream:39,
                 from ../src/util/warning.h:21,
                 from ../src/util/debug.h:37,
                 from ../src/util/util.h:22,
                 from ../src/util/warning.cpp:23:
/usr/include/c++/7/bits/stl_algobase.h:479:5: note: candidate: template<class _II, class _OI> _OI std::move(_II, _II, _OI)
     move(_II __first, _II __last, _OI __result)
     ^~~~
/usr/include/c++/7/bits/stl_algobase.h:479:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/vector.h:28,
                 from ../src/util/warning.cpp:25:
/usr/include/c++/7/utility:231:57: note:   candidate expects 3 arguments, 0 provided
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/algorithm:62:0,
                 from ../src/util/vector.h:28,
                 from ../src/util/warning.cpp:25:
/usr/include/c++/7/bits/stl_algo.h: In function ‘_RandomAccessIterator std::__sample(_InputIterator, _InputIterator, std::input_iterator_tag, _RandomAccessIterator, std::random_access_iterator_tag, _Size, _UniformRandomBitGenerator&&)’:
/usr/include/c++/7/bits/stl_algo.h:5723:21: error: expected ‘,’ before ‘++’ token
    __out[__sample_sz++] = *__first;
                     ^~
/usr/include/c++/7/bits/stl_algo.h:5723:21: error: expected identifier before ‘++’ token
/usr/include/c++/7/bits/stl_algo.h: In lambda function:
/usr/include/c++/7/bits/stl_algo.h:5723:25: error: expected ‘{’ before ‘=’ token
    __out[__sample_sz++] = *__first;
                         ^
/usr/include/c++/7/bits/stl_algo.h: In lambda function:
/usr/include/c++/7/bits/stl_algo.h:5731:17: error: expected ‘{’ before ‘=’ token
      __out[__k] = *__first;
                 ^
/usr/include/c++/7/bits/stl_algo.h: In function ‘_OutputIterator std::__sample(_ForwardIterator, _ForwardIterator, std::forward_iterator_tag, _OutputIterator, _Cat, _Size, _UniformRandomBitGenerator&&)’:
/usr/include/c++/7/bits/stl_algo.h:5771:14: error: expected primary-expression before ‘=’ token
     *__out++ = *__first;
              ^
/usr/include/c++/7/bits/stl_algo.h:5782:14: error: expected primary-expression before ‘=’ token
     *__out++ = *__first;
              ^
/usr/include/c++/7/bits/stl_algo.h:5795:15: error: expected primary-expression before ‘=’ token
      *__out++ = *__first;
               ^
Makefile:170: recipe for target 'util/symbol.o' failed
make[1]: *** [util/symbol.o] Error 1
Makefile:193: recipe for target 'util/warning.o' failed
make[1]: *** [util/warning.o] Error 1
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/vector.h:28,
                 from ../src/util/small_object_allocator.cpp:25:
/usr/include/c++/7/utility: In function ‘constexpr typename std::tuple_element<_Int, std::pair<_Tp1, _Tp2> >::type&& std::get(std::pair<_Tp1, _Tp2>&&)’:
/usr/include/c++/7/utility:231:57: error: no matching function for call to ‘move()’
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/bits/nested_exception.h:40:0,
                 from /usr/include/c++/7/exception:143,
                 from /usr/include/c++/7/ios:39,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/memory_manager.h:23,
                 from ../src/util/small_object_allocator.cpp:21:
/usr/include/c++/7/bits/move.h:98:5: note: candidate: template<class _Tp> constexpr typename std::remove_reference< <template-parameter-1-1> >::type&& std::move(_Tp&&)
     move(_Tp&& __t) noexcept
     ^~~~
/usr/include/c++/7/bits/move.h:98:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/vector.h:28,
                 from ../src/util/small_object_allocator.cpp:25:
/usr/include/c++/7/utility:231:57: note:   candidate expects 1 argument, 0 provided
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/bits/char_traits.h:39:0,
                 from /usr/include/c++/7/ios:40,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/memory_manager.h:23,
                 from ../src/util/small_object_allocator.cpp:21:
/usr/include/c++/7/bits/stl_algobase.h:479:5: note: candidate: template<class _II, class _OI> _OI std::move(_II, _II, _OI)
     move(_II __first, _II __last, _OI __result)
     ^~~~
/usr/include/c++/7/bits/stl_algobase.h:479:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/algorithm:60:0,
                 from ../src/util/vector.h:28,
                 from ../src/util/small_object_allocator.cpp:25:
/usr/include/c++/7/utility:231:57: note:   candidate expects 3 arguments, 0 provided
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/7/algorithm:62:0,
                 from ../src/util/vector.h:28,
                 from ../src/util/small_object_allocator.cpp:25:
/usr/include/c++/7/bits/stl_algo.h: In function ‘_RandomAccessIterator std::__sample(_InputIterator, _InputIterator, std::input_iterator_tag, _RandomAccessIterator, std::random_access_iterator_tag, _Size, _UniformRandomBitGenerator&&)’:
/usr/include/c++/7/bits/stl_algo.h:5723:21: error: expected ‘,’ before ‘++’ token
    __out[__sample_sz++] = *__first;
                     ^~
/usr/include/c++/7/bits/stl_algo.h:5723:21: error: expected identifier before ‘++’ token
/usr/include/c++/7/bits/stl_algo.h: In lambda function:
/usr/include/c++/7/bits/stl_algo.h:5723:25: error: expected ‘{’ before ‘=’ token
    __out[__sample_sz++] = *__first;
                         ^
/usr/include/c++/7/bits/stl_algo.h: In lambda function:
/usr/include/c++/7/bits/stl_algo.h:5731:17: error: expected ‘{’ before ‘=’ token
      __out[__k] = *__first;
                 ^
/usr/include/c++/7/bits/stl_algo.h: In function ‘_OutputIterator std::__sample(_ForwardIterator, _ForwardIterator, std::forward_iterator_tag, _OutputIterator, _Cat, _Size, _UniformRandomBitGenerator&&)’:
/usr/include/c++/7/bits/stl_algo.h:5771:14: error: expected primary-expression before ‘=’ token
     *__out++ = *__first;
              ^
/usr/include/c++/7/bits/stl_algo.h:5782:14: error: expected primary-expression before ‘=’ token
     *__out++ = *__first;
              ^
/usr/include/c++/7/bits/stl_algo.h:5795:15: error: expected primary-expression before ‘=’ token
      *__out++ = *__first;
               ^
In file included from /usr/include/c++/7/bits/unique_ptr.h:37:0,
                 from /usr/include/c++/7/bits/locale_conv.h:41,
                 from /usr/include/c++/7/locale:43,
                 from /usr/include/c++/7/iomanip:43,
                 from ../src/util/small_object_allocator.cpp:26:
/usr/include/c++/7/tuple: At global scope:
/usr/include/c++/7/tuple:871:29: error: expected primary-expression before ‘.’ token
       noexcept(noexcept(__in._M_swap(__in)))
                             ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_Elements>::tuple(const std::tuple<_Args1 ...>&)’:
/usr/include/c++/7/tuple:679:76: error: expected primary-expression before ‘)’ token
         : _Inherited(static_cast<const _Tuple_impl<0, _UElements...>&>(__in))
                                                                            ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_Elements>::tuple(const std::tuple<_Args1 ...>&)’:
/usr/include/c++/7/tuple:691:76: error: expected primary-expression before ‘)’ token
         : _Inherited(static_cast<const _Tuple_impl<0, _UElements...>&>(__in))
                                                                            ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_Elements>::tuple(std::tuple<_Args1 ...>&&)’:
/usr/include/c++/7/tuple:703:71: error: expected primary-expression before ‘)’ token
         : _Inherited(static_cast<_Tuple_impl<0, _UElements...>&&>(__in)) { }
                                                                       ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_Elements>::tuple(std::tuple<_Args1 ...>&&)’:
/usr/include/c++/7/tuple:714:71: error: expected primary-expression before ‘)’ token
         : _Inherited(static_cast<_Tuple_impl<0, _UElements...>&&>(__in)) { }
                                                                       ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_Elements>::tuple(std::allocator_arg_t, const _Alloc&, const std::tuple<_Elements>&)’:
/usr/include/c++/7/tuple:768:62: error: expected primary-expression before ‘)’ token
  : _Inherited(__tag, __a, static_cast<const _Inherited&>(__in)) { }
                                                              ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_Elements>::tuple(std::allocator_arg_t, const _Alloc&, std::tuple<_Elements>&&)’:
/usr/include/c++/7/tuple:772:57: error: expected primary-expression before ‘)’ token
  : _Inherited(__tag, __a, static_cast<_Inherited&&>(__in)) { }
                                                         ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_Elements>::tuple(std::allocator_arg_t, const _Alloc&, const std::tuple<_Args2 ...>&)’:
/usr/include/c++/7/tuple:786:69: error: expected primary-expression before ‘)’ token
               static_cast<const _Tuple_impl<0, _UElements...>&>(__in))
                                                                     ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_Elements>::tuple(std::allocator_arg_t, const _Alloc&, const std::tuple<_Args2 ...>&)’:
/usr/include/c++/7/tuple:801:69: error: expected primary-expression before ‘)’ token
               static_cast<const _Tuple_impl<0, _UElements...>&>(__in))
                                                                     ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_Elements>::tuple(std::allocator_arg_t, const _Alloc&, std::tuple<_Args2 ...>&&)’:
/usr/include/c++/7/tuple:816:64: error: expected primary-expression before ‘)’ token
               static_cast<_Tuple_impl<0, _UElements...>&&>(__in))
                                                                ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_Elements>::tuple(std::allocator_arg_t, const _Alloc&, std::tuple<_Args2 ...>&&)’:
/usr/include/c++/7/tuple:831:64: error: expected primary-expression before ‘)’ token
               static_cast<_Tuple_impl<0, _UElements...>&&>(__in))
                                                                ^
/usr/include/c++/7/tuple: In member function ‘std::tuple<_Elements>& std::tuple<_Elements>::operator=(const std::tuple<_Elements>&)’:
/usr/include/c++/7/tuple:837:40: error: expected primary-expression before ‘;’ token
  static_cast<_Inherited&>(*this) = __in;
                                        ^
/usr/include/c++/7/tuple: In member function ‘std::tuple<_Elements>& std::tuple<_Elements>::operator=(std::tuple<_Elements>&&)’:
/usr/include/c++/7/tuple:845:50: error: no matching function for call to ‘move()’
  static_cast<_Inherited&>(*this) = std::move(__in);
                                                  ^
In file included from /usr/include/c++/7/bits/nested_exception.h:40:0,
                 from /usr/include/c++/7/exception:143,
                 from /usr/include/c++/7/ios:39,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/memory_manager.h:23,
                 from ../src/util/small_object_allocator.cpp:21:
/usr/include/c++/7/bits/move.h:98:5: note: candidate: template<class _Tp> constexpr typename std::remove_reference< <template-parameter-1-1> >::type&& std::move(_Tp&&)
     move(_Tp&& __t) noexcept
     ^~~~
/usr/include/c++/7/bits/move.h:98:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/bits/unique_ptr.h:37:0,
                 from /usr/include/c++/7/bits/locale_conv.h:41,
                 from /usr/include/c++/7/locale:43,
                 from /usr/include/c++/7/iomanip:43,
                 from ../src/util/small_object_allocator.cpp:26:
/usr/include/c++/7/tuple:845:50: note:   candidate expects 1 argument, 0 provided
  static_cast<_Inherited&>(*this) = std::move(__in);
                                                  ^
In file included from /usr/include/c++/7/bits/char_traits.h:39:0,
                 from /usr/include/c++/7/ios:40,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/memory_manager.h:23,
                 from ../src/util/small_object_allocator.cpp:21:
/usr/include/c++/7/bits/stl_algobase.h:479:5: note: candidate: template<class _II, class _OI> _OI std::move(_II, _II, _OI)
     move(_II __first, _II __last, _OI __result)
     ^~~~
/usr/include/c++/7/bits/stl_algobase.h:479:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/bits/unique_ptr.h:37:0,
                 from /usr/include/c++/7/bits/locale_conv.h:41,
                 from /usr/include/c++/7/locale:43,
                 from /usr/include/c++/7/iomanip:43,
                 from ../src/util/small_object_allocator.cpp:26:
/usr/include/c++/7/tuple:845:50: note:   candidate expects 3 arguments, 0 provided
  static_cast<_Inherited&>(*this) = std::move(__in);
                                                  ^
/usr/include/c++/7/tuple: In member function ‘typename std::enable_if<(sizeof... (_UElements) == sizeof... (_Elements)), std::tuple<_Elements>&>::type std::tuple<_Elements>::operator=(const std::tuple<_Args1 ...>&)’:
/usr/include/c++/7/tuple:855:42: error: expected primary-expression before ‘;’ token
    static_cast<_Inherited&>(*this) = __in;
                                          ^
/usr/include/c++/7/tuple: In member function ‘typename std::enable_if<(sizeof... (_UElements) == sizeof... (_Elements)), std::tuple<_Elements>&>::type std::tuple<_Elements>::operator=(std::tuple<_Args1 ...>&&)’:
/usr/include/c++/7/tuple:865:52: error: no matching function for call to ‘move()’
    static_cast<_Inherited&>(*this) = std::move(__in);
                                                    ^
In file included from /usr/include/c++/7/bits/nested_exception.h:40:0,
                 from /usr/include/c++/7/exception:143,
                 from /usr/include/c++/7/ios:39,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/memory_manager.h:23,
                 from ../src/util/small_object_allocator.cpp:21:
/usr/include/c++/7/bits/move.h:98:5: note: candidate: template<class _Tp> constexpr typename std::remove_reference< <template-parameter-1-1> >::type&& std::move(_Tp&&)
     move(_Tp&& __t) noexcept
     ^~~~
/usr/include/c++/7/bits/move.h:98:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/bits/unique_ptr.h:37:0,
                 from /usr/include/c++/7/bits/locale_conv.h:41,
                 from /usr/include/c++/7/locale:43,
                 from /usr/include/c++/7/iomanip:43,
                 from ../src/util/small_object_allocator.cpp:26:
/usr/include/c++/7/tuple:865:52: note:   candidate expects 1 argument, 0 provided
    static_cast<_Inherited&>(*this) = std::move(__in);
                                                    ^
In file included from /usr/include/c++/7/bits/char_traits.h:39:0,
                 from /usr/include/c++/7/ios:40,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/memory_manager.h:23,
                 from ../src/util/small_object_allocator.cpp:21:
/usr/include/c++/7/bits/stl_algobase.h:479:5: note: candidate: template<class _II, class _OI> _OI std::move(_II, _II, _OI)
     move(_II __first, _II __last, _OI __result)
     ^~~~
/usr/include/c++/7/bits/stl_algobase.h:479:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/bits/unique_ptr.h:37:0,
                 from /usr/include/c++/7/bits/locale_conv.h:41,
                 from /usr/include/c++/7/locale:43,
                 from /usr/include/c++/7/iomanip:43,
                 from ../src/util/small_object_allocator.cpp:26:
/usr/include/c++/7/tuple:865:52: note:   candidate expects 3 arguments, 0 provided
    static_cast<_Inherited&>(*this) = std::move(__in);
                                                    ^
/usr/include/c++/7/tuple: At global scope:
/usr/include/c++/7/tuple:1259:29: error: expected primary-expression before ‘.’ token
       noexcept(noexcept(__in._M_swap(__in)))
                             ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_T1, _T2>::tuple(const std::tuple<_U1, _U2>&)’:
/usr/include/c++/7/tuple:996:64: error: expected primary-expression before ‘)’ token
  : _Inherited(static_cast<const _Tuple_impl<0, _U1, _U2>&>(__in)) { }
                                                                ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_T1, _T2>::tuple(const std::tuple<_U1, _U2>&)’:
/usr/include/c++/7/tuple:1005:64: error: expected primary-expression before ‘)’ token
  : _Inherited(static_cast<const _Tuple_impl<0, _U1, _U2>&>(__in)) { }
                                                                ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_T1, _T2>::tuple(std::tuple<_U1, _U2>&&)’:
/usr/include/c++/7/tuple:1014:59: error: expected primary-expression before ‘)’ token
  : _Inherited(static_cast<_Tuple_impl<0, _U1, _U2>&&>(__in)) { }
                                                           ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_T1, _T2>::tuple(std::tuple<_U1, _U2>&&)’:
/usr/include/c++/7/tuple:1023:59: error: expected primary-expression before ‘)’ token
  : _Inherited(static_cast<_Tuple_impl<0, _U1, _U2>&&>(__in)) { }
                                                           ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_T1, _T2>::tuple(const std::pair<_U1, _U2>&)’:
/usr/include/c++/7/tuple:1032:19: error: expected primary-expression before ‘.’ token
  : _Inherited(__in.first, __in.second) { }
                   ^
/usr/include/c++/7/tuple:1032:31: error: expected primary-expression before ‘.’ token
  : _Inherited(__in.first, __in.second) { }
                               ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_T1, _T2>::tuple(const std::pair<_U1, _U2>&)’:
/usr/include/c++/7/tuple:1041:19: error: expected primary-expression before ‘.’ token
  : _Inherited(__in.first, __in.second) { }
                   ^
/usr/include/c++/7/tuple:1041:31: error: expected primary-expression before ‘.’ token
  : _Inherited(__in.first, __in.second) { }
                               ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_T1, _T2>::tuple(std::pair<_U1, _U2>&&)’:
/usr/include/c++/7/tuple:1050:37: error: expected primary-expression before ‘.’ token
  : _Inherited(std::forward<_U1>(__in.first),
                                     ^
/usr/include/c++/7/tuple:1051:30: error: expected primary-expression before ‘.’ token
        std::forward<_U2>(__in.second)) { }
                              ^
/usr/include/c++/7/tuple: In constructor ‘constexpr std::tuple<_T1, _T2>::tuple(std::pair<_U1, _U2>&&)’:
/usr/include/c++/7/tuple:1060:37: error: expected primary-expression before ‘.’ token
  : _Inherited(std::forward<_U1>(__in.first),
                                     ^
/usr/include/c++/7/tuple:1061:30: error: expected primary-expression before ‘.’ token
        std::forward<_U2>(__in.second)) { }
                              ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_T1, _T2>::tuple(std::allocator_arg_t, const _Alloc&, const std::tuple<_T1, _T2>&)’:
/usr/include/c++/7/tuple:1116:62: error: expected primary-expression before ‘)’ token
  : _Inherited(__tag, __a, static_cast<const _Inherited&>(__in)) { }
                                                              ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_T1, _T2>::tuple(std::allocator_arg_t, const _Alloc&, std::tuple<_T1, _T2>&&)’:
/usr/include/c++/7/tuple:1120:57: error: expected primary-expression before ‘)’ token
  : _Inherited(__tag, __a, static_cast<_Inherited&&>(__in)) { }
                                                         ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_T1, _T2>::tuple(std::allocator_arg_t, const _Alloc&, const std::tuple<_U1, _U2>&)’:
/usr/include/c++/7/tuple:1131:64: error: expected primary-expression before ‘)’ token
               static_cast<const _Tuple_impl<0, _U1, _U2>&>(__in))
                                                                ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_T1, _T2>::tuple(std::allocator_arg_t, const _Alloc&, const std::tuple<_U1, _U2>&)’:
/usr/include/c++/7/tuple:1143:64: error: expected primary-expression before ‘)’ token
               static_cast<const _Tuple_impl<0, _U1, _U2>&>(__in))
                                                                ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_T1, _T2>::tuple(std::allocator_arg_t, const _Alloc&, std::tuple<_U1, _U2>&&)’:
/usr/include/c++/7/tuple:1153:71: error: expected primary-expression before ‘)’ token
  : _Inherited(__tag, __a, static_cast<_Tuple_impl<0, _U1, _U2>&&>(__in))
                                                                       ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_T1, _T2>::tuple(std::allocator_arg_t, const _Alloc&, std::tuple<_U1, _U2>&&)’:
/usr/include/c++/7/tuple:1164:71: error: expected primary-expression before ‘)’ token
  : _Inherited(__tag, __a, static_cast<_Tuple_impl<0, _U1, _U2>&&>(__in))
                                                                       ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_T1, _T2>::tuple(std::allocator_arg_t, const _Alloc&, const std::pair<_U1, _U2>&)’:
/usr/include/c++/7/tuple:1175:31: error: expected primary-expression before ‘.’ token
  : _Inherited(__tag, __a, __in.first, __in.second) { }
                               ^
/usr/include/c++/7/tuple:1175:43: error: expected primary-expression before ‘.’ token
  : _Inherited(__tag, __a, __in.first, __in.second) { }
                                           ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_T1, _T2>::tuple(std::allocator_arg_t, const _Alloc&, const std::pair<_U1, _U2>&)’:
/usr/include/c++/7/tuple:1185:31: error: expected primary-expression before ‘.’ token
  : _Inherited(__tag, __a, __in.first, __in.second) { }
                               ^
/usr/include/c++/7/tuple:1185:43: error: expected primary-expression before ‘.’ token
  : _Inherited(__tag, __a, __in.first, __in.second) { }
                                           ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_T1, _T2>::tuple(std::allocator_arg_t, const _Alloc&, std::pair<_U1, _U2>&&)’:
/usr/include/c++/7/tuple:1194:49: error: expected primary-expression before ‘.’ token
  : _Inherited(__tag, __a, std::forward<_U1>(__in.first),
                                                 ^
/usr/include/c++/7/tuple:1195:30: error: expected primary-expression before ‘.’ token
        std::forward<_U2>(__in.second)) { }
                              ^
/usr/include/c++/7/tuple: In constructor ‘std::tuple<_T1, _T2>::tuple(std::allocator_arg_t, const _Alloc&, std::pair<_U1, _U2>&&)’:
/usr/include/c++/7/tuple:1205:49: error: expected primary-expression before ‘.’ token
  : _Inherited(__tag, __a, std::forward<_U1>(__in.first),
                                                 ^
/usr/include/c++/7/tuple:1206:30: error: expected primary-expression before ‘.’ token
        std::forward<_U2>(__in.second)) { }
                              ^
/usr/include/c++/7/tuple: In member function ‘std::tuple<_T1, _T2>& std::tuple<_T1, _T2>::operator=(const std::tuple<_T1, _T2>&)’:
/usr/include/c++/7/tuple:1211:40: error: expected primary-expression before ‘;’ token
  static_cast<_Inherited&>(*this) = __in;
                                        ^
/usr/include/c++/7/tuple: In member function ‘std::tuple<_T1, _T2>& std::tuple<_T1, _T2>::operator=(std::tuple<_T1, _T2>&&)’:
/usr/include/c++/7/tuple:1219:50: error: no matching function for call to ‘move()’
  static_cast<_Inherited&>(*this) = std::move(__in);
                                                  ^
In file included from /usr/include/c++/7/bits/nested_exception.h:40:0,
                 from /usr/include/c++/7/exception:143,
                 from /usr/include/c++/7/ios:39,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/memory_manager.h:23,
                 from ../src/util/small_object_allocator.cpp:21:
/usr/include/c++/7/bits/move.h:98:5: note: candidate: template<class _Tp> constexpr typename std::remove_reference< <template-parameter-1-1> >::type&& std::move(_Tp&&)
     move(_Tp&& __t) noexcept
     ^~~~
/usr/include/c++/7/bits/move.h:98:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/bits/unique_ptr.h:37:0,
                 from /usr/include/c++/7/bits/locale_conv.h:41,
                 from /usr/include/c++/7/locale:43,
                 from /usr/include/c++/7/iomanip:43,
                 from ../src/util/small_object_allocator.cpp:26:
/usr/include/c++/7/tuple:1219:50: note:   candidate expects 1 argument, 0 provided
  static_cast<_Inherited&>(*this) = std::move(__in);
                                                  ^
In file included from /usr/include/c++/7/bits/char_traits.h:39:0,
                 from /usr/include/c++/7/ios:40,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/memory_manager.h:23,
                 from ../src/util/small_object_allocator.cpp:21:
/usr/include/c++/7/bits/stl_algobase.h:479:5: note: candidate: template<class _II, class _OI> _OI std::move(_II, _II, _OI)
     move(_II __first, _II __last, _OI __result)
     ^~~~
/usr/include/c++/7/bits/stl_algobase.h:479:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/bits/unique_ptr.h:37:0,
                 from /usr/include/c++/7/bits/locale_conv.h:41,
                 from /usr/include/c++/7/locale:43,
                 from /usr/include/c++/7/iomanip:43,
                 from ../src/util/small_object_allocator.cpp:26:
/usr/include/c++/7/tuple:1219:50: note:   candidate expects 3 arguments, 0 provided
  static_cast<_Inherited&>(*this) = std::move(__in);
                                                  ^
/usr/include/c++/7/tuple: In member function ‘std::tuple<_T1, _T2>& std::tuple<_T1, _T2>::operator=(const std::tuple<_U1, _U2>&)’:
/usr/include/c++/7/tuple:1227:42: error: expected primary-expression before ‘;’ token
    static_cast<_Inherited&>(*this) = __in;
                                          ^
/usr/include/c++/7/tuple: In member function ‘std::tuple<_T1, _T2>& std::tuple<_T1, _T2>::operator=(std::tuple<_U1, _U2>&&)’:
/usr/include/c++/7/tuple:1235:52: error: no matching function for call to ‘move()’
    static_cast<_Inherited&>(*this) = std::move(__in);
                                                    ^
In file included from /usr/include/c++/7/bits/nested_exception.h:40:0,
                 from /usr/include/c++/7/exception:143,
                 from /usr/include/c++/7/ios:39,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/memory_manager.h:23,
                 from ../src/util/small_object_allocator.cpp:21:
/usr/include/c++/7/bits/move.h:98:5: note: candidate: template<class _Tp> constexpr typename std::remove_reference< <template-parameter-1-1> >::type&& std::move(_Tp&&)
     move(_Tp&& __t) noexcept
     ^~~~
/usr/include/c++/7/bits/move.h:98:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/bits/unique_ptr.h:37:0,
                 from /usr/include/c++/7/bits/locale_conv.h:41,
                 from /usr/include/c++/7/locale:43,
                 from /usr/include/c++/7/iomanip:43,
                 from ../src/util/small_object_allocator.cpp:26:
/usr/include/c++/7/tuple:1235:52: note:   candidate expects 1 argument, 0 provided
    static_cast<_Inherited&>(*this) = std::move(__in);
                                                    ^
In file included from /usr/include/c++/7/bits/char_traits.h:39:0,
                 from /usr/include/c++/7/ios:40,
                 from /usr/include/c++/7/ostream:38,
                 from ../src/util/memory_manager.h:23,
                 from ../src/util/small_object_allocator.cpp:21:
/usr/include/c++/7/bits/stl_algobase.h:479:5: note: candidate: template<class _II, class _OI> _OI std::move(_II, _II, _OI)
     move(_II __first, _II __last, _OI __result)
     ^~~~
/usr/include/c++/7/bits/stl_algobase.h:479:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/7/bits/unique_ptr.h:37:0,
                 from /usr/include/c++/7/bits/locale_conv.h:41,
                 from /usr/include/c++/7/locale:43,
                 from /usr/include/c++/7/iomanip:43,
                 from ../src/util/small_object_allocator.cpp:26:
/usr/include/c++/7/tuple:1235:52: note:   candidate expects 3 arguments, 0 provided
    static_cast<_Inherited&>(*this) = std::move(__in);
                                                    ^
/usr/include/c++/7/tuple: In member function ‘std::tuple<_T1, _T2>& std::tuple<_T1, _T2>::operator=(const std::pair<_U1, _U2>&)’:
/usr/include/c++/7/tuple:1243:31: error: expected primary-expression before ‘.’ token
    this->_M_head(*this) = __in.first;
                               ^
/usr/include/c++/7/tuple:1244:46: error: expected primary-expression before ‘.’ token
    this->_M_tail(*this)._M_head(*this) = __in.second;
                                              ^
/usr/include/c++/7/tuple: In member function ‘std::tuple<_T1, _T2>& std::tuple<_T1, _T2>::operator=(std::pair<_U1, _U2>&&)’:
/usr/include/c++/7/tuple:1252:49: error: expected primary-expression before ‘.’ token
    this->_M_head(*this) = std::forward<_U1>(__in.first);
                                                 ^
/usr/include/c++/7/tuple:1253:64: error: expected primary-expression before ‘.’ token
    this->_M_tail(*this)._M_head(*this) = std::forward<_U2>(__in.second);
                                                                ^
In file included from /usr/include/c++/7/locale:43:0,
                 from /usr/include/c++/7/iomanip:43,
                 from ../src/util/small_object_allocator.cpp:26:
/usr/include/c++/7/bits/locale_conv.h: In member function ‘std::__cxx11::wstring_convert<_Codecvt, _Elem, _Wide_alloc, _Byte_alloc>::wide_string std::__cxx11::wstring_convert<_Codecvt, _Elem, _Wide_alloc, _Byte_alloc>::from_bytes(const char*, const char*)’:
/usr/include/c++/7/bits/locale_conv.h:253:45: error: expected primary-expression before ‘,’ token
  if (__str_codecvt_in(__first, __last, __out, *_M_cvt, _M_state,
                                             ^
/usr/include/c++/7/bits/locale_conv.h:255:4: error: return-statement with no value, in function returning ‘std::__cxx11::wstring_convert<_Codecvt, _Elem, _Wide_alloc, _Byte_alloc>::wide_string’ [-fpermissive]
    return __out;
    ^~~~~~
/usr/include/c++/7/bits/locale_conv.h: In member function ‘std::__cxx11::wstring_convert<_Codecvt, _Elem, _Wide_alloc, _Byte_alloc>::byte_string std::__cxx11::wstring_convert<_Codecvt, _Elem, _Wide_alloc, _Byte_alloc>::to_bytes(const _Elem*, const _Elem*)’:
/usr/include/c++/7/bits/locale_conv.h:289:46: error: expected primary-expression before ‘,’ token
  if (__str_codecvt_out(__first, __last, __out, *_M_cvt, _M_state,
                                              ^
/usr/include/c++/7/bits/locale_conv.h:291:4: error: return-statement with no value, in function returning ‘std::__cxx11::wstring_convert<_Codecvt, _Elem, _Wide_alloc, _Byte_alloc>::byte_string’ [-fpermissive]
    return __out;
    ^~~~~~
/usr/include/c++/7/bits/locale_conv.h: In member function ‘typename std::wbuffer_convert<_Codecvt, _Elem, _Tr>::_Wide_streambuf::int_type std::wbuffer_convert<_Codecvt, _Elem, _Tr>::overflow(typename std::wbuffer_convert<_Codecvt, _Elem, _Tr>::_Wide_streambuf::int_type)’:
/usr/include/c++/7/bits/locale_conv.h:385:34: error: expected primary-expression before ‘,’ token
  else if (!_Tr::eq_int_type(__out, _Tr::eof()))
                                  ^
Makefile:221: recipe for target 'util/small_object_allocator.o' failed
make[1]: *** [util/small_object_allocator.o] Error 1
make[1]: Leaving directory '/home/egolf/Projects/kinara/thirdparty/z3-4.3.2/build'
Makefile:8: recipe for target '/home/egolf/Projects/kinara/thirdparty/z3-4.3.2/install/z3libsbuilt.ph' failed
make: *** [/home/egolf/Projects/kinara/thirdparty/z3-4.3.2/install/z3libsbuilt.ph] Error 2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@egolf-cs