{"action":"created","issue":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/381","labels_url":"https://api.github.com/repos/Z3Prover/z3/issues/381/labels{/name}","comments_url":"https://api.github.com/repos/Z3Prover/z3/issues/381/comments","events_url":"https://api.github.com/repos/Z3Prover/z3/issues/381/events","html_url":"https://github.com/Z3Prover/z3/issues/381","id":122656811,"number":381,"title":"ld failed when installing z3 on mac osx 10.11.2","user":{"login":"xiedingbao","id":1926826,"avatar_url":"https://avatars.githubusercontent.com/u/1926826?v=3","gravatar_id":"","url":"https://api.github.com/users/xiedingbao","html_url":"https://github.com/xiedingbao","followers_url":"https://api.github.com/users/xiedingbao/followers","following_url":"https://api.github.com/users/xiedingbao/following{/other_user}","gists_url":"https://api.github.com/users/xiedingbao/gists{/gist_id}","starred_url":"https://api.github.com/users/xiedingbao/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xiedingbao/subscriptions","organizations_url":"https://api.github.com/users/xiedingbao/orgs","repos_url":"https://api.github.com/users/xiedingbao/repos","events_url":"https://api.github.com/users/xiedingbao/events{/privacy}","received_events_url":"https://api.github.com/users/xiedingbao/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-12-17T04:01:44Z","updated_at":"2015-12-17T11:53:08Z","closed_at":"2015-12-17T11:53:08Z","body":"I tried to build z3 (latest version from git) on my mac but got a ld failure.\r\n\r\ng++ -o z3  shell/datalog_frontend.o shell/dimacs_frontend.o shell/gparams_register_modules.o shell/install_tactic.o shell/main.o shell/mem_initializer.o shell/opt_frontend.o shell/smtlib_frontend.o shell/z3_log_frontend.o api/api.a opt/opt.a parsers/smt/smtparser.a tactic/portfolio/portfolio.a sat/sat_solver/sat_solver.a tactic/ufbv/ufbv_tactic.a tactic/fpa/fpa_tactics.a tactic/smtlogics/smtlogic_tactics.a tactic/nlsat_smt/nlsat_smt_tactic.a muz/fp/fp.a muz/duality/duality_intf.a muz/ddnf/ddnf.a muz/bmc/bmc.a muz/tab/tab.a muz/clp/clp.a muz/pdr/pdr.a muz/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/base/muz.a duality/duality.a qe/qe.a tactic/sls/sls_tactic.a smt/tactic/smt_tactic.a tactic/bv/bv_tactics.a smt/smt.a smt/proto_model/proto_model.a smt/params/smt_params.a ast/rewriter/bit_blaster/bit_blaster.a ast/pattern/pattern.a ast/macros/macros.a ast/fpa/fpa.a ast/simplifier/simplifier.a ast/proof_checker/proof_checker.a parsers/smt2/smt2parser.a cmd_context/extra_cmds/extra_cmds.a cmd_context/cmd_context.a interp/interp.a solver/solver.a tactic/aig/aig_tactic.a math/subpaving/tactic/subpaving_tactic.a nlsat/tactic/nlsat_tactic.a tactic/arith/arith_tactics.a sat/tactic/sat_tactic.a tactic/core/core_tactics.a math/euclid/euclid.a math/grobner/grobner.a parsers/util/parser_util.a ast/substitution/substitution.a tactic/tactic.a model/model.a ast/normal_forms/normal_forms.a ast/rewriter/rewriter.a ast/ast.a math/subpaving/subpaving.a math/realclosure/realclosure.a math/interval/interval.a math/simplex/simplex.a math/hilbert/hilbert.a nlsat/nlsat.a sat/sat.a math/polynomial/polynomial.a util/util.a  -lpthread  -fopenmp\r\n0  0x107bfa342  __assert_rtn + 144\r\n1  0x107c0dc89  mach_o::relocatable::Parser<x86_64>::parse(mach_o::relocatable::ParserOptions const&) + 3225\r\n2  0x107c0592e  mach_o::relocatable::Parser<x86_64>::parse(unsigned char const*, unsigned long long, char const*, long, ld::File::Ordinal, mach_o::relocatable::ParserOptions const&) + 388\r\n3  0x107c33ccf  archive::File<x86_64>::makeObjectFileForMember(archive::File<x86_64>::Entry const*) const + 761\r\n4  0x107c331e2  archive::File<x86_64>::justInTimeforEachAtom(char const*, ld::File::AtomHandler&) const + 122\r\n5  0x107c4da75  ld::tool::InputFiles::searchLibraries(char const*, bool, bool, bool, ld::File::AtomHandler&) const + 265\r\n6  0x107c56db8  ld::tool::Resolver::resolveUndefines() + 160\r\n7  0x107c59117  ld::tool::Resolver::resolve() + 79\r\n8  0x107bfb060  main + 812\r\nA linker snapshot was created at:\r\n\t/tmp/z3-2015-11-17-114525.ld-snapshot\r\nld: Assertion failed: (cfiStartsArray[i] != cfiStartsArray[i-1]), function parse, file /Library/Caches/com.apple.xbs/Sources/ld64/ld64-253.9/src/ld/parsers/macho_relocatable_file.cpp, line 1835.\r\ncollect2: error: ld returned 1 exit status\r\nmake: *** [z3] Error 1\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/comments/165433931","html_url":"https://github.com/Z3Prover/z3/issues/381#issuecomment-165433931","issue_url":"https://api.github.com/repos/Z3Prover/z3/issues/381","id":165433931,"user":{"login":"wintersteiger","id":10155819,"avatar_url":"https://avatars.githubusercontent.com/u/10155819?v=3","gravatar_id":"","url":"https://api.github.com/users/wintersteiger","html_url":"https://github.com/wintersteiger","followers_url":"https://api.github.com/users/wintersteiger/followers","following_url":"https://api.github.com/users/wintersteiger/following{/other_user}","gists_url":"https://api.github.com/users/wintersteiger/gists{/gist_id}","starred_url":"https://api.github.com/users/wintersteiger/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wintersteiger/subscriptions","organizations_url":"https://api.github.com/users/wintersteiger/orgs","repos_url":"https://api.github.com/users/wintersteiger/repos","events_url":"https://api.github.com/users/wintersteiger/events{/privacy}","received_events_url":"https://api.github.com/users/wintersteiger/received_events","type":"User","site_admin":false},"created_at":"2015-12-17T11:53:08Z","updated_at":"2015-12-17T11:53:08Z","body":"Great, thanks for letting us know! I'm closing the issue as the problem is fixed, but could you perhaps let us know what the version numbers of the failing tools were?"}}