google / fully-homomorphic-encryption

An FHE compiler for C++
Apache License 2.0
3.5k stars 252 forks source link

Bazel build failed in windows #40

Closed pnoor closed 1 year ago

pnoor commented 1 year ago

Dear Team,

When I'm building a Docker image I'm getting the below-mentioned error. Could you please help me?

C:\Users\21335\fully-homomorphic-encryption>docker build -t google-fhe-transpiler -f docker/debian-bullseye.Dockerfile . error during connect: This error may indicate that the docker daemon is not running.: Post "http://%2F%2F.%2Fpipe%2Fdocker_engine/v1.24/build?buildargs=%7B%7D&cachefrom=%5B%5D&cgroupparent=&cpuperiod=0&cpuquota=0&cpusetcpus=&cpusetmems=&cpushares=0&dockerfile=docker%2Fdebian-bullseye.Dockerfile&labels=%7B%7D&memory=0&memswap=0&networkmode=default&rm=1&shmsize=0&t=google-fhe-transpiler&target=&ulimits=null&version=1": open //./pipe/docker_engine: The system cannot find the file specified.

C:\Users\21335\fully-homomorphic-encryption>docker build -t google-fhe-transpiler -f docker/debian-bullseye.Dockerfile . [+] Building 2274.5s (11/11) FINISHED => [internal] load build definition from debian-bullseye.Dockerfile 0.1s => => transferring dockerfile: 48B 0.0s => [internal] load .dockerignore 0.1s => => transferring context: 2B 0.0s => [internal] load metadata for docker.io/library/debian:bullseye-20220527 3.0s => [1/7] FROM docker.io/library/debian:bullseye-20220527@sha256:3f1d6c17773a45c97bd8f158d665c9709d7b29ed7917ac93 0.0s => [internal] load build context 0.2s => => transferring context: 22.56kB 0.2s => CACHED [2/7] RUN apt-get update && apt-get install -y gcc git libtinfo5 python python3 python3-pi 0.0s => CACHED [3/7] RUN wget -O bazel "https://github.com/bazelbuild/bazel/releases/download/5.3.2/bazel-5.3.2-linux 0.0s => CACHED [4/7] WORKDIR /usr/src/fhe/ 0.0s => CACHED [5/7] COPY . . 0.0s => CACHED [6/7] RUN bazel build @llvm_toolchain//:all 0.0s => ERROR [7/7] RUN bazel build ... 2270.9s

[7/7] RUN bazel build ...:

11 1.170 Starting local Bazel server and connecting to it...

11 7.768 Loading:

11 7.780 Loading: 0 packages loaded

11 8.794 Loading: 0 packages loaded

11 9.795 Loading: 0 packages loaded

11 10.87 Loading: 0 packages loaded

11 10.87 currently loading: transpiler/struct_transpiler ... (8 packages)

11 11.82 Analyzing: 1774 targets (27 packages loaded, 0 targets configured)

11 12.82 Analyzing: 1774 targets (31 packages loaded, 26 targets configured)

11 13.82 Analyzing: 1774 targets (81 packages loaded, 496 targets configured)

11 15.48 Analyzing: 1774 targets (81 packages loaded, 496 targets configured)

11 16.72 Analyzing: 1774 targets (84 packages loaded, 554 targets configured)

11 18.17 Analyzing: 1774 targets (85 packages loaded, 556 targets configured)

11 19.85 Analyzing: 1774 targets (95 packages loaded, 671 targets configured)

11 21.72 DEBUG: Rule 'yosys' indicated that a canonical reproducible form can be obtained by modifying arguments shallow_since = "1662445410 +0200"

11 21.74 DEBUG: Repository yosys instantiated at:

11 21.74 /usr/src/fhe/WORKSPACE:130:19: in

11 21.74 Repository rule new_git_repository defined at:

11 21.74 /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/bazel_tools/tools/build_defs/repo/git.bzl:186:37: in

11 21.75 Analyzing: 1774 targets (95 packages loaded, 671 targets configured)

11 23.91 Analyzing: 1774 targets (114 packages loaded, 2218 targets configured)

11 26.51 Analyzing: 1774 targets (126 packages loaded, 3272 targets configured)

11 29.41 Analyzing: 1774 targets (128 packages loaded, 3472 targets configured)

11 32.88 Analyzing: 1774 targets (131 packages loaded, 7546 targets configured)

11 36.73 Analyzing: 1774 targets (133 packages loaded, 7546 targets configured)

11 41.14 Analyzing: 1774 targets (133 packages loaded, 8012 targets configured)

11 46.26 Analyzing: 1774 targets (133 packages loaded, 8012 targets configured)

11 52.16 Analyzing: 1774 targets (133 packages loaded, 8012 targets configured)

11 56.11 DEBUG: Rule 'openfhe' indicated that a canonical reproducible form can be obtained by modifying arguments shallow_since = "1667502783 +0200"

11 56.12 DEBUG: Repository openfhe instantiated at:

11 56.12 /usr/src/fhe/WORKSPACE:48:19: in

11 56.12 Repository rule new_git_repository defined at:

11 56.12 /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/bazel_tools/tools/build_defs/repo/git.bzl:186:37: in

11 58.92 Analyzing: 1774 targets (134 packages loaded, 8044 targets configured)

11 66.93 Analyzing: 1774 targets (135 packages loaded, 14426 targets configured)

11 75.89 Analyzing: 1774 targets (140 packages loaded, 15974 targets configured)

11 86.36 Analyzing: 1774 targets (140 packages loaded, 15974 targets configured)

11 98.37 Analyzing: 1774 targets (140 packages loaded, 15974 targets configured)

11 112.1 Analyzing: 1774 targets (140 packages loaded, 15974 targets configured)

11 129.9 Analyzing: 1774 targets (141 packages loaded, 16112 targets configured)

11 148.3 Analyzing: 1774 targets (156 packages loaded, 26507 targets configured)

11 169.4 Analyzing: 1774 targets (157 packages loaded, 28598 targets configured)

11 193.8 Analyzing: 1774 targets (157 packages loaded, 28598 targets configured)

11 223.3 Analyzing: 1774 targets (157 packages loaded, 28598 targets configured)

11 237.2 INFO: Analyzed 1774 targets (170 packages loaded, 29641 targets configured).

11 237.2 INFO: Found 1774 targets...

11 237.9 [0 / 349] [Prepa] BazelWorkspaceStatusAction stable-status.txt

11 273.2 [111 / 872] Compiling src/google/protobuf/util/internal/proto_writer.cc; 4s processwrapper-sandbox ... (8 actions, 7 running)

11 313.2 [177 / 872] Compiling src/google/protobuf/descriptor.cc; 36s processwrapper-sandbox ... (8 actions, 7 running)#11 359.6 [278 / 872] Compiling src/google/protobuf/descriptor.pb.cc; 11s processwrapper-sandbox ... (8 actions, 7 running)

11 413.7 [359 / 872] Compiling src/google/protobuf/struct.pb.cc; 13s processwrapper-sandbox ... (8 actions, 7 running)

11 476.5 [433 / 872] Compiling src/google/protobuf/compiler/java/shared_code_generator.cc; 9s processwrapper-sandbox ... (8 actions, 7 running)

11 547.4 [510 / 872] Compiling googletest/src/gtest.cc; 24s processwrapper-sandbox ... (8 actions, 7 running)

11 619.1 INFO: From Executing genrule @z3//:gen_src/ackermannization/ackermannization_params:

11 619.1 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/538/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ackermannization/ackermannization_params.pyg

11 619.1 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/538/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ackermannization/ackermannization_params.hpp"

11 619.3 INFO: From Executing genrule @z3//:gen_src/ast/rewriter/bool_rewriter_params:

11 619.3 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/539/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/rewriter/bool_rewriter_params.pyg

11 619.3 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/539/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/rewriter/bool_rewriter_params.hpp"

11 619.5 INFO: From Executing genrule @z3//:gen_src/ast/rewriter/bv_rewriter_params:

11 619.5 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/540/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/rewriter/bv_rewriter_params.pyg

11 619.5 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/540/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/rewriter/bv_rewriter_params.hpp"

11 620.1 INFO: From Executing genrule @z3//:gen_src/tactic/tactic_params:

11 620.2 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/541/execroot/com_google_fully_homomorphic_encryption/external/z3/src/tactic/tactic_params.pyg

11 620.2 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/541/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/tactic/tactic_params.hpp"

11 620.3 INFO: From Executing genrule @z3//:gen_src/tactic/sls/sls_params:

11 620.3 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/542/execroot/com_google_fully_homomorphic_encryption/external/z3/src/tactic/sls/sls_params.pyg

11 620.3 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/542/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/tactic/sls/sls_params.hpp"

11 620.7 INFO: From Executing genrule @z3//:gen_src/model/model_evaluator_params:

11 620.7 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/543/execroot/com_google_fully_homomorphic_encryption/external/z3/src/model/model_evaluator_params.pyg

11 620.7 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/543/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/model/model_evaluator_params.hpp"

11 620.8 INFO: From Executing genrule @z3//:gen_src/model/model_params:

11 620.8 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/544/execroot/com_google_fully_homomorphic_encryption/external/z3/src/model/model_params.pyg

11 620.8 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/544/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/model/model_params.hpp"

11 620.8 INFO: From Executing genrule @z3//:gen_src/solver/solver_params:

11 620.8 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/545/execroot/com_google_fully_homomorphic_encryption/external/z3/src/solver/solver_params.pyg

11 620.8 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/545/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/solver/solver_params.hpp"

11 620.9 INFO: From Executing genrule @z3//:gen_src/solver/parallel_params:

11 620.9 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/546/execroot/com_google_fully_homomorphic_encryption/external/z3/src/solver/parallel_params.pyg

11 620.9 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/546/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/solver/parallel_params.hpp"

11 621.1 INFO: From Executing genrule @z3//:gen_src/nlsat/nlsat_params:

11 621.1 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/548/execroot/com_google_fully_homomorphic_encryption/external/z3/src/nlsat/nlsat_params.pyg

11 621.1 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/548/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/nlsat/nlsat_params.hpp"

11 621.2 INFO: From Executing genrule @z3//:gen_src/smt/params/smt_params_helper:

11 621.2 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/547/execroot/com_google_fully_homomorphic_encryption/external/z3/src/smt/params/smt_params_helper.pyg

11 621.2 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/547/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/smt/params/smt_params_helper.hpp"

11 621.3 INFO: From Executing genrule @z3//:gen_src/opt/opt_params:

11 621.3 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/549/execroot/com_google_fully_homomorphic_encryption/external/z3/src/opt/opt_params.pyg

11 621.3 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/549/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/opt/opt_params.hpp"

11 621.4 INFO: From Executing genrule @z3//:gen_src/parsers/util/parser_params:

11 621.4 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/550/execroot/com_google_fully_homomorphic_encryption/external/z3/src/parsers/util/parser_params.pyg

11 621.4 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/550/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/parsers/util/parser_params.hpp"

11 621.5 INFO: From Executing genrule @z3//:gen_src/sat/sat_simplifier_params:

11 621.5 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/551/execroot/com_google_fully_homomorphic_encryption/external/z3/src/sat/sat_simplifier_params.pyg

11 621.5 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/551/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/sat/sat_simplifier_params.hpp"

11 621.6 INFO: From Executing genrule @z3//:gen_src/sat/sat_params:

11 621.6 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/552/execroot/com_google_fully_homomorphic_encryption/external/z3/src/sat/sat_params.pyg

11 621.6 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/552/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/sat/sat_params.hpp"

11 621.6 INFO: From Executing genrule @z3//:gen_src/sat/sat_asymm_branch_params:

11 621.6 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/553/execroot/com_google_fully_homomorphic_encryption/external/z3/src/sat/sat_asymm_branch_params.pyg

11 621.6 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/553/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/sat/sat_asymm_branch_params.hpp"

11 621.7 INFO: From Executing genrule @z3//:gen_src/sat/sat_scc_params:

11 621.7 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/554/execroot/com_google_fully_homomorphic_encryption/external/z3/src/sat/sat_scc_params.pyg

11 621.7 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/554/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/sat/sat_scc_params.hpp"

11 622.0 INFO: From Executing genrule @z3//:gen_src/solver/combined_solver_params:

11 622.0 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/556/execroot/com_google_fully_homomorphic_encryption/external/z3/src/solver/combined_solver_params.pyg

11 622.0 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/556/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/solver/combined_solver_params.hpp"

11 622.0 INFO: From Executing genrule @z3//:gen_src/muz/base/fp_params:

11 622.0 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/555/execroot/com_google_fully_homomorphic_encryption/external/z3/src/muz/base/fp_params.pyg

11 622.0 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/555/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/muz/base/fp_params.hpp"

11 622.2 INFO: From Executing genrule @z3//:gen_src/math/realclosure/rcf_params:

11 622.2 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/558/execroot/com_google_fully_homomorphic_encryption/external/z3/src/math/realclosure/rcf_params.pyg

11 622.2 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/558/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/math/realclosure/rcf_params.hpp"

11 622.2 INFO: From Executing genrule @z3//:gen_src/math/polynomial/algebraic_params:

11 622.2 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/559/execroot/com_google_fully_homomorphic_encryption/external/z3/src/math/polynomial/algebraic_params.pyg

11 622.2 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/559/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/math/polynomial/algebraic_params.hpp"

11 622.3 INFO: From Executing genrule @z3//:gen_src/tactic/smtlogics/qfufbv_tactic_params:

11 622.3 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/560/execroot/com_google_fully_homomorphic_encryption/external/z3/src/tactic/smtlogics/qfufbv_tactic_params.pyg

11 622.3 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/560/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/tactic/smtlogics/qfufbv_tactic_params.hpp"

11 622.5 INFO: From Executing genrule @z3//:gen_src/ast/rewriter/rewriter_params:

11 622.5 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/562/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/rewriter/rewriter_params.pyg

11 622.5 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/562/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/rewriter/rewriter_params.hpp"

11 622.5 INFO: From Executing genrule @z3//:gen_src/ast/rewriter/seq_rewriter_params:

11 622.5 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/561/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/rewriter/seq_rewriter_params.pyg

11 622.5 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/561/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/rewriter/seq_rewriter_params.hpp"

11 622.6 INFO: From Executing genrule @z3//:gen_src/ast/rewriter/poly_rewriter_params:

11 622.6 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/563/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/rewriter/poly_rewriter_params.pyg

11 622.6 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/563/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/rewriter/poly_rewriter_params.hpp"

11 622.6 INFO: From Executing genrule @z3//:gen_src/ast/rewriter/fpa_rewriter_params:

11 622.6 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/564/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/rewriter/fpa_rewriter_params.pyg

11 622.6 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/564/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/rewriter/fpa_rewriter_params.hpp"

11 622.7 INFO: From Executing genrule @z3//:gen_src/ast/rewriter/array_rewriter_params:

11 622.7 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/565/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/rewriter/array_rewriter_params.pyg

11 622.7 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/565/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/rewriter/array_rewriter_params.hpp"

11 622.8 INFO: From Executing genrule @z3//:gen_src/ast/pp_params:

11 622.8 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/566/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/pp_params.pyg

11 622.8 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/566/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/pp_params.hpp"

11 622.8 INFO: From Executing genrule @z3//:gen_src/ast/pattern/database:

11 622.8 INFO:root:Generated "bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/pattern/database.h"

11 622.8 INFO: From Executing genrule @z3//:gen_src/ast/pattern/pattern_inference_params_helper:

11 622.9 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/568/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/pattern/pattern_inference_params_helper.pyg

11 622.9 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/568/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/pattern/pattern_inference_params_helper.hpp"

11 622.9 INFO: From Executing genrule @z3//:gen_src/ast/fpa/fpa2bv_rewriter_params:

11 622.9 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/569/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/fpa/fpa2bv_rewriter_params.pyg

11 622.9 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/569/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/fpa/fpa2bv_rewriter_params.hpp"

11 623.0 INFO: From Executing genrule @z3//:gen_src/ast/normal_forms/nnf_params:

11 623.0 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/570/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/normal_forms/nnf_params.pyg

11 623.0 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/570/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/normal_forms/nnf_params.hpp"

11 623.8 INFO: From Executing genrule @z3//:gen_src/ackermannization/ackermannize_bv_tactic_params:

11 623.8 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/571/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ackermannization/ackermannize_bv_tactic_params.pyg#11 623.8 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/571/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ackermannization/ackermannize_bv_tactic_params.hpp"

11 623.8 INFO: From Executing genrule @z3//:gen_src/ast/rewriter/arith_rewriter_params:

11 623.8 INFO:root:Using /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/572/execroot/com_google_fully_homomorphic_encryption/external/z3/src/ast/rewriter/arith_rewriter_params.pyg

11 623.8 INFO:root:Generated "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/sandbox/processwrapper-sandbox/572/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/z3/src/ast/rewriter/arith_rewriter_params.hpp"

11 628.4 [664 / 2,153] Compiling src/google/protobuf/extension_set.cc; 11s processwrapper-sandbox ... (8 actions, 7 running)

11 646.3 INFO: From Executing genrule @z3//:gen_srcs:

11 646.3 New component: 'util'

11 646.3 New component: 'polynomial'

11 646.3 New component: 'interval'

11 646.3 New component: 'dd'

11 646.3 New component: 'simplex'

11 646.3 New component: 'hilbert'

11 646.3 New component: 'automata'

11 646.3 New component: 'realclosure'

11 646.3 New component: 'subpaving'

11 646.3 New component: 'ast'

11 646.3 New component: 'grobner'

11 646.3 New component: 'sat'

11 646.3 New component: 'nlsat'

11 646.3 New component: 'lp'

11 646.3 New component: 'rewriter'

11 646.3 New component: 'macros'

11 646.3 New component: 'normal_forms'

11 646.3 New component: 'model'

11 646.3 New component: 'tactic'

11 646.3 New component: 'substitution'

11 646.3 New component: 'parser_util'

11 646.3 New component: 'proofs'

11 646.3 New component: 'solver'

11 646.3 New component: 'cmd_context'

11 646.3 New component: 'sat_tactic'

11 646.3 New component: 'smt2parser'

11 646.3 New component: 'pattern'

11 646.3 New component: 'core_tactics'

11 646.3 New component: 'arith_tactics'

11 646.3 New component: 'nlsat_tactic'

11 646.3 New component: 'subpaving_tactic'

11 646.3 New component: 'aig_tactic'

11 646.3 New component: 'ackermannization'

11 646.3 New component: 'fpa'

11 646.3 New component: 'bit_blaster'

11 646.3 New component: 'smt_params'

11 646.3 New component: 'proto_model'

11 646.3 New component: 'smt'

11 646.3 New component: 'bv_tactics'

11 646.3 New component: 'fuzzing'

11 646.3 New component: 'smt_tactic'

11 646.3 New component: 'sls_tactic'

11 646.3 New component: 'qe'

11 646.3 New component: 'sat_solver'

11 646.3 New component: 'fd_solver'

11 646.3 New component: 'muz'

11 646.3 New component: 'dataflow'

11 646.3 New component: 'transforms'

11 646.3 New component: 'rel'

11 646.3 New component: 'spacer'

11 646.3 New component: 'clp'

11 646.3 New component: 'tab'

11 646.3 New component: 'ddnf'

11 646.3 New component: 'bmc'

11 646.3 New component: 'fp'

11 646.3 New component: 'ufbv_tactic'

11 646.3 New component: 'smtlogic_tactics'

11 646.3 New component: 'fpa_tactics'

11 646.3 New component: 'portfolio'

11 646.3 New component: 'opt'

11 646.3 New component: 'api'

11 646.3 New component: 'extra_cmds'

11 646.3 New component: 'shell'

11 646.3 New component: 'test'

11 646.3 New component: 'api_dll'

11 646.3 New component: 'dotnet'

11 646.3 New component: 'java'

11 646.3 New component: 'ml'

11 646.3 New component: 'cpp'

11 646.3 Python bindings directory was detected.

11 646.3 New component: 'python'

11 646.3 New component: 'python_install'

11 646.3 New component: 'js'

11 646.3 New component: 'cpp_example'

11 646.3 New component: 'z3_tptp'

11 646.3 New component: 'c_example'

11 646.3 New component: 'maxsat'

11 646.3 New component: 'dotnet_example'

11 646.3 New component: 'java_example'

11 646.3 New component: 'ml_example'

11 646.3 New component: 'py_example'

11 646.3 Generating src/util/z3_version.h from src/util/z3_version.h.in

11 646.3 Generated 'src/util/z3_version.h'

11 646.3 Generated 'src/opt/opt_params.hpp'

11 646.3 Generated 'src/math/polynomial/algebraic_params.hpp'

11 646.3 Generated 'src/math/realclosure/rcf_params.hpp'

11 646.3 Generated 'src/smt/params/smt_params_helper.hpp'

11 646.3 Generated 'src/sat/sat_params.hpp'

11 646.3 Generated 'src/sat/sat_scc_params.hpp'

11 646.3 Generated 'src/sat/sat_simplifier_params.hpp'

11 646.3 Generated 'src/sat/sat_asymm_branch_params.hpp'

11 646.3 Generated 'src/nlsat/nlsat_params.hpp'

11 646.3 Generated 'src/muz/base/fp_params.hpp'

11 646.3 Generated 'src/ast/pp_params.hpp'

11 646.3 Generated 'src/ast/pattern/pattern_inference_params_helper.hpp'

11 646.3 Generated 'src/ast/rewriter/arith_rewriter_params.hpp'

11 646.3 Generated 'src/ast/rewriter/seq_rewriter_params.hpp'

11 646.3 Generated 'src/ast/rewriter/array_rewriter_params.hpp'

11 646.3 Generated 'src/ast/rewriter/fpa_rewriter_params.hpp'

11 646.3 Generated 'src/ast/rewriter/bool_rewriter_params.hpp'

11 646.3 Generated 'src/ast/rewriter/rewriter_params.hpp'

11 646.3 Generated 'src/ast/rewriter/poly_rewriter_params.hpp'

11 646.3 Generated 'src/ast/rewriter/bv_rewriter_params.hpp'

11 646.3 Generated 'src/ast/fpa/fpa2bv_rewriter_params.hpp'

11 646.3 Generated 'src/ast/normal_forms/nnf_params.hpp'

11 646.3 Generated 'src/parsers/util/parser_params.hpp'

11 646.3 Generated 'src/tactic/tactic_params.hpp'

11 646.3 Generated 'src/tactic/smtlogics/qfufbv_tactic_params.hpp'

11 646.3 Generated 'src/tactic/sls/sls_params.hpp'

11 646.3 Generated 'src/ackermannization/ackermannize_bv_tactic_params.hpp'

11 646.3 Generated 'src/ackermannization/ackermannization_params.hpp'

11 646.3 Generated 'src/model/model_params.hpp'

11 646.3 Generated 'src/model/model_evaluator_params.hpp'

11 646.3 Generated 'src/solver/combined_solver_params.hpp'

11 646.3 Generated 'src/solver/parallel_params.hpp'

11 646.3 Generated 'src/solver/solver_params.hpp'

11 646.3 Generated 'src/ast/pattern/database.h'

11 646.3 Component api

11 646.3 Component portfolio

11 646.3 Component smtlogic_tactics

11 646.3 Component ackermannization

11 646.3 Component model

11 646.3 Component rewriter

11 646.3 Component ast

11 646.3 Component util

11 646.3 Component polynomial

11 646.3 Component automata

11 646.3 Component solver

11 646.3 Component tactic

11 646.3 Component proofs

11 646.3 Component sat_solver

11 646.3 Component core_tactics

11 646.3 Component macros

11 646.3 Component normal_forms

11 646.3 Component pattern

11 646.3 Component smt2parser

11 646.3 Component cmd_context

11 646.3 Component parser_util

11 646.3 Component aig_tactic

11 646.3 Component bv_tactics

11 646.3 Component bit_blaster

11 646.3 Component arith_tactics

11 646.3 Component sat

11 646.3 Component dd

11 646.3 Component interval

11 646.3 Component grobner

11 646.3 Component simplex

11 646.3 Component sat_tactic

11 646.3 Component nlsat_tactic

11 646.3 Component nlsat

11 646.3 Component smt_tactic

11 646.3 Component smt

11 646.3 Component proto_model

11 646.3 Component smt_params

11 646.3 Component substitution

11 646.3 Component fpa

11 646.3 Component lp

11 646.3 Component fp

11 646.3 Component muz

11 646.3 Component qe

11 646.3 Component clp

11 646.3 Component transforms

11 646.3 Component hilbert

11 646.3 Component dataflow

11 646.3 Component tab

11 646.3 Component rel

11 646.3 Component bmc

11 646.3 Component fd_solver

11 646.3 Component ddnf

11 646.3 Component spacer

11 646.3 Component ufbv_tactic

11 646.3 Component fpa_tactics

11 646.3 Component sls_tactic

11 646.3 Component subpaving_tactic

11 646.3 Component subpaving

11 646.3 Component realclosure

11 646.3 Component opt

11 646.3 Component extra_cmds

11 646.3 Component shell

11 646.3 Generated 'src/shell/install_tactic.cpp'

11 646.3 Component api

11 646.3 Component portfolio

11 646.3 Component smtlogic_tactics

11 646.3 Component ackermannization

11 646.3 Component model

11 646.3 Component rewriter

11 646.3 Component ast

11 646.3 Component util

11 646.3 Component polynomial

11 646.3 Component automata

11 646.3 Component solver

11 646.3 Component tactic

11 646.3 Component proofs

11 646.3 Component sat_solver

11 646.3 Component core_tactics

11 646.3 Component macros

11 646.3 Component normal_forms

11 646.3 Component pattern

11 646.3 Component smt2parser

11 646.3 Component cmd_context

11 646.3 Component parser_util

11 646.3 Component aig_tactic

11 646.3 Component bv_tactics

11 646.3 Component bit_blaster

11 646.3 Component arith_tactics

11 646.3 Component sat

11 646.3 Component dd

11 646.3 Component interval

11 646.3 Component grobner

11 646.3 Component simplex

11 646.3 Component sat_tactic

11 646.3 Component nlsat_tactic

11 646.3 Component nlsat

11 646.3 Component smt_tactic

11 646.3 Component smt

11 646.3 Component proto_model

11 646.3 Component smt_params

11 646.3 Component substitution

11 646.3 Component fpa

11 646.3 Component lp

11 646.3 Component fp

11 646.3 Component muz

11 646.3 Component qe

11 646.3 Component clp

11 646.3 Component transforms

11 646.3 Component hilbert

11 646.3 Component dataflow

11 646.3 Component tab

11 646.3 Component rel

11 646.3 Component bmc

11 646.3 Component fd_solver

11 646.3 Component ddnf

11 646.3 Component spacer

11 646.3 Component ufbv_tactic

11 646.3 Component fpa_tactics

11 646.3 Component sls_tactic

11 646.3 Component subpaving_tactic

11 646.3 Component subpaving

11 646.3 Component realclosure

11 646.3 Component opt

11 646.3 Component fuzzing

11 646.3 Component test

11 646.3 Generated 'src/test/install_tactic.cpp'

11 646.3 Component api

11 646.3 Component portfolio

11 646.3 Component smtlogic_tactics

11 646.3 Component ackermannization

11 646.3 Component model

11 646.3 Component rewriter

11 646.3 Component ast

11 646.3 Component util

11 646.3 Component polynomial

11 646.3 Component automata

11 646.3 Component solver

11 646.3 Component tactic

11 646.3 Component proofs

11 646.3 Component sat_solver

11 646.3 Component core_tactics

11 646.3 Component macros

11 646.3 Component normal_forms

11 646.3 Component pattern

11 646.3 Component smt2parser

11 646.3 Component cmd_context

11 646.3 Component parser_util

11 646.3 Component aig_tactic

11 646.3 Component bv_tactics

11 646.3 Component bit_blaster

11 646.3 Component arith_tactics

11 646.3 Component sat

11 646.3 Component dd

11 646.3 Component interval

11 646.3 Component grobner

11 646.3 Component simplex

11 646.3 Component sat_tactic

11 646.3 Component nlsat_tactic

11 646.3 Component nlsat

11 646.3 Component smt_tactic

11 646.3 Component smt

11 646.3 Component proto_model

11 646.3 Component smt_params

11 646.3 Component substitution

11 646.3 Component fpa

11 646.3 Component lp

11 646.3 Component fp

11 646.3 Component muz

11 646.3 Component qe

11 646.3 Component clp

11 646.3 Component transforms

11 646.3 Component hilbert

11 646.3 Component dataflow

11 646.3 Component tab

11 646.3 Component rel

11 646.3 Component bmc

11 646.3 Component fd_solver

11 646.3 Component ddnf

11 646.3 Component spacer

11 646.3 Component ufbv_tactic

11 646.3 Component fpa_tactics

11 646.3 Component sls_tactic

11 646.3 Component subpaving_tactic

11 646.3 Component subpaving

11 646.3 Component realclosure

11 646.3 Component opt

11 646.3 Component extra_cmds

11 646.3 Component api_dll

11 646.3 Generated 'src/api/dll/install_tactic.cpp'

11 646.3 Generated 'src/shell/mem_initializer.cpp'

11 646.3 Generated 'src/test/mem_initializer.cpp'

11 646.3 Generated 'src/api/dll/mem_initializer.cpp'

11 646.3 Generated 'src/shell/gparams_register_modules.cpp'

11 646.3 Generated 'src/test/gparams_register_modules.cpp'

11 646.3 Generated 'src/api/dll/gparams_register_modules.cpp'

11 646.3 Generated 'src/api/python/z3/z3consts.py

11 646.3 Generated 'src/api/api_log_macros.h'

11 646.3 Generated 'src/api/api_log_macros.cpp'

11 646.3 Generated 'src/api/api_commands.cpp'

11 646.3 Generated 'src/api/python/z3/z3core.py'

11 646.3 Listing src/api/python/z3 ...

11 646.3 Compiling src/api/python/z3/init.py ...

11 646.3 Compiling src/api/python/z3/z3.py ...

11 646.3 Compiling src/api/python/z3/z3consts.py ...

11 646.3 Compiling src/api/python/z3/z3core.py ...

11 646.3 Compiling src/api/python/z3/z3num.py ...

11 646.3 Compiling src/api/python/z3/z3poly.py ...

11 646.3 Compiling src/api/python/z3/z3printer.py ...

11 646.3 Compiling src/api/python/z3/z3rcf.py ...

11 646.3 Compiling src/api/python/z3/z3types.py ...

11 646.3 Compiling src/api/python/z3/z3util.py ...

11 646.3 Generated python bytecode

11 646.3 Copied 'z3rcf.py'

11 646.3 Copied 'z3.py'

11 646.3 Copied 'z3poly.py'

11 646.3 Copied 'z3consts.py'

11 646.3 Copied 'z3core.py'

11 646.3 Copied 'init.py'

11 646.3 Copied 'z3num.py'

11 646.3 Copied 'z3util.py'

11 646.3 Copied 'z3types.py'

11 646.3 Copied 'z3printer.py'

11 646.3 Copied 'z3num.pyc'

11 646.3 Copied 'z3types.pyc'

11 646.3 Copied 'z3rcf.pyc'

11 646.3 Copied 'z3util.pyc'

11 646.3 Copied 'z3core.pyc'

11 646.3 Copied 'z3poly.pyc'

11 646.3 Copied 'z3consts.pyc'

11 646.3 Copied 'z3.pyc'

11 646.3 Copied 'z3printer.pyc'

11 646.3 Copied 'init.pyc'

11 646.3 Testing ar...

11 646.3 Testing g++...

11 646.3 Testing gcc...

11 646.3 Testing floating point support...

11 646.3 Host platform: Linux

11 646.3 C++ Compiler: g++

11 646.3 C Compiler : gcc

11 646.3 Archive Tool: ar

11 646.3 Arithmetic: internal

11 646.3 Prefix: /usr

11 646.3 64-bit: True

11 646.3 FP math: SSE2-GCC

11 646.3 Python pkg dir: /usr/lib/python2.7/dist-packages

11 646.3 Python version: 2.7

11 646.3 Writing build/Makefile

11 646.3 Copied Z3Py example 'all_interval_series.py' to 'build/python'

11 646.3 Copied Z3Py example 'trafficjam.py' to 'build/python'

11 646.3 Copied Z3Py example 'example.py' to 'build/python'

11 646.3 Copied Z3Py example 'mini_ic3.py' to 'build/python'

11 646.3 Copied Z3Py example 'visitor.py' to 'build/python'

11 646.3 Copied Z3Py example 'mini_quip.py' to 'build/python'

11 646.3 Copied Z3Py example 'union_sort.py' to 'build/python'

11 646.3 Copied Z3Py example 'socrates.py' to 'build/python'

11 646.3 Copied Z3Py example 'rc2.py' to 'build/python'

11 646.3 Copied Z3Py example 'parallel.py' to 'build/python'

11 646.3 Makefile was successfully generated.

11 646.3 compilation mode: Release

11 646.3 Type 'cd build; make' to build Z3

11 721.9 [802 / 2,153] Compiling src/math/lp/lar_core_solver.cpp; 10s processwrapper-sandbox ... (8 actions, 7 running)#11 728.2 INFO: From Compiling src/math/lp/int_branch.cpp:

11 728.2 external/z3/src/math/lp/int_branch.cpp: In member function 'int lp::int_branch::find_inf_int_base_column()':

11 728.2 external/z3/src/math/lp/int_branch.cpp:83:40: warning: 'prev_usage' may be used uninitialized in this function [-Wmaybe-uninitialized]

11 728.2 83 | } else if (usage == prev_usage && (lia.random() % (++n) == 0)) {

11 728.2 | ~~~~^~~~~~~~~~

11 728.2 At global scope:

11 728.2 cc1plus: note: unrecognized command-line option '-Wno-string-conversion' may have been intended to silence earlier diagnostics

11 829.6 [946 / 2,154] Compiling src/muz/tab/tab_context.cpp; 11s processwrapper-sandbox ... (8 actions, 7 running)

11 896.7 INFO: From Compiling src/sat/sat_cutset.cpp:

11 896.8 external/z3/src/sat/sat_cutset.cpp: In member function 'void sat::cut_set::push_back(sat::cut_set::on_update_t&, const sat::cut&)':

11 896.8 external/z3/src/sat/sat_cutset.cpp:88:56: warning: 'void memcpy(void, const void*, size_t)' writing to an object of type 'class sat::cut' with no trivial copy-assignment; use copy-assignment or copy-initialization instead [-Wclass-memaccess]

11 896.8 88 | memcpy(new_cuts, m_cuts, sizeof(cut)*m_size);

11 896.8 | ^

11 896.8 In file included from external/z3/src/sat/sat_cutset.cpp:17:

11 896.8 external/z3/src/sat/sat_cutset.h:34:11: note: 'class sat::cut' declared here

11 896.8 34 | class cut {

11 896.8 | ^~~

11 896.8 At global scope:

11 896.8 cc1plus: note: unrecognized command-line option '-Wno-string-conversion' may have been intended to silence earlier diagnostics

11 955.1 [1,107 / 2,155] Compiling xls/ir/package.cc; 17s processwrapper-sandbox ... (8 actions, 7 running)

11 1097.4 [1,220 / 2,155] Compiling src/tactic/sls/bvsls_opt_engine.cpp; 11s processwrapper-sandbox ... (8 actions, 7 running)

11 1139.4 INFO: From Compiling src/util/fixed_bit_vector.cpp:

11 1139.4 external/z3/src/util/fixed_bit_vector.cpp: In constructor 'fixed_bit_vector_manager::fixed_bit_vector_manager(unsigned int)':

11 1139.4 external/z3/src/util/fixed_bit_vector.cpp:51:32: warning: 'void memset(void, int, size_t)' clearing an object of non-trivial type 'class fixed_bit_vector'; use assignment or value-initialization instead [-Wclass-memaccess]

11 1139.4 51 | memset(&m_0, 0, sizeof(m_0));

11 1139.4 | ^

11 1139.4 In file included from external/z3/src/util/fixed_bit_vector.cpp:23:

11 1139.4 external/z3/src/util/fixed_bit_vector.h:28:7: note: 'class fixed_bit_vector' declared here

11 1139.4 28 | class fixed_bit_vector {

11 1139.4 | ^~~~

11 1139.4 At global scope:

11 1139.4 cc1plus: note: unrecognized command-line option '-Wno-string-conversion' may have been intended to silence earlier diagnostics

11 1249.0 INFO: From Compiling src/smt/smt_justification.cpp:

11 1249.0 external/z3/src/smt/smt_justification.cpp: In constructor 'smt::ext_simple_justification::ext_simple_justification(region&, unsigned int, const smt::literal, unsigned int, const enode_pair)':

11 1249.0 external/z3/src/smt/smt_justification.cpp:306:60: warning: 'void memcpy(void, const void, size_t)' writing to an object of type 'smt::enode_pair' {aka 'struct std::pair<smt::enode, smt::enode*>'} with no trivial copy-assignment; use copy-assignment or copy-initialization instead [-Wclass-memaccess]

11 1249.0 306 | memcpy(m_eqs, eqs, sizeof(enode_pair) * num_eqs);

11 1249.0 | ^

11 1249.0 In file included from /usr/include/c++/10/bits/stl_algobase.h:64,

11 1249.0 from /usr/include/c++/10/bits/char_traits.h:39,

11 1249.0 from /usr/include/c++/10/ios:40,

11 1249.0 from /usr/include/c++/10/ostream:38,

11 1249.0 from /usr/include/c++/10/iostream:39,

11 1249.0 from external/z3/src/util/warning.h:21,

11 1249.0 from external/z3/src/util/debug.h:39,

11 1249.0 from external/z3/src/util/vector.h:29,

11 1249.0 from external/z3/src/ast/ast.h:23,

11 1249.0 from external/z3/src/smt/smt_clause.h:22,

11 1249.0 from external/z3/src/smt/smt_context.h:22,

11 1249.0 from external/z3/src/smt/smt_justification.cpp:19:

11 1249.0 /usr/include/c++/10/bits/stl_pair.h:211:12: note: 'smt::enode_pair' {aka 'struct std::pair<smt::enode, smt::enode>'} declared here

11 1249.0 211 | struct pair

11 1249.0 | ^~~~

11 1249.0 At global scope:

11 1249.0 cc1plus: note: unrecognized command-line option '-Wno-string-conversion' may have been intended to silence earlier diagnostics

11 1267.3 [1,340 / 2,155] Compiling src/smt/theory_arith.cpp; 88s processwrapper-sandbox ... (8 actions, 7 running)

11 1275.8 INFO: From Compiling xls/ir/node_util.cc:

11 1275.8 In file included from external/com_google_absl/absl/container/inlined_vector.h:53,

11 1275.8 from external/com_google_absl/absl/status/status.h:57,

11 1275.8 from external/com_google_absl/absl/status/internal/statusor_internal.h:22,

11 1275.8 from external/com_google_absl/absl/status/statusor.h:49,

11 1275.8 from external/com_google_xls/xls/ir/node_util.h:21,

11 1275.8 from external/com_google_xls/xls/ir/node_util.cc:15:

11 1275.8 external/com_google_absl/absl/container/internal/inlined_vector.h: In function 'absl::lts_20220623::StatusOr<xls::Node> xls::GatherBits(xls::Node, absl::lts_20220623::Span)':

11 1275.8 external/com_google_absl/absl/container/internal/inlined_vector.h:447:5: warning: '((void)+8).absl::lts_20220623::inlined_vectorinternal::Storage<long unsigned int, 1, std::allocator >::data' may be used uninitialized in this function [-Wmaybe-uninitialized]

11 1275.8 447 | data_ = otherstorage.data;

11 1275.8 | ^~~~~

11 1457.0 [1,626 / 2,155] Compiling src/math/polynomial/polynomial.cpp; 22s processwrapper-sandbox ... (8 actions, 7 running)

11 1464.1 INFO: From Compiling src/math/polynomial/polynomial.cpp:

11 1464.1 external/z3/src/math/polynomial/polynomial.cpp: In member function 'void polynomial::tmp_monomial::expand_capacity(unsigned int)':

11 1464.1 external/z3/src/math/polynomial/polynomial.cpp:531:83: warning: 'void memcpy(void, const void*, size_t)' writing to an object of type 'class polynomial::power' with no trivial copy-assignment; use copy-assignment or copy-initialization instead [-Wclass-memaccess]

11 1464.1 531 | memcpy(new_ptr->m_powers, m_ptr->m_powers, sizeof(power)*m_ptr->m_size);

11 1464.1 | ^

11 1464.1 external/z3/src/math/polynomial/polynomial.cpp:91:11: note: 'class polynomial::power' declared here

11 1464.1 91 | class power : public std::pair<var, unsigned> {

11 1464.1 | ^~~~~

11 1464.1 external/z3/src/math/polynomial/polynomial.cpp: In member function 'void polynomial::tmp_monomial::init(unsigned int, const polynomial::power*)':

11 1464.1 external/z3/src/math/polynomial/polynomial.cpp:552:60: warning: 'void memcpy(void, const void*, size_t)' writing to an object of type 'class polynomial::power' with no trivial copy-assignment; use copy-assignment or copy-initialization instead [-Wclass-memaccess]

11 1464.1 552 | memcpy(m_ptr->m_powers, pws, sizeof(power) * sz);

11 1464.1 | ^

11 1464.1 external/z3/src/math/polynomial/polynomial.cpp:91:11: note: 'class polynomial::power' declared here

11 1464.1 91 | class power : public std::pair<var, unsigned> {

11 1464.1 | ^~~~~

11 1464.1 At global scope:

11 1464.1 cc1plus: note: unrecognized command-line option '-Wno-string-conversion' may have been intended to silence earlier diagnostics

11 1705.0 [1,782 / 2,155] Compiling xls/dslx/ir_converter.cc; 117s processwrapper-sandbox ... (8 actions running)

11 1974.1 [1,782 / 2,155] Compiling xls/dslx/ir_converter.cc; 372s processwrapper-sandbox ... (8 actions running)

11 2264.8 [1,782 / 2,155] Compiling xls/dslx/ir_converter.cc; 697s processwrapper-sandbox ... (8 actions running)

11 2265.5 ERROR: /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/com_google_xls/xls/dslx/BUILD:1155:11: Compiling xls/dslx/ir_converter.cc failed: (Exit 1): gcc failed: error executing command /usr/bin/gcc -U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 '-D_FORTIFY_SOURCE=1' -DNDEBUG -ffunction-sections ... (remaining 59 arguments skipped)

11 2265.5

11 2265.5 Use --sandbox_debug to see verbose messages from the sandbox and retain the sandbox build root for debugging

11 2265.5 gcc: fatal error: Killed signal terminated program cc1plus

11 2265.5 compilation terminated.

11 2269.9 INFO: Elapsed time: 2267.768s, Critical Path: 745.90s

11 2269.9 INFO: 1791 processes: 92 internal, 1699 processwrapper-sandbox.

11 2269.9 FAILED: Build did NOT complete successfully

11 2270.1 FAILED: Build did NOT complete successfully


executor failed running [/bin/sh -c bazel build ...]: exit code: 1

j2kun commented 1 year ago

Copying from email chain

Hi Noor,

I tried reproducing this issue on Windows and wasn't able to. Can you try again while changing the last line of the dockerfile to RUN bazel build --sandbox_debug ... ?

I suspect this is happening because your docker is configured to only allow the VM to have a certain amount of RAM (perhaps limited by the available RAM on your machine), but compiling the docker build requires more RAM. If you can confirm this is the problem, you may be able to get around it by creating a swap file.

pnoor commented 1 year ago

Dear Team,

I'm confirming that bcoz of less space in my machine I'm not able to build the project. It required more ram for compilation as you said. My Laptop confgiuration: RAM 16GB Intel core i5 SSD 500Gb

Could you please let me know the configuration of the Windows machine?

Thanks and Regards P Noor Mohammadi

On Thu, Apr 6, 2023 at 9:27 PM Jeremy Kun @.***> wrote:

Copying from email chain

Hi Noor,

I tried reproducing this issue on Windows and wasn't able to. Can you try again while changing the last line https://github.com/google/fully-homomorphic-encryption/blob/main/docker/debian-bullseye.Dockerfile#L54 of the dockerfile to RUN bazel build --sandbox_debug ... ?

I suspect this is happening because your docker is configured to only allow the VM to have a certain amount of RAM (perhaps limited by the available RAM on your machine), but compiling the docker build requires more RAM. If you can confirm this is the problem, you may be able to get around it by creating a swap file.

— Reply to this email directly, view it on GitHub https://github.com/google/fully-homomorphic-encryption/issues/40#issuecomment-1499290144, or unsubscribe https://github.com/notifications/unsubscribe-auth/AFLA4Y4LA737YQIKXKBLGT3W73RXBANCNFSM6AAAAAAWQGF2VI . You are receiving this because you authored the thread.Message ID: @.***>