Created
February 4, 2020 15:11
-
-
Save tucnak/13a8adaabc64fa961f4e9b75fb4487c1 to your computer and use it in GitHub Desktop.
make
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| CGO_CPPFLAGS="-I/Users/badt/Dev/go/src/github.com/tinygo-org/tinygo/llvm-project/llvm/include -I/Users/badt/Dev/go/src/github.com/tinygo-org/tinygo/llvm-build/include -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/Users/badt/Dev/go/src/github.com/tinygo-org/tinygo/llvm-build/tools/clang/include -I/Users/badt/Dev/go/src/github.com/tinygo-org/tinygo/llvm-project/clang/include -I/Users/badt/Dev/go/src/github.com/tinygo-org/tinygo/llvm-project/lld/include" CGO_CXXFLAGS="-std=c++11" CGO_LDFLAGS="/Users/badt/Dev/go/src/github.com/tinygo-org/tinygo/llvm-build/lib/libclang.a -std=c++11 -L/Users/badt/Dev/go/src/github.com/tinygo-org/tinygo/llvm-build/lib -lclangAnalysis -lclangARCMigrate -lclangAST -lclangASTMatchers -lclangBasic -lclangCodeGen -lclangCrossTU -lclangDriver -lclangDynamicASTMatchers -lclangEdit -lclangFormat -lclangFrontend -lclangFrontendTool -lclangHandleCXX -lclangHandleLLVM -lclangIndex -lclangLex -lclangParse -lclangRewrite -lclangRewriteFrontend -lclangSema -lclangSerialization -lclangStaticAnalyzerCheckers -lclangStaticAnalyzerCore -lclangStaticAnalyzerFrontend -lclangTooling -lclangToolingASTDiff -lclangToolingCore -lclangToolingInclusions -lstdc++ -llldCOFF -llldCommon -llldCore -llldDriver -llldELF -llldMachO -llldMinGW -llldReaderWriter -llldWasm -llldYAML -L/Users/badt/Dev/go/src/github.com/tinygo-org/tinygo/llvm-build/lib -Wl,-search_paths_first -Wl,-headerpad_max_install_names -lLLVMOption -lLLVMMCJIT -lLLVMLTO -lLLVMPasses -lLLVMObjCARCOpts -lLLVMInterpreter -lLLVMExecutionEngine -lLLVMRuntimeDyld -lLLVMCoverage -lLLVMCoroutines -lLLVMipo -lLLVMInstrumentation -lLLVMVectorize -lLLVMLinker -lLLVMIRReader -lLLVMAsmParser -lLLVMAVRDisassembler -lLLVMAVRCodeGen -lLLVMAVRAsmParser -lLLVMAVRDesc -lLLVMAVRInfo -lLLVMWebAssemblyDisassembler -lLLVMWebAssemblyCodeGen -lLLVMWebAssemblyDesc -lLLVMWebAssemblyAsmParser -lLLVMWebAssemblyInfo -lLLVMRISCVDisassembler -lLLVMRISCVCodeGen -lLLVMRISCVAsmParser -lLLVMRISCVDesc -lLLVMRISCVUtils -lLLVMRISCVInfo -lLLVMAArch64Disassembler -lLLVMAArch64CodeGen -lLLVMAArch64AsmParser -lLLVMAArch64Desc -lLLVMAArch64Utils -lLLVMAArch64Info -lLLVMARMDisassembler -lLLVMARMCodeGen -lLLVMARMAsmParser -lLLVMARMDesc -lLLVMARMUtils -lLLVMARMInfo -lLLVMX86Disassembler -lLLVMX86AsmParser -lLLVMX86CodeGen -lLLVMGlobalISel -lLLVMSelectionDAG -lLLVMAsmPrinter -lLLVMDebugInfoDWARF -lLLVMCodeGen -lLLVMTarget -lLLVMScalarOpts -lLLVMInstCombine -lLLVMAggressiveInstCombine -lLLVMTransformUtils -lLLVMBitWriter -lLLVMAnalysis -lLLVMProfileData -lLLVMX86Desc -lLLVMObject -lLLVMMCParser -lLLVMBitReader -lLLVMCore -lLLVMRemarks -lLLVMBitstreamReader -lLLVMMCDisassembler -lLLVMMC -lLLVMDebugInfoCodeView -lLLVMDebugInfoMSF -lLLVMBinaryFormat -lLLVMX86Utils -lLLVMX86Info -lLLVMSupport -lLLVMDemangle -lm -lxml2 -lstdc++ " go build -o build/tinygo -tags byollvm . | |
| # github.com/tinygo-org/tinygo/builder | |
| Undefined symbols for architecture x86_64: | |
| "_Z3_ast_to_string", referenced from: | |
| (anonymous namespace)::Z3Expr::print(llvm::raw_ostream&) const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_dec_ref", referenced from: | |
| (anonymous namespace)::Z3Solver::getBoolSort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getBitvectorSort(unsigned int) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getFloat16Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getFloat32Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getFloat64Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getFloat128Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getSort(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| ... | |
| "_Z3_del_config", referenced from: | |
| llvm::CreateZ3Solver() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_del_context", referenced from: | |
| (anonymous namespace)::Z3Solver::~Z3Solver() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::~Z3Solver() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Context::~Z3Context() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Context::~Z3Context() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_fpa_get_ebits", referenced from: | |
| (anonymous namespace)::Z3Sort::getFloatSortSizeImpl() const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_fpa_get_sbits", referenced from: | |
| (anonymous namespace)::Z3Sort::getFloatSortSizeImpl() const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_get_app_decl", referenced from: | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APSInt&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APFloat&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_get_ast_id", referenced from: | |
| (anonymous namespace)::Z3Sort::Profile(llvm::FoldingSetNodeID&) const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Expr::Profile(llvm::FoldingSetNodeID&) const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_get_bool_value", referenced from: | |
| (anonymous namespace)::Z3Solver::getBoolean(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_get_bv_sort_size", referenced from: | |
| (anonymous namespace)::Z3Sort::getBitvectorSortSizeImpl() const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_get_error_msg", referenced from: | |
| (anonymous namespace)::Z3ErrorHandler(_Z3_context*, Z3_error_code) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_get_numeral_string", referenced from: | |
| (anonymous namespace)::Z3Solver::getBitvector(llvm::SMTExpr const* const&, unsigned int, bool) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_get_sort", referenced from: | |
| (anonymous namespace)::Z3Solver::getSort(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_get_sort_kind", referenced from: | |
| (anonymous namespace)::Z3Sort::isBitvectorSortImpl() const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Sort::isFloatSortImpl() const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Sort::isBooleanSortImpl() const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_inc_ref", referenced from: | |
| (anonymous namespace)::Z3Solver::getBoolSort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getBitvectorSort(unsigned int) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getFloat16Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getFloat32Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getFloat64Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getFloat128Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getSort(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| ... | |
| "_Z3_is_eq_ast", referenced from: | |
| (anonymous namespace)::Z3Expr::equal_to(llvm::SMTExpr const&) const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_is_eq_sort", referenced from: | |
| (anonymous namespace)::Z3Sort::equal_to(llvm::SMTSort const&) const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_and", referenced from: | |
| (anonymous namespace)::Z3Solver::mkAnd(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bool_sort", referenced from: | |
| (anonymous namespace)::Z3Solver::getBoolSort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bv_sort", referenced from: | |
| (anonymous namespace)::Z3Solver::getBitvectorSort(unsigned int) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvadd", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVAdd(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvadd_no_overflow", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVAddNoOverflow(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&, bool) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvadd_no_underflow", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVAddNoUnderflow(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvand", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVAnd(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvashr", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVAshr(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvlshr", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVLshr(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvmul", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVMul(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvmul_no_overflow", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVMulNoOverflow(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&, bool) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvmul_no_underflow", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVMulNoUnderflow(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvneg", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVNeg(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvneg_no_overflow", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVNegNoOverflow(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvnot", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVNot(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvor", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVOr(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvsdiv", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVSDiv(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvsdiv_no_overflow", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVSDivNoOverflow(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvsge", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVSge(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvsgt", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVSgt(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvshl", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVShl(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvsle", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVSle(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvslt", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVSlt(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvsrem", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVSRem(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvsub", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVSub(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvsub_no_overflow", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVSubNoOverflow(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvsub_no_underflow", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVSubNoUnderflow(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&, bool) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvudiv", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVUDiv(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvuge", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVUge(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvugt", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVUgt(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvule", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVUle(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvult", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVUlt(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvurem", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVURem(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_bvxor", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVXor(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_concat", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVConcat(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_config", referenced from: | |
| llvm::CreateZ3Solver() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_const", referenced from: | |
| (anonymous namespace)::Z3Solver::mkSymbol(char const*, llvm::SMTSort const*) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_context_rc", referenced from: | |
| llvm::CreateZ3Solver() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_eq", referenced from: | |
| (anonymous namespace)::Z3Solver::mkEqual(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_extract", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVExtract(unsigned int, unsigned int, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_false", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBoolean(bool) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_add", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPAdd(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_div", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPDiv(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_eq", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPEqual(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_geq", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPGe(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_gt", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPGt(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_is_infinite", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPIsInfinite(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_is_nan", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPIsNaN(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_is_normal", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPIsNormal(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_is_zero", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPIsZero(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_leq", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPLe(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_lt", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPLt(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_mul", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPMul(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_neg", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPNeg(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_rem", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPRem(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_rne", referenced from: | |
| (anonymous namespace)::Z3Solver::getFloatRoundingMode() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_sort_128", referenced from: | |
| (anonymous namespace)::Z3Solver::getFloat128Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_sort_16", referenced from: | |
| (anonymous namespace)::Z3Solver::getFloat16Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_sort_32", referenced from: | |
| (anonymous namespace)::Z3Solver::getFloat32Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_sort_64", referenced from: | |
| (anonymous namespace)::Z3Solver::getFloat64Sort() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_sub", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPSub(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_to_fp_bv", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFloat(llvm::APFloat) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_to_fp_float", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPtoFP(llvm::SMTExpr const* const&, llvm::SMTSort const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_to_fp_signed", referenced from: | |
| (anonymous namespace)::Z3Solver::mkSBVtoFP(llvm::SMTExpr const* const&, llvm::SMTSort const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_to_fp_unsigned", referenced from: | |
| (anonymous namespace)::Z3Solver::mkUBVtoFP(llvm::SMTExpr const* const&, llvm::SMTSort const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_to_sbv", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPtoSBV(llvm::SMTExpr const* const&, unsigned int) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_fpa_to_ubv", referenced from: | |
| (anonymous namespace)::Z3Solver::mkFPtoUBV(llvm::SMTExpr const* const&, unsigned int) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_ite", referenced from: | |
| (anonymous namespace)::Z3Solver::mkIte(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_not", referenced from: | |
| (anonymous namespace)::Z3Solver::mkNot(llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_numeral", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBitvector(llvm::APSInt, unsigned int) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_or", referenced from: | |
| (anonymous namespace)::Z3Solver::mkOr(llvm::SMTExpr const* const&, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_sign_ext", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVSignExt(unsigned int, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_simple_solver", referenced from: | |
| llvm::CreateZ3Solver() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_string_symbol", referenced from: | |
| (anonymous namespace)::Z3Solver::mkSymbol(char const*, llvm::SMTSort const*) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_true", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBoolean(bool) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_mk_zero_ext", referenced from: | |
| (anonymous namespace)::Z3Solver::mkBVZeroExt(unsigned int, llvm::SMTExpr const* const&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_model_dec_ref", referenced from: | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APSInt&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APFloat&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_model_get_const_interp", referenced from: | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APSInt&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APFloat&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_model_has_interp", referenced from: | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APSInt&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APFloat&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_model_inc_ref", referenced from: | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APSInt&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APFloat&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_set_error_handler", referenced from: | |
| llvm::CreateZ3Solver() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_set_param_value", referenced from: | |
| llvm::CreateZ3Solver() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_solver_assert", referenced from: | |
| (anonymous namespace)::Z3Solver::addConstraint(llvm::SMTExpr const* const&) const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_solver_check", referenced from: | |
| (anonymous namespace)::Z3Solver::check() const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_solver_dec_ref", referenced from: | |
| (anonymous namespace)::Z3Solver::~Z3Solver() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::~Z3Solver() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_solver_get_model", referenced from: | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APSInt&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APFloat&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_solver_inc_ref", referenced from: | |
| llvm::CreateZ3Solver() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_solver_pop", referenced from: | |
| (anonymous namespace)::Z3Solver::pop(unsigned int) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_solver_push", referenced from: | |
| (anonymous namespace)::Z3Solver::push() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_solver_reset", referenced from: | |
| (anonymous namespace)::Z3Solver::reset() in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_solver_to_string", referenced from: | |
| (anonymous namespace)::Z3Solver::print(llvm::raw_ostream&) const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_sort_to_string", referenced from: | |
| (anonymous namespace)::Z3Sort::print(llvm::raw_ostream&) const in libLLVMSupport.a(Z3Solver.cpp.o) | |
| "_Z3_to_app", referenced from: | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APSInt&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| (anonymous namespace)::Z3Solver::getInterpretation(llvm::SMTExpr const* const&, llvm::APFloat&) in libLLVMSupport.a(Z3Solver.cpp.o) | |
| ld: symbol(s) not found for architecture x86_64 | |
| clang: error: linker command failed with exit code 1 (use -v to see invocation) | |
| make: *** [tinygo] Error 2 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment