------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/expat-2.2.6_1.tgz Installing /packages/All/indexinfo-0.3.1.tgz Installing /packages/All/libffi-3.2.1_3.tgz Installing /packages/All/ncurses-6.1.20190525.tgz Installing /packages/All/readline-8.0.0.tgz Installing /packages/All/gettext-runtime-0.20.1.tgz Installing /packages/All/openssl-1.0.2s,1.tgz Message from openssl-1.0.2s,1: Edit /usr/local/openssl/openssl.cnf to fit your needs. Installing /packages/All/python36-3.6.9.tgz Message from python36-3.6.9: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py36-gdbm databases/py-gdbm@py36 py36-sqlite3 databases/py-sqlite3@py36 py36-tkinter x11-toolkits/py-tkinter@py36 =========================================================================== Installing /packages/All/py36-setuptools-41.0.1.tgz SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- x SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- x===> Fetching all distfiles required by py36-z3-solver-4.8.4_3 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- x===> Fetching all distfiles required by py36-z3-solver-4.8.4_3 for building => SHA256 Checksum OK for Z3Prover-z3-z3-4.8.4_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- x===> Fetching all distfiles required by py36-z3-solver-4.8.4_3 for building ===> Extracting for py36-z3-solver-4.8.4_3 => SHA256 Checksum OK for Z3Prover-z3-z3-4.8.4_GH0.tar.gz. Extracted Memory Use: 25.64M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- x===> Patching for py36-z3-solver-4.8.4_3 ===> Applying ports patches for py36-z3-solver-4.8.4_3 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- x===> Configuring for py36-z3-solver-4.8.4_3 running config SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- x===> Building for py36-z3-solver-4.8.4_3 running build Configuring Z3 New component: 'util' New component: 'polynomial' New component: 'sat' New component: 'nlsat' New component: 'lp' New component: 'hilbert' New component: 'simplex' New component: 'automata' New component: 'interval' New component: 'realclosure' New component: 'subpaving' New component: 'ast' New component: 'rewriter' New component: 'macros' 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: 'proofs' New component: 'solver' New component: 'sat_tactic' New component: 'arith_tactics' New component: 'nlsat_tactic' New component: 'subpaving_tactic' New component: 'aig_tactic' New component: 'ackermannization' New component: 'cmd_context' New component: 'smt2parser' New component: 'fpa' New component: 'pattern' New component: 'bit_blaster' New component: 'smt_params' New component: 'proto_model' New component: 'smt' New component: 'bv_tactics' New component: 'fuzzing' New component: 'smt_tactic' New component: 'sls_tactic' New component: 'qe' New component: 'sat_solver' New component: 'fd_solver' New component: 'muz' New component: 'dataflow' New component: 'transforms' New component: 'rel' New component: 'spacer' New component: 'clp' New component: 'tab' New component: 'ddnf' New component: 'bmc' New component: 'fp' New component: 'ufbv_tactic' New component: 'smtlogic_tactics' New component: 'fpa_tactics' New component: 'portfolio' New component: 'opt' New component: 'api' New component: 'extra_cmds' New component: 'shell' New component: 'test' New component: 'api_dll' New component: 'dotnet' New component: 'dotnetcore' New component: 'java' New component: 'ml' New component: 'cpp' Python bindings directory was detected. New component: 'python' New component: 'python_install' New component: 'js' New component: 'cpp_example' New component: 'z3_tptp' New component: 'c_example' New component: 'maxsat' New component: 'dotnet_example' New component: 'java_example' New component: 'ml_example' New component: 'py_example' Generating src/util/z3_version.h from src/util/z3_version.h.in Generated 'src/util/z3_version.h' Generating src/api/dotnet/Properties/AssemblyInfo.cs from src/api/dotnet/Properties/AssemblyInfo.cs.in Generating src/api/dotnet/Properties/AssemblyInfo.cs from src/api/dotnet/Properties/AssemblyInfo.cs.in Generated 'src/solver/parallel_params.hpp' Generated 'src/solver/combined_solver_params.hpp' Generated 'src/util/lp/lp_params.hpp' Generated 'src/opt/opt_params.hpp' Generated 'src/sat/sat_scc_params.hpp' Generated 'src/sat/sat_params.hpp' Generated 'src/sat/sat_asymm_branch_params.hpp' Generated 'src/sat/sat_simplifier_params.hpp' Generated 'src/smt/params/smt_params_helper.hpp' Generated 'src/tactic/sls/sls_params.hpp' Generated 'src/tactic/smtlogics/qfufbv_tactic_params.hpp' Generated 'src/nlsat/nlsat_params.hpp' Generated 'src/parsers/util/parser_params.hpp' Generated 'src/math/polynomial/algebraic_params.hpp' Generated 'src/math/realclosure/rcf_params.hpp' Generated 'src/muz/base/fp_params.hpp' Generated 'src/ackermannization/ackermannize_bv_tactic_params.hpp' Generated 'src/ackermannization/ackermannization_params.hpp' Generated 'src/model/model_params.hpp' Generated 'src/model/model_evaluator_params.hpp' Generated 'src/ast/pp_params.hpp' Generated 'src/ast/rewriter/poly_rewriter_params.hpp' Generated 'src/ast/rewriter/array_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/ast/rewriter/bv_rewriter_params.hpp' Generated 'src/ast/rewriter/fpa_rewriter_params.hpp' Generated 'src/ast/normal_forms/nnf_params.hpp' Generated 'src/ast/fpa/fpa2bv_rewriter_params.hpp' Generated 'src/ast/pattern/pattern_inference_params_helper.hpp' Generated 'src/ast/pattern/database.h' Component api Component portfolio Component smtlogic_tactics Component ackermannization Component model Component rewriter Component ast Component util Component polynomial Component automata Component solver Component tactic Component proofs Component sat_solver Component core_tactics Component macros Component normal_forms Component aig_tactic Component bv_tactics Component bit_blaster Component arith_tactics Component sat Component sat_tactic Component nlsat_tactic Component nlsat Component smt_tactic Component smt Component cmd_context Component proto_model Component smt_params Component pattern Component smt2parser Component parser_util Component substitution Component grobner Component euclid Component simplex Component fpa Component lp Component fp Component muz Component qe Component clp Component transforms Component hilbert Component dataflow Component tab Component rel Component bmc Component fd_solver Component ddnf Component spacer Component ufbv_tactic Component fpa_tactics Component sls_tactic Component subpaving_tactic Component subpaving Component interval Component realclosure Component opt Component extra_cmds Component shell Generated 'src/shell/install_tactic.cpp' Component api Component portfolio Component smtlogic_tactics Component ackermannization Component model Component rewriter Component ast Component util Component polynomial Component automata Component solver Component tactic Component proofs Component sat_solver Component core_tactics Component macros Component normal_forms Component aig_tactic Component bv_tactics Component bit_blaster Component arith_tactics Component sat Component sat_tactic Component nlsat_tactic Component nlsat Component smt_tactic Component smt Component cmd_context Component proto_model Component smt_params Component pattern Component smt2parser Component parser_util Component substitution Component grobner Component euclid Component simplex Component fpa Component lp Component fp Component muz Component qe Component clp Component transforms Component hilbert Component dataflow Component tab Component rel Component bmc Component fd_solver Component ddnf Component spacer Component ufbv_tactic Component fpa_tactics Component sls_tactic Component subpaving_tactic Component subpaving Component interval Component realclosure Component opt Component fuzzing Component test Generated 'src/test/install_tactic.cpp' Component api Component portfolio Component smtlogic_tactics Component ackermannization Component model Component rewriter Component ast Component util Component polynomial Component automata Component solver Component tactic Component proofs Component sat_solver Component core_tactics Component macros Component normal_forms Component aig_tactic Component bv_tactics Component bit_blaster Component arith_tactics Component sat Component sat_tactic Component nlsat_tactic Component nlsat Component smt_tactic Component smt Component cmd_context Component proto_model Component smt_params Component pattern Component smt2parser Component parser_util Component substitution Component grobner Component euclid Component simplex Component fpa Component lp Component fp Component muz Component qe Component clp Component transforms Component hilbert Component dataflow Component tab Component rel Component bmc Component fd_solver Component ddnf Component spacer Component ufbv_tactic Component fpa_tactics Component sls_tactic Component subpaving_tactic Component subpaving Component interval Component realclosure Component opt Component extra_cmds Component api_dll 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/z3/z3consts.py Generated 'src/api/api_log_macros.h' Generated 'src/api/api_log_macros.cpp' Generated 'src/api/api_commands.cpp' Generated 'src/api/python/z3/z3core.py' Listing 'src/api/python/z3'... Compiling 'src/api/python/z3/__init__.py'... Compiling 'src/api/python/z3/z3.py'... Compiling 'src/api/python/z3/z3consts.py'... Compiling 'src/api/python/z3/z3core.py'... Compiling 'src/api/python/z3/z3num.py'... Compiling 'src/api/python/z3/z3poly.py'... Compiling 'src/api/python/z3/z3printer.py'... Compiling 'src/api/python/z3/z3rcf.py'... Compiling 'src/api/python/z3/z3types.py'... Compiling 'src/api/python/z3/z3util.py'... Generated python bytecode Copied 'z3poly.py' Copied 'z3.py' Copied '__init__.py' Copied 'z3rcf.py' Copied 'z3printer.py' Copied 'z3util.py' Copied 'z3types.py' Copied 'z3num.py' Copied 'z3core.py' Copied 'z3consts.py' Copied 'z3util.cpython-36.pyc' Copied 'z3types.cpython-36.pyc' Copied 'z3rcf.cpython-36.pyc' Copied 'z3printer.cpython-36.pyc' Copied 'z3poly.cpython-36.pyc' Copied 'z3core.cpython-36.pyc' Copied 'z3num.cpython-36.pyc' Copied 'z3.cpython-36.pyc' Copied '__init__.cpython-36.pyc' Copied 'z3consts.cpython-36.pyc' Testing ar... Testing c++... Testing cc... Testing floating point support... Testing OpenMP... Traceback (most recent call last): File "/construction/math/py-z3-solver/z3-z3-4.8.4/src/api/python/../../../scripts/mk_make.py", line 21, in mk_makefile() File "/construction/math/py-z3-solver/z3-z3-4.8.4/scripts/mk_util.py", line 2954, in mk_makefile mk_config() File "/construction/math/py-z3-solver/z3-z3-4.8.4/scripts/mk_util.py", line 2854, in mk_config raise MKException('Unsupported platform: %s' % sysname) mk_exception.MKException: 'Unsupported platform: DragonFly' error: Unable to configure Z3. *** Error code 1 Stop. make: stopped in /xports/math/py-z3-solver FAILED 00:00:08