/usr/bin/c++ -fPIC  -std=c++14 -Wunknown-pragmas -pthread -fmax-errors=5 -fdiagnostics-color=auto -O3 -DNDEBUG -O3  -shared -Wl,-soname,libcarl.so.14.18 -o ../../libcarl.so.14.18 CMakeFiles/lib_carl.dir/converter/CoCoAAdaptor.cpp.o CMakeFiles/lib_carl.dir/converter/OldGinacConverter.cpp.o CMakeFiles/lib_carl.dir/core/Monomial.cpp.o CMakeFiles/lib_carl.dir/core/MonomialPool.cpp.o CMakeFiles/lib_carl.dir/core/Variable.cpp.o CMakeFiles/lib_carl.dir/core/VariablePool.cpp.o CMakeFiles/lib_carl.dir/core/logging.cpp.o CMakeFiles/lib_carl.dir/core/rootfinder/EigenWrapper.cpp.o CMakeFiles/lib_carl.dir/formula/Sort.cpp.o CMakeFiles/lib_carl.dir/formula/SortManager.cpp.o CMakeFiles/lib_carl.dir/formula/bitvector/BVConstraint.cpp.o CMakeFiles/lib_carl.dir/formula/bitvector/BVConstraintPool.cpp.o CMakeFiles/lib_carl.dir/formula/bitvector/BVTerm.cpp.o CMakeFiles/lib_carl.dir/formula/bitvector/BVTermPool.cpp.o CMakeFiles/lib_carl.dir/formula/model/uninterpreted/SortValue.cpp.o CMakeFiles/lib_carl.dir/formula/model/uninterpreted/SortValueManager.cpp.o CMakeFiles/lib_carl.dir/formula/model/uninterpreted/UFModel.cpp.o CMakeFiles/lib_carl.dir/formula/parser/OPBImporter.cpp.o CMakeFiles/lib_carl.dir/formula/uninterpreted/UEquality.cpp.o CMakeFiles/lib_carl.dir/formula/uninterpreted/UFInstance.cpp.o CMakeFiles/lib_carl.dir/formula/uninterpreted/UFInstanceManager.cpp.o CMakeFiles/lib_carl.dir/formula/uninterpreted/UFManager.cpp.o CMakeFiles/lib_carl.dir/formula/uninterpreted/UninterpretedFunction.cpp.o CMakeFiles/lib_carl.dir/groebner/gb-buchberger/BuchbergerStats.cpp.o CMakeFiles/lib_carl.dir/numbers/adaption_cln/operations.cpp.o CMakeFiles/lib_carl.dir/numbers/adaption_float/mpfr_float.cpp.o CMakeFiles/lib_carl.dir/numbers/adaption_gmpxx/operations.cpp.o CMakeFiles/lib_carl.dir/numbers/number/NumberClI.cpp.o CMakeFiles/lib_carl.dir/numbers/number/NumberClRA.cpp.o CMakeFiles/lib_carl.dir/numbers/number/NumberMpq.cpp.o CMakeFiles/lib_carl.dir/numbers/number/NumberMpz.cpp.o CMakeFiles/lib_carl.dir/util/BitVector.cpp.o CMakeFiles/lib_carl.dir/util/CMakeOptions.cpp.o CMakeFiles/lib_carl.dir/util/debug.cpp.o -Wl,-rpath,:::::::::::::: /usr/lib/x86_64-linux-gnu/libgmpxx.so /usr/lib/x86_64-linux-gnu/libgmp.so -ldl -lpthread /usr/lib/libcln.so /usr/lib/libginac.so /usr/lib/x86_64-linux-gnu/libboost_filesystem.so /usr/lib/x86_64-linux-gnu/libboost_system.so /usr/lib/x86_64-linux-gnu/libboost_program_options.so /usr/lib/x86_64-linux-gnu/libboost_regex.so /usr/lib/x86_64-linux-gnu/libboost_unit_test_framework.so 
