portage-ng --merge
>>> Emerging : portage://dev-lang/spark-2024.01.11-r2:run?{[]}
These are the packages that would be merged, in order:
Calculating dependencies... done!
└─step 1─┤ useflag portage://dev-ada/gnatcoll-bindings-25.0.0-r1 (ada_target_gcc_14 python_single_target_python3_13 -ada_target_gcc_15)
│ useflag portage://dev-ada/gnatcoll-core-25.0.0-r2 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-ada/gpr-24.2.0-r1 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-ada/gprbuild-25.0.0-r5 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-ada/gprconfig_kb-26.0.0 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-ada/libgpr-25.0.0-r3 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-ada/xmlada-26.0.0 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-lang/spark-2024.01.11-r2 (ada_target_gcc_14)
│ useflag portage://sys-devel/gcc-14.4.1_p20261008 (ada)
│ useflag portage://sys-devel/gcc-15.3.1_p20261009 (ada)
│ useflag portage://sys-devel/gcc-16.2.1_p20260926 (ada)
└─step 2─┤ download portage://dev-ada/gnatcoll-bindings-25.0.0-r1
│ └─ file ─┤ 292.42 Kb gnatcoll-bindings-25.0.0.tar.gz
│ download portage://dev-ada/gnatcoll-core-25.0.0-r2
│ └─ file ─┤ 7.15 Mb gnatcoll-core-25.0.0.tar.gz
│ download portage://dev-ada/gpr-24.2.0-r1
│ └─ file ─┤ 1.45 Mb gpr-24.2.0-next.tar.gz
│ download portage://dev-ada/gprbuild-25.0.0-r5
│ └─ file ─┤ 918.72 Kb gprbuild-25.0.0.tar.gz
│ │ 1.03 Mb xmlada-25.0.0.tar.gz
│ download portage://dev-ada/gprconfig_kb-26.0.0
│ └─ file ─┤ 48.52 Kb gprconfig_kb-26.0.0.tar.gz
│ download portage://dev-ada/libgpr-25.0.0-r3
│ └─ file ─┤ 918.72 Kb gprbuild-25.0.0.tar.gz
│ download portage://dev-ada/xmlada-26.0.0
│ └─ file ─┤ 1.03 Mb xmlada-26.0.0.tar.gz
│ download portage://dev-lang/ada-bootstrap-14
│ └─ file ─┤ 44.48 Mb ada-bootstrap-14-x86_64-pc-linux-gnu.gpkg.tar
│ download portage://dev-lang/ocaml-5.5.1
│ └─ file ─┤ 6.30 Mb ocaml-5.5.1.tar.gz
│ download portage://dev-lang/spark-2024.01.11-r2
│ └─ file ─┤ 88.03 Mb gcc-14.2.0.tar.xz
│ │ 11.53 Mb spark-2024.01.11.tar.gz
│ download portage://dev-ml/base-0.17.3
│ └─ file ─┤ 467.02 Kb base-0.17.3.tar.gz
│ download portage://dev-ml/camlzip-1.14
│ └─ file ─┤ 32.05 Kb camlzip-1.14.tar.gz
│ download portage://dev-ml/cmdliner-2.1.0
│ └─ file ─┤ 95.92 Kb cmdliner-2.1.0.tbz
│ download portage://dev-ml/cppo-1.8.0
│ └─ file ─┤ 42.57 Kb cppo-1.8.0.tar.gz
│ download portage://dev-ml/csexp-1.5.2-r1
│ └─ file ─┤ 11.18 Kb csexp-1.5.2.tbz
│ download portage://dev-ml/dune-3.23.1
│ └─ file ─┤ 3.54 Mb dune-3.23.1.tar.gz
│ download portage://dev-ml/dune-build-info-3.21.1
│ └─ file ─┤ 3.27 Mb dune-3.21.1.tar.gz
│ download portage://dev-ml/dune-configurator-3.21.1
│ └─ file ─┤ 3.27 Mb dune-3.21.1.tar.gz
│ download portage://dev-ml/findlib-1.9.8-r1
│ └─ file ─┤ 268.23 Kb findlib-1.9.8.tar.gz
│ download portage://dev-ml/menhir-20250912
│ └─ file ─┤ 1.22 Mb menhir-20250912.tar.bz2
│ download portage://dev-ml/num-1.6-r1
│ └─ file ─┤ 66.16 Kb num-1.6.tar.gz
│ download portage://dev-ml/ocaml-compiler-libs-0.17.0
│ └─ file ─┤ 4.89 Kb ocaml-compiler-libs-0.17.0.tar.gz
│ download portage://dev-ml/ocaml_intrinsics_kernel-0.17.0
│ └─ file ─┤ 11.65 Kb ocaml_intrinsics_kernel-0.17.0.tar.gz
│ download portage://dev-ml/ocamlbuild-0.16.1
│ └─ file ─┤ 197.67 Kb ocamlbuild-0.16.1.tar.gz
│ download portage://dev-ml/ocplib-simplex-0.4.1
│ └─ file ─┤ 31.21 Kb ocplib-simplex-0.4.1.tar.gz
│ download portage://dev-ml/parsexp-0.17.0
│ └─ file ─┤ 57.13 Kb parsexp-0.17.0.tar.gz
│ download portage://dev-ml/ppx_derivers-1.2.1
│ └─ file ─┤ 2.47 Kb ppx_derivers-1.2.1.tar.gz
│ download portage://dev-ml/ppx_deriving-6.1.1
│ └─ file ─┤ 47.60 Kb ppx_deriving-6.1.1.tar.gz
│ download portage://dev-ml/ppx_sexp_conv-0.17.1
│ └─ file ─┤ 66.70 Kb ppx_sexp_conv-0.17.1.tar.gz
│ download portage://dev-ml/ppxlib-0.39.0
│ └─ file ─┤ 686.49 Kb ppxlib-0.39.0.gh.tar.gz
│ download portage://dev-ml/ppxlib_jane-0.17.4-r1
│ └─ file ─┤ 41.65 Kb ppxlib_jane-0.17.4.tar.gz
│ download portage://dev-ml/re-1.14.0
│ └─ file ─┤ 108.34 Kb ocaml-re-1.14.0.gh.tar.gz
│ download portage://dev-ml/result-1.5
│ └─ file ─┤ 2.24 Kb result-1.5.tar.gz
│ download portage://dev-ml/sexplib-0.17.0-r1
│ └─ file ─┤ 54.19 Kb sexplib-0.17.0.tar.gz
│ download portage://dev-ml/sexplib0-0.17.0-r2
│ └─ file ─┤ 22.51 Kb sexplib0-0.17.0.tar.gz
│ download portage://dev-ml/stdlib-shims-0.3.0
│ └─ file ─┤ 9.92 Kb stdlib-shims-0.3.0.tbz
│ download portage://dev-ml/topkg-1.1.1
│ └─ file ─┤ 118.85 Kb topkg-1.1.1.tar.gz
│ download portage://dev-ml/yojson-3.0.0
│ └─ file ─┤ 55.36 Kb yojson-3.0.0.gh.tar.gz
│ download portage://dev-ml/zarith-1.14
│ └─ file ─┤ 89.64 Kb zarith-1.14.tar.gz
│ download portage://sci-mathematics/alt-ergo-2.4.3-r3
│ └─ file ─┤ 2.77 Mb alt-ergo-2.4.3.tar.gz
│ download portage://sci-mathematics/psmt2-frontend-0.4.0
│ └─ file ─┤ 69.14 Kb psmt2-frontend-0.4.0.tar.gz
│ download portage://sci-mathematics/why3-for-spark-2023.12.13-r2
│ └─ file ─┤ 6.79 Mb why3-for-spark-2023.12.13.tar.gz
│ download portage://sys-devel/gcc-14.4.1_p20261008
│ └─ file ─┤ 84.45 Mb gcc-14-20261008.tar.xz
│ │ 6.73 Kb gcc-14.3.0-musl-patches-2.tar.xz
│ │ 27.49 Kb gcc-14.3.0-patches-6.tar.xz
│ download portage://sys-devel/gcc-15.3.1_p20261009
│ └─ file ─┤ 88.24 Mb gcc-15-20261009.tar.xz
│ │ 7.00 Kb gcc-15.2.0-musl-patches-1.tar.xz
│ │ 17.17 Kb gcc-15.2.0-patches-8.tar.xz
│ download portage://sys-devel/gcc-16.2.1_p20260926
│ └─ file ─┤ 94.54 Mb gcc-16-20260926.tar.xz
│ │ 2.96 Kb gcc-16.2.0-musl-patches-1.tar.xz
│ │ 22.45 Kb gcc-16.2.0-patches-1.tar.xz
└─step 3─┤ install portage://dev-ada/gprconfig_kb-26.0.0 (USE modified)
│ └─ conf ─┤ USE = ""
│ │ ADA_TARGET = "-gcc_15 -gcc_12 -gcc_13 gcc_14"
│ install portage://dev-lang/ada-bootstrap-14
│ └─ conf ─┤ USE = ""
└─step 4─┤ install portage://dev-lang/ocaml-5.5.1
│ └─ conf ─┤ USE = "ocamlopt -emacs -flambda -latex -test -xemacs"
│ │ SLOT = "0/5.5.1"
│ run portage://dev-ada/gprconfig_kb-26.0.0 (USE modified)
└─step 5─┤ install portage://sys-devel/gcc-14.4.1_p20261008 (USE modified)
│ └─ conf ─┤ USE = "cet graphite* lto* nls openmp pgo* zstd (cxx) (default-stack-clash-protection) (default-znow) (pie) fortran
│ │ sanitize ssp (-custom-cflags) (-fixed-point) (-ieee-long-double) (-libssp) ada -d -debug -doc -go -hardened -jit
│ │ -modula2 -objc -objc++ -objc-gc -rust -systemtap -test -valgrind -vanilla -vtv"
│ │ SLOT = "14"
│ install portage://sys-devel/gcc-16.2.1_p20260926 (USE modified)
│ └─ conf ─┤ USE = "cet graphite* lto* nls openmp pgo* zstd (cxx) (default-stack-clash-protection) (default-znow) (pie) fortran
│ │ sanitize ssp (-custom-cflags) (-fixed-point) (-ieee-long-double) (-libssp) ada -algol68% -cobol -d -debug -doc -go
│ │ -hardened -jit -libgdiagnostics -modula2 -objc -objc++ -objc-gc -rust -systemtap -test -valgrind -vanilla -vtv"
│ │ SLOT = "16"
│ run portage://dev-lang/ocaml-5.5.1
│ update portage://sys-devel/gcc-15.3.1_p20261009 (USE modified)
│ └─ conf ─┤ USE = "cet graphite* lto* nls openmp pgo* zstd (cxx) (default-stack-clash-protection) (default-znow) (pie) fortran
│ │ sanitize ssp (-custom-cflags) (-fixed-point) (-ieee-long-double) (-libssp) ada -cobol -d -debug -doc -go -hardened
│ │ -jit -libgdiagnostics -modula2 -objc -objc++ -objc-gc -rust -systemtap -test -valgrind -vanilla -vtv"
│ │ SLOT = "15"
└─step 6─┤ run portage://sys-devel/gcc-14.4.1_p20261008 (USE modified)
│ run portage://sys-devel/gcc-16.2.1_p20260926 (USE modified)
└─step 7─┤ install portage://dev-ml/dune-3.23.1
│ └─ conf ─┤ USE = "-emacs -test"
│ │ SLOT = "0/3.23.1"
│ install portage://dev-ml/findlib-1.9.8-r1
│ └─ conf ─┤ USE = "ocamlopt -doc -tk"
│ │ SLOT = "0/1"
└─step 8─┤ install portage://dev-ada/gprbuild-25.0.0-r5 (USE modified)
│ └─ conf ─┤ USE = "-doc"
│ │ ADA_TARGET = "-gcc_15 -gcc_12 -gcc_13 gcc_14"
│ run portage://dev-ml/dune-3.23.1
│ run portage://dev-ml/findlib-1.9.8-r1
└─step 9─┤ install portage://dev-ml/num-1.6-r1
│ └─ conf ─┤ USE = "ocamlopt"
│ install portage://dev-ml/ocamlbuild-0.16.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.16.1"
│ install portage://dev-ml/camlzip-1.14
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "1/1.14"
│ install portage://dev-ml/ocplib-simplex-0.4.1
│ └─ conf ─┤ USE = "ocamlopt"
│ install portage://dev-ml/zarith-1.14
│ └─ conf ─┤ USE = "ocamlopt -doc"
│ │ SLOT = "0/1.14"
└─step 10─┤ install portage://dev-ml/sexplib0-0.17.0-r2
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.17"
│ install portage://dev-ada/xmlada-26.0.0 (USE modified)
│ └─ conf ─┤ USE = "shared -doc -static-libs -static-pic"
│ │ ADA_TARGET = "-gcc_15 -gcc_12 -gcc_13 gcc_14"
│ │ SLOT = "0/26.0.0"
│ install portage://dev-ml/menhir-20250912
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/20250912"
│ install portage://dev-ml/result-1.5
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/1.5"
│ install portage://dev-ml/stdlib-shims-0.3.0
│ └─ conf ─┤ USE = "ocamlopt"
│ install portage://dev-ml/yojson-3.0.0
│ └─ conf ─┤ USE = "ocamlopt -examples -test"
│ │ SLOT = "0/3.0.0"
│ install portage://dev-ml/ocaml-compiler-libs-0.17.0
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.17.0"
│ install portage://dev-ml/ocaml_intrinsics_kernel-0.17.0
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.17"
│ install portage://dev-ml/ppx_derivers-1.2.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/1.2.1"
│ install portage://dev-ml/re-1.14.0
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/1.14.0"
│ install portage://dev-ml/dune-build-info-3.21.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/3.21.1"
│ run portage://dev-ml/num-1.6-r1
│ run portage://dev-ml/camlzip-1.14
│ run portage://dev-ml/ocamlbuild-0.16.1
│ run portage://dev-ml/ocplib-simplex-0.4.1
│ run portage://dev-ml/zarith-1.14
└─step 11─┤ run portage://dev-ml/sexplib0-0.17.0-r2
│ run portage://dev-ada/xmlada-26.0.0 (USE modified)
│ run portage://dev-ml/menhir-20250912
│ run portage://dev-ml/result-1.5
│ run portage://dev-ml/stdlib-shims-0.3.0
│ run portage://dev-ml/yojson-3.0.0
│ run portage://dev-ml/ocaml-compiler-libs-0.17.0
│ run portage://dev-ml/ocaml_intrinsics_kernel-0.17.0
│ run portage://dev-ml/ppx_derivers-1.2.1
│ run portage://dev-ml/re-1.14.0
└─step 12─┤ install portage://dev-ml/cppo-1.8.0
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/1.8.0"
└─step 13─┤ install portage://dev-ada/libgpr-25.0.0-r3 (USE modified)
│ └─ conf ─┤ USE = "-static-libs -static-pic"
│ │ ADA_TARGET = "-gcc_15 -gcc_12 -gcc_13 gcc_14"
│ │ SLOT = "0/25.0.0"
│ install portage://dev-ml/csexp-1.5.2-r1
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/1.5.2"
│ install portage://dev-ml/parsexp-0.17.0
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.17"
│ install portage://sci-mathematics/psmt2-frontend-0.4.0
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/0.4.0"
│ install portage://dev-ml/topkg-1.1.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/1.1.1"
└─step 14─┤ run portage://dev-ada/libgpr-25.0.0-r3 (USE modified)
│ run portage://dev-ml/csexp-1.5.2-r1
│ run portage://dev-ml/parsexp-0.17.0
│ run portage://sci-mathematics/psmt2-frontend-0.4.0
└─step 15─┤ install portage://dev-ml/cmdliner-2.1.0
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/2.1.0"
└─step 16─┤ install portage://dev-ada/gnatcoll-core-25.0.0-r2 (USE modified)
│ └─ conf ─┤ USE = "projects shared -doc -minimal -static-libs -static-pic -test"
│ │ ADA_TARGET = "-gcc_15 -gcc_12 -gcc_13 gcc_14"
│ │ SLOT = "0/25.0.0"
│ install portage://dev-ml/dune-configurator-3.21.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/3.21.1"
│ install portage://dev-ml/sexplib-0.17.0-r1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.17"
│ run portage://dev-ml/cmdliner-2.1.0
└─step 17─┤ run portage://dev-ada/gnatcoll-core-25.0.0-r2 (USE modified)
│ run portage://dev-ml/dune-configurator-3.21.1
│ run portage://dev-ml/sexplib-0.17.0-r1
└─step 18─┤ install portage://dev-ml/ppxlib-0.39.0
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/0.39.0"
│ install portage://sci-mathematics/alt-ergo-2.4.3-r3
│ └─ conf ─┤ USE = "ocamlopt -examples -gui"
│ │ SLOT = "0/2.4.3"
└─step 19─┤ install portage://dev-ada/gnatcoll-bindings-25.0.0-r1 (USE modified)
│ └─ conf ─┤ USE = "gmp openmp shared -doc -lzma -static-libs -static-pic"
│ │ ADA_TARGET = "-gcc_15 -gcc_12 -gcc_13 gcc_14"
│ │ PYTHON_SINGLE_TARGET = "-python3_12 python3_13"
│ │ SLOT = "0/25.0.0"
│ install portage://dev-ml/base-0.17.3
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.17.3"
│ run portage://dev-ml/ppxlib-0.39.0
│ run portage://sci-mathematics/alt-ergo-2.4.3-r3
└─step 20─┤ run portage://dev-ada/gnatcoll-bindings-25.0.0-r1 (USE modified)
│ run portage://dev-ml/base-0.17.3
└─step 21─┤ install portage://dev-ml/ppx_deriving-6.1.1
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/6.1.1"
│ install portage://dev-ml/ppxlib_jane-0.17.4-r1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.17"
└─step 22─┤ install portage://dev-ada/gpr-24.2.0-r1 (USE modified)
│ └─ conf ─┤ USE = "-static-libs -static-pic"
│ │ ADA_TARGET = "-gcc_15 -gcc_12 -gcc_13 gcc_14"
│ run portage://dev-ml/ppx_deriving-6.1.1
│ run portage://dev-ml/ppxlib_jane-0.17.4-r1
└─step 23─┤ run portage://dev-ada/gpr-24.2.0-r1 (USE modified)
└─step 24─┤ install portage://dev-ml/ppx_sexp_conv-0.17.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.17"
└─step 25─┤ run portage://dev-ml/ppx_sexp_conv-0.17.1
└─step 26─┤ install portage://sci-mathematics/why3-for-spark-2023.12.13-r2
│ └─ conf ─┤ USE = "ocamlopt (-doc) -coq -emacs -gtk -html -hypothesis-selection -sexp -zarith -zip"
└─step 27─┤ run portage://sci-mathematics/why3-for-spark-2023.12.13-r2
└─step 28─┤ install portage://dev-lang/spark-2024.01.11-r2 (USE modified)
│ └─ conf ─┤ USE = "-doc"
│ │ ADA_TARGET = "gcc_15 -gcc_12 -gcc_13 gcc_14"
└─step 29─┤ run portage://dev-lang/spark-2024.01.11-r2
Total: 140 actions (11 useflags, 45 downloads, 44 installs, 1 update, 39 runs), grouped into 29 steps.
453.91 Mb to be downloaded.
>>> Assumptions taken during proving & planning:
USE flag change (11 packages):
Add to /etc/portage/package.use:
dev-ada/gnatcoll-bindings ada_target_gcc_14 python_single_target_python3_13 -ada_target_gcc_15
dev-ada/gnatcoll-core ada_target_gcc_14 -ada_target_gcc_15
dev-ada/gpr ada_target_gcc_14 -ada_target_gcc_15
dev-ada/gprbuild ada_target_gcc_14 -ada_target_gcc_15
dev-ada/gprconfig_kb ada_target_gcc_14 -ada_target_gcc_15
dev-ada/libgpr ada_target_gcc_14 -ada_target_gcc_15
dev-ada/xmlada ada_target_gcc_14 -ada_target_gcc_15
dev-lang/spark ada_target_gcc_14
sys-devel/gcc ada
sys-devel/gcc ada
sys-devel/gcc ada