python binding fails on i386 architecture

[yurivict]

c++ -olibz3.so -shared api/dll/gparams_register_modules.o api/dll/mem_initializer.o api/dll/dll.o api/dll/install_tactic.o api/api_numeral.o api/api_bv.o api/api_rcf.o api/api_array.o api/api_seq.o api/api_goal.o api/api_solver.o api/api_quant.o api/api_fpa.o api/api_ast.o api/api_pb.o api/z3_replayer.o api/api_log_macros.o api/api_commands.o api/api_ast_vector.o api/api_stats.o api/api_tactic.o api/api_params.o api/api_log.o api/api_polynomial.o api/api_context.o api/api_model.o api/api_config_params.o api/api_datatype.o api/api_ast_map.o api/api_parsers.o api/api_opt.o api/api_datalog.o api/api_algebraic.o api/api_qe.o api/api_arith.o cmd_context/extra_cmds/extra_cmds.a opt/opt.a tactic/portfolio/portfolio.a tactic/fpa/fpa_tactics.a tactic/smtlogics/smtlogic_tactics.a tactic/ufbv/ufbv_tactic.a muz/fp/fp.a muz/bmc/bmc.a muz/ddnf/ddnf.a muz/tab/tab.a muz/clp/clp.a muz/spacer/spacer.a muz/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/base/muz.a tactic/fd_solver/fd_
 solver.a sat/sat_solver/sat_solver.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/fpa/fpa.a parsers/smt2/smt2parser.a cmd_context/cmd_context.a ackermannization/ackermannization.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 solver/solver.a ast/proofs/proofs.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/macros/macros.a ast/rewriter/rewriter.a ast/ast.a math/subpaving/subpaving.a math/realclosure/realclosure.a math/interval/interval.a math/automata/automata.a math/simplex/simplex.a math/hilbert/hilbert.a util/lp/lp.a nlsat/nlsat.a sat/sat.a math/polynomial/polynomial.a util/u
 til.a -fopenmp -lrt
ld: error: can't create dynamic relocation R_386_32 against symbol: .L.str in readonly segment; recompile object files with -fPIC or pass '-Wl,-z,notext' to allow text relocations in the output

See the full log here: http://beefy11.nyi.freebsd.org/data/head-i386-default/p507306_s350311/logs/py27-z3-solver-4.8.4_2.log (IPv6 URL)

Adding -fPIC for CXXFLAGS as the message suggests doesn't help.

[NikolajBjorner]

Does this mean anything:

!!! Jail is newer than host. (Jail: 1300037, Host: 1300031) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!

[yurivict]

Does this mean anything:

This doesn't seem relevant, it's just a minor kernel version mismatch between the jail and the kernel running on the host.

[NikolajBjorner]

The Travis builds do produce x86 Linux binaries. Otherwise you must be testing some build configuration that was haven't integrated in automated builds or it may happen that there is an issue with the tool you use for building.

[yurivict]

The Travis builds do produce x86 Linux binaries

You test on linux, so it works on linux with gcc. FreeBSD uses clang to build.

[NikolajBjorner]

Right. Specifically Travis contains the following build definition

LINUX_BASE=ubuntu32_16.04 C_COMPILER=/usr/bin/gcc-5 CXX_COMPILER=/usr/bin/g++-5 TARGET_ARCH=i686 Z3_BUILD_TYPE=RelWithDebInfo

Other configurations use clang, but not for ubuntu32.

If you can help with adding a container definition to the Azure DevOps build
we could possibly add it.