Building on toxis.caelum.ci.dev
(from ocaml/opam:debian-unstable)
2025-10-20 14:31.28 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-10-20 14:31.28 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 5bf570252bd9fee71938b828ca0b86573c1e3355"))
2025-10-20 14:31.28 ---> using "5d9060f4a091feeded40d31aa9202099f5985b23d65db7fc416d6b6624552bb7" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
2025-10-20 14:31.28 ---> using "7dfd67279a0b6c96fe3527b7ac492da4aa9f97941af43ad023e8984d8100dde1" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3-dune' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3-dune)
2025-10-20 14:31.28 ---> using "6ba1779ff563f84aad6908d484bb6ae03fe7ffe694160991857360b2f3eaa64b" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [207 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-10-20-0805.15-F-2025-10-18-0804.35.pdiff [93.9 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-10-20-0805.15-F-2025-10-18-0804.35.pdiff [93.9 kB]
- Fetched 364 kB in 3s (135 kB/s)
- Reading package lists...
-
2025-10-20 14:31.28 ---> using "2f5f96d286f8e5dc01501845b1238607e5d9a37acd135d2ae2b154e667fe15ed" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.20.2
The following actions will be performed:
=== install 1 package
- install dune 3.20.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.20.2 (cached)
-> installed dune.3.20.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-10-20 14:31.28 ---> using "06f603b2fb01421741bd6845403aeb349b6e235f7d882db02b1c7bb9fdfa62c1" from cache
/: (env DUNE_CACHE enabled)
/: (env DUNE_CACHE_TRANSPORT direct)
/: (env DUNE_CACHE_DUPLICATION copy)
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "curl -fsSL https://get.dune.build/install | sh"))
################################### 49.6%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
#=#=#
# 1.7%
## 4.0%
#### 6.2%
###### 8.4%
####### 10.8%
######### 13.2%
########### 15.7%
############# 18.5%
############## 20.7%
################ 22.3%
################ 23.6%
################# 24.8%
################### 26.4%
#################### 28.0%
##################### 29.7%
###################### 31.7%
######################## 33.9%
########################## 36.2%
########################### 38.5%
############################# 40.3%
############################## 42.3%
############################### 44.4%
################################# 46.7%
################################## 48.6%
#################################### 50.4%
##################################### 52.3%
####################################### 54.5%
######################################## 56.8%
########################################## 59.1%
############################################ 61.2%
############################################# 63.1%
############################################## 65.2%
################################################ 67.5%
################################################## 69.9%
#################################################### 72.3%
##################################################### 74.4%
####################################################### 76.5%
######################################################## 78.7%
########################################################## 80.9%
########################################################### 83.1%
############################################################# 85.5%
############################################################### 88.0%
################################################################# 90.6%
################################################################## 92.9%
#################################################################### 94.9%
##################################################################### 97.2%
####################################################################### 99.3%
######################################################################## 100.0%
Revision cache was populated successfully
To use dune you will need to source the file "$HOME/.local/share/dune/env/env.bash" (or similar as appropriate for your shell)
export PATH="/home/opam/.local/bin:$PATH"
To get started, run:
dune --help
2025-10-20 14:31.28 ---> using "d6e8a8aa6f1aaa7f42dab207addc01726271c7f23c8e6002e4b1bf2ea64105c2" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "mkdir /tmp/sexp && cd /tmp/sexp && opam switch create ./ ocaml-base-compiler.5.2.1 --no-install && opam install -y sexp && cd -"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.2.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.2.1 (cached)
-> installed ocaml-base-compiler.5.2.1
-> installed ocaml-config.3
-> installed ocaml.5.2.1
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env)
The following actions will be performed:
=== install 100 packages
- install angstrom 0.16.1 [required by jsonaf]
- install async v0.17.0 [required by sexp]
- install async_kernel v0.17.0 [required by async]
- install async_log v0.17.0 [required by async]
- install async_rpc_kernel v0.17.0 [required by async]
- install async_unix v0.17.0 [required by async]
- install base v0.17.3 [required by jsonaf, sexp_select]
- install base_bigstring v0.17.0 [required by core]
- install base_quickcheck v0.17.0 [required by core]
- install bigstringaf 0.10.0 [required by angstrom, faraday]
- install bin_prot v0.17.0-1 [required by core]
- install capitalization v0.17.0 [required by ppx_string_conv]
- install conf-g++ 1.0 [required by re2]
- install core v0.17.1 [required by sexp]
- install core_kernel v0.17.0 [required by sexp]
- install core_unix v0.17.1 [required by sexp]
- install csexp 1.5.2 [required by dune-configurator]
- install cstruct 6.2.0 [required by async_unix]
- install csvfields v0.17.0 [required by sexp]
- install dune 3.20.2 [required by sexp]
- install dune-configurator 3.20.2 [required by bigstringaf]
- install expect_test_helpers_core v0.17.0 [required by core_unix]
- install faraday 0.8.2 [required by jsonaf]
- install fieldslib v0.17.0 [required by core]
- install fmt 0.11.0 [required by cstruct]
- install gel v0.17.0 [required by async_rpc_kernel]
- install int_repr v0.17.0 [required by core_kernel]
- install jane-street-headers v0.17.0 [required by core]
- install jane_rope v0.17.0 [required by re2]
- install jsonaf v0.17.0 [required by sexp]
- install jst-config v0.17.0 [required by shell]
- install num 1.6 [required by csvfields]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlbuild 0.16.1 [required by uutf]
- install ocamlfind 1.9.8 [required by uutf]
- install parsexp v0.17.0 [required by sexplib]
- install ppx_assert v0.17.0 [required by core]
- install ppx_base v0.17.0 [required by core]
- install ppx_bench v0.17.0 [required by ppx_jane]
- install ppx_bin_prot v0.17.0 [required by ppx_jane]
- install ppx_cold v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by ppx_diff]
- install ppx_custom_printf v0.17.0 [required by ppx_jane]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_diff v0.17.0 [required by core]
- install ppx_disable_unused_warnings v0.17.0 [required by ppx_jane]
- install ppx_enumerate v0.17.0 [required by ppx_diff]
- install ppx_expect v0.17.2 [required by ppx_jane]
- install ppx_fields_conv v0.17.0 [required by ppx_jane]
- install ppx_fixed_literal v0.17.0 [required by ppx_jane]
- install ppx_globalize v0.17.0 [required by ppx_base]
- install ppx_hash v0.17.0 [required by core]
- install ppx_here v0.17.0 [required by ppx_jane]
- install ppx_ignore_instrumentation v0.17.0 [required by ppx_jane]
- install ppx_inline_test v0.17.0 [required by core]
- install ppx_jane v0.17.0 [required by sexp]
- install ppx_let v0.17.0 [required by ppx_jane]
- install ppx_log v0.17.0 [required by ppx_jane]
- install ppx_module_timer v0.17.0 [required by ppx_jane]
- install ppx_optcomp v0.17.0 [required by core_kernel, core, async_unix]
- install ppx_optional v0.17.0 [required by ppx_jane]
- install ppx_pipebang v0.17.0 [required by ppx_jane]
- install ppx_sexp_conv v0.17.0 [required by core]
- install ppx_sexp_message v0.17.0 [required by core]
- install ppx_sexp_value v0.17.0 [required by ppx_jane]
- install ppx_stable v0.17.0 [required by ppx_jane]
- install ppx_stable_witness v0.17.0 [required by ppx_jane]
- install ppx_string v0.17.0 [required by ppx_jane]
- install ppx_string_conv v0.17.0 [required by ppx_jane]
- install ppx_tydi v0.17.0 [required by ppx_jane]
- install ppx_typerep_conv v0.17.0 [required by ppx_jane]
- install ppx_variants_conv v0.17.0 [required by ppx_jane]
- install ppxlib 0.35.0 [required by ppx_diff]
- install ppxlib_jane v0.17.0 [required by ppx_diff]
- install protocol_version_header v0.17.0 [required by async_rpc_kernel]
- install re 1.14.0 [required by expect_test_helpers_core]
- install re2 v0.17.0 [required by sexp]
- install regex_parser_intf v0.17.0 [required by re2]
- install sexp v0.17.0
- install sexp_diff v0.17.0 [required by sexp]
- install sexp_macro v0.17.0 [required by sexp]
- install sexp_pretty v0.17.0 [required by sexp]
- install sexp_select v0.17.0 [required by sexp]
- install sexplib v0.17.0 [required by sexp]
- install sexplib0 v0.17.0 [required by base]
- install shell v0.17.0 [required by sexp]
- install spawn v0.17.0 [required by shell]
- install splittable_random v0.17.0 [required by core]
- install stdio v0.17.0 [required by core]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install textutils v0.17.0 [required by async, shell]
- install time_now v0.17.0 [required by core]
- install timezone v0.17.0 [required by async_log]
- install topkg 1.1.0 [required by uutf]
- install typerep v0.17.1 [required by core]
- install uopt v0.17.0 [required by core_kernel]
- install uutf 1.0.4 [required by textutils]
- install variantslib v0.17.0 [required by core]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1 (cached)
-> retrieved async.v0.17.0 (cached)
-> retrieved async_kernel.v0.17.0 (cached)
-> retrieved async_log.v0.17.0 (cached)
-> retrieved async_rpc_kernel.v0.17.0 (cached)
-> retrieved async_unix.v0.17.0 (cached)
-> retrieved base.v0.17.3 (cached)
-> retrieved base_bigstring.v0.17.0 (cached)
-> retrieved base_quickcheck.v0.17.0 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved bin_prot.v0.17.0-1 (cached)
-> retrieved capitalization.v0.17.0 (cached)
-> installed conf-g++.1.0
-> retrieved core.v0.17.1 (cached)
-> retrieved core_kernel.v0.17.0 (cached)
-> retrieved core_unix.v0.17.1 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved cstruct.6.2.0 (cached)
-> retrieved expect_test_helpers_core.v0.17.0 (cached)
-> retrieved faraday.0.8.2 (cached)
-> retrieved fieldslib.v0.17.0 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved gel.v0.17.0 (cached)
-> retrieved int_repr.v0.17.0 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jane_rope.v0.17.0 (cached)
-> retrieved csvfields.v0.17.0 (https://github.com/janestreet/csvfields/archive/refs/tags/v0.17.0.tar.gz)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved num.1.6 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved jsonaf.v0.17.0 (https://github.com/janestreet/jsonaf/archive/refs/tags/v0.17.0.tar.gz)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_bench.v0.17.0 (cached)
-> retrieved ppx_bin_prot.v0.17.0 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_custom_printf.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_disable_unused_warnings.v0.17.0 (cached)
-> retrieved ppx_diff.v0.17.0 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_fields_conv.v0.17.0 (cached)
-> retrieved ppx_expect.v0.17.2 (cached)
-> retrieved ppx_fixed_literal.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.0 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2 (cached)
-> installed num.1.6
-> retrieved ppx_ignore_instrumentation.v0.17.0 (cached)
-> retrieved ppx_inline_test.v0.17.0 (cached)
-> retrieved ppx_jane.v0.17.0 (cached)
-> retrieved ppx_let.v0.17.0 (cached)
-> retrieved ppx_log.v0.17.0 (cached)
-> retrieved ppx_module_timer.v0.17.0 (cached)
-> retrieved ppx_optcomp.v0.17.0 (cached)
-> retrieved ppx_optional.v0.17.0 (cached)
-> retrieved ppx_pipebang.v0.17.0 (cached)
-> retrieved ppx_sexp_message.v0.17.0 (cached)
-> retrieved ppx_sexp_conv.v0.17.0 (cached)
-> retrieved ppx_sexp_value.v0.17.0 (cached)
-> retrieved ppx_stable.v0.17.0 (cached)
-> retrieved ppx_stable_witness.v0.17.0 (cached)
-> retrieved ppx_string.v0.17.0 (cached)
-> retrieved ppx_string_conv.v0.17.0 (cached)
-> retrieved ppx_tydi.v0.17.0 (cached)
-> retrieved ppx_typerep_conv.v0.17.0 (cached)
-> retrieved ppx_variants_conv.v0.17.0 (cached)
-> retrieved ppxlib_jane.v0.17.0 (cached)
-> retrieved protocol_version_header.v0.17.0 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved regex_parser_intf.v0.17.0 (cached)
-> retrieved re2.v0.17.0 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved sexp_macro.v0.17.0 (cached)
-> retrieved sexp_pretty.v0.17.0 (cached)
-> retrieved sexp_select.v0.17.0 (https://github.com/janestreet/sexp_select/archive/refs/tags/v0.17.0.tar.gz)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexp.v0.17.0 (https://github.com/janestreet/sexp/archive/refs/tags/v0.17.0.tar.gz)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved shell.v0.17.0 (cached)
-> retrieved spawn.v0.17.0 (cached)
-> retrieved splittable_random.v0.17.0 (cached)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved textutils.v0.17.0 (cached)
-> retrieved time_now.v0.17.0 (cached)
-> retrieved timezone.v0.17.0 (cached)
-> retrieved typerep.v0.17.1 (cached)
-> retrieved uopt.v0.17.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved variantslib.v0.17.0 (cached)
-> retrieved topkg.1.1.0 (cached)
-> retrieved sexp_diff.v0.17.0 (https://github.com/janestreet/sexp_diff/archive/refs/tags/v0.17.0.tar.gz)
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.1.0
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed dune.3.20.2
-> installed jane-street-headers.v0.17.0
-> installed ppx_derivers.1.2.1
-> installed csexp.1.5.2
-> installed cstruct.6.2.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed re.1.14.0
-> installed sexplib0.v0.17.0
-> installed spawn.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed parsexp.v0.17.0
-> installed dune-configurator.3.20.2
-> installed bigstringaf.0.10.0
-> installed sexplib.v0.17.0
-> installed faraday.0.8.2
-> installed angstrom.0.16.1
-> installed base.v0.17.3
-> installed variantslib.v0.17.0
-> installed fieldslib.v0.17.0
-> installed regex_parser_intf.v0.17.0
-> installed stdio.v0.17.0
-> installed typerep.v0.17.1
-> installed ppxlib.0.35.0
-> installed ppxlib_jane.v0.17.0
-> installed ppx_optcomp.v0.17.0
-> installed ppx_tydi.v0.17.0
-> installed ppx_cold.v0.17.0
-> installed ppx_disable_unused_warnings.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_stable_witness.v0.17.0
-> installed ppx_variants_conv.v0.17.0
-> installed ppx_typerep_conv.v0.17.0
-> installed ppx_fields_conv.v0.17.0
-> installed ppx_stable.v0.17.0
-> installed ppx_pipebang.v0.17.0
-> installed ppx_ignore_instrumentation.v0.17.0
-> installed ppx_fixed_literal.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_globalize.v0.17.0
-> installed ppx_compare.v0.17.0
-> installed ppx_optional.v0.17.0
-> installed ppx_sexp_conv.v0.17.0
-> installed ppx_let.v0.17.0
-> installed ppx_hash.v0.17.0
-> installed ppx_sexp_value.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed ppx_sexp_message.v0.17.0
-> installed ppx_custom_printf.v0.17.0
-> installed ppx_base.v0.17.0
-> installed capitalization.v0.17.0
-> installed jst-config.v0.17.0
-> installed sexp_pretty.v0.17.0
-> installed bin_prot.v0.17.0-1
-> installed ppx_string.v0.17.0
-> installed time_now.v0.17.0
-> installed ppx_bin_prot.v0.17.0
-> installed ppx_string_conv.v0.17.0
-> installed ppx_module_timer.v0.17.0
-> installed ppx_inline_test.v0.17.0
-> installed ppx_bench.v0.17.0
-> installed ppx_expect.v0.17.2
-> installed splittable_random.v0.17.0
-> installed base_quickcheck.v0.17.0
-> installed ppx_log.v0.17.0
-> installed ppx_jane.v0.17.0
-> installed uopt.v0.17.0
-> installed jane_rope.v0.17.0
-> installed gel.v0.17.0
-> installed jsonaf.v0.17.0
-> installed int_repr.v0.17.0
-> installed base_bigstring.v0.17.0
-> installed ppx_diff.v0.17.0
-> installed core.v0.17.1
-> installed csvfields.v0.17.0
-> installed protocol_version_header.v0.17.0
-> installed timezone.v0.17.0
-> installed sexp_diff.v0.17.0
-> installed expect_test_helpers_core.v0.17.0
-> installed core_kernel.v0.17.0
-> installed sexp_select.v0.17.0
-> installed async_kernel.v0.17.0
-> installed core_unix.v0.17.1
-> installed textutils.v0.17.0
-> installed async_rpc_kernel.v0.17.0
-> installed shell.v0.17.0
-> installed async_unix.v0.17.0
-> installed async_log.v0.17.0
-> installed async.v0.17.0
-> installed sexp_macro.v0.17.0
-> installed re2.v0.17.0
-> installed sexp.v0.17.0
Done.
# To update the current shell environment, run: eval $(opam env)
/
2025-10-20 14:31.28 ---> using "ab9f08076a51aec1e8935e11ec2a804a5eb8b23e48dfa3db16c12cb1bcbc7dc3" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "PLACE=$(mktemp -d) && cd $PLACE && echo '(lang dune 3.17)\
\n(package\
\n (name dummy)\
\n (allow_empty true)\
\n (depends (ocaml (= 5.3.0))))' > dune-project && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Solution for dune.lock:
- arch-x86_64.1
- conf-mingw-w64-gcc-i686.1
- conf-mingw-w64-gcc-x86_64.1
- flexdll.0.44
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
- ocaml-env-mingw32.1
- ocaml-env-mingw64.1
- system-mingw.1
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-10-20 14:31.28 ---> using "251babbeade7f62a9a538b3db400a86475f129e60601a281d0f84e14c02227d4" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "cd $HOME && opam source bitwuzla-cxx.0.8.2 && cd bitwuzla-cxx.0.8.2 && if [ -f opam ]; then mv opam bitwuzla-cxx.opam; fi && echo bitwuzla-cxx >> /tmp/packages-in-repo && for opam in *.opam; do echo ${opam%.opam} >> /tmp/packages-in-repo; done && sed -n 's/(name \\(.*\\))/\\1/p' < dune-project | sed 's/^[[:blank:]]*//;s/[[:blank:]]*$//' >> /tmp/packages-in-repo && while read package ; do opam show --raw ${package}.0.8.2 > ${package}.opam; done < /tmp/packages-in-repo && opam install --dry-run --with-test ./bitwuzla-cxx.opam | sed -nE 's/(.*)- install ([^[:blank:]]*)(.*)/\\2/p' > /tmp/packages-via-opam && for opam in *.opam; do rm $opam; echo ${opam%.opam} >> /tmp/packages-locally-available; done && opam show --raw bitwuzla-cxx.0.8.2 > bitwuzla-cxx.opam && /tmp/sexp/_opam/bin/sexp change '(try (rewrite (package @X) OPAM-HEALTH-CHECK-DROP))' < dune-project | grep -v OPAM-HEALTH-CHECK-DROP > dune-project-no-pkg && mv dune-project dune-project-pkg && mv dune-project-no-pkg dune-project && echo '(lang dune 3.17)\
\n(lock_dir\
\n (repositories overlay default))\
\n\
\n(repository\
\n (name default)\
\n (url \"file:///home/opam/opam-repository\"))\
\n\
\n\
\n' > dune-workspace && echo bitwuzla-cxx >> /tmp/packages-to-build && while read package ; do if grep --quiet \"^${package}\\$\" /tmp/packages-via-opam ; then echo $package >> /tmp/packages-to-build ; fi ; done < /tmp/packages-locally-available && while read package ; do opam show --raw $package > $package.opam; done < /tmp/packages-to-build && while read package ; do if [ ! -f ${package}.opam ]; then echo \"opam-version: \\\"2.0\\\"\" > ${package}.opam; fi; done < /tmp/packages-locally-available && paste -s -d , /tmp/packages-to-build > /tmp/packages-for-dune && export DUNE_CONFIG__PORTABLE_LOCK_DIR=disabled && PATH=$HOME/.local/bin:$PATH dune pkg lock || (echo \"opam-health-check: Solve failed\" && exit 1) && PATH=$HOME/.local/bin:$PATH dune show depexts 2> /tmp/depexts-from-dune && paste -s -d \" \" /tmp/depexts-from-dune > /tmp/depexts-for-apt && sudo apt-get install -y $(cat /tmp/depexts-for-apt) && grep -v dependency_hash dune.lock/lock.dune > /tmp/lock.dune && mv /tmp/lock.dune dune.lock/lock.dune && mv dune-project-pkg dune-project && PATH=$HOME/.local/bin:$PATH dune build --release --only-packages $(cat /tmp/packages-for-dune) || (echo \"opam-health-check: Build failed\" && exit 1)"))
Successfully extracted to /home/opam/bitwuzla-cxx.0.8.2
Solution for dune.lock:
- base.v0.17.3
- base-unix.base
- conf-g++.1.0
- conf-gcc.1.0
- conf-git.1.1
- conf-gmp.5
- conf-pkg-config.4
- csexp.1.5.2
- dune-configurator.3.20.2
- jane-street-headers.v0.17.0
- jst-config.v0.17.0
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-compiler-libs.v0.17.0
- ocaml-config.3
- ocaml_intrinsics_kernel.v0.17.1
- ocamlfind.1.9.8+dune
- ppx_assert.v0.17.0
- ppx_base.v0.17.0
- ppx_cold.v0.17.0
- ppx_compare.v0.17.0
- ppx_derivers.1.2.1
- ppx_enumerate.v0.17.0
- ppx_expect.v0.17.3
- ppx_globalize.v0.17.2
- ppx_hash.v0.17.0
- ppx_here.v0.17.0
- ppx_inline_test.v0.17.1
- ppx_optcomp.v0.17.1
- ppx_sexp_conv.v0.17.1
- ppxlib.0.37.0
- ppxlib_jane.v0.17.4
- sexplib0.v0.17.0
- stdio.v0.17.0
- stdlib-shims.0.3.0
- time_now.v0.17.0
- zarith.1.14
Reading package lists...
Building dependency tree...
Reading state information...
g++ is already the newest version (4:15.2.0-4).
g++ set to manually installed.
gcc is already the newest version (4:15.2.0-4).
gcc set to manually installed.
git is already the newest version (1:2.51.0-1).
The following additional packages will be installed:
libgmpxx4ldbl libpkgconf3 pkgconf pkgconf-bin
Suggested packages:
gmp-doc libgmp10-doc libmpfr-dev
The following NEW packages will be installed:
libgmp-dev libgmpxx4ldbl libpkgconf3 pkg-config pkgconf pkgconf-bin
0 upgraded, 6 newly installed, 0 to remove and 4 not upgraded.
Need to get 1095 kB of archives.
After this operation, 2746 kB of additional disk space will be used.
Get:1 http://deb.debian.org/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5 [330 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5 [658 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 libpkgconf3 amd64 1.8.1-4 [36.4 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 pkgconf-bin amd64 1.8.1-4 [30.2 kB]
Get:5 http://deb.debian.org/debian unstable/main amd64 pkgconf amd64 1.8.1-4 [26.2 kB]
Get:6 http://deb.debian.org/debian unstable/main amd64 pkg-config amd64 1.8.1-4 [14.0 kB]
Fetched 1095 kB in 0s (12.7 MB/s)
Selecting previously unselected package libgmpxx4ldbl:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20778 files and directories currently installed.)
Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-5_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-5_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5) ...
Selecting previously unselected package libpkgconf3:amd64.
Preparing to unpack .../2-libpkgconf3_1.8.1-4_amd64.deb ...
Unpacking libpkgconf3:amd64 (1.8.1-4) ...
Selecting previously unselected package pkgconf-bin.
Preparing to unpack .../3-pkgconf-bin_1.8.1-4_amd64.deb ...
Unpacking pkgconf-bin (1.8.1-4) ...
Selecting previously unselected package pkgconf:amd64.
Preparing to unpack .../4-pkgconf_1.8.1-4_amd64.deb ...
Unpacking pkgconf:amd64 (1.8.1-4) ...
Selecting previously unselected package pkg-config:amd64.
Preparing to unpack .../5-pkg-config_1.8.1-4_amd64.deb ...
Unpacking pkg-config:amd64 (1.8.1-4) ...
Setting up libpkgconf3:amd64 (1.8.1-4) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5) ...
Setting up pkgconf-bin (1.8.1-4) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5) ...
Setting up pkgconf:amd64 (1.8.1-4) ...
Setting up pkg-config:amd64 (1.8.1-4) ...
Processing triggers for libc-bin (2.41-12) ...
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
Building conf-pkg-config.4
Building conf-gmp.5
Building ocaml-config.3
Building ocaml.5.3.0
Downloading zarith.1.14
Downloading ocamlfind.1.9.8+dune
Building ocamlfind.1.9.8+dune
Building zarith.1.14
Building base-unix.base
Downloading stdlib-shims.0.3.0
Downloading csexp.1.5.2
Building stdlib-shims.0.3.0
Building csexp.1.5.2
Downloading ocaml-compiler-libs.v0.17.0
Downloading sexplib0.v0.17.0
Building ocaml-compiler-libs.v0.17.0
Building sexplib0.v0.17.0
Downloading ppx_derivers.1.2.1
Building ppx_derivers.1.2.1
Downloading ocaml_intrinsics_kernel.v0.17.1
Building ocaml_intrinsics_kernel.v0.17.1
Downloading jane-street-headers.v0.17.0
Building jane-street-headers.v0.17.0
Downloading dune-configurator.3.20.2
Downloading ppxlib.0.37.0
Building dune-configurator.3.20.2
Building ppxlib.0.37.0
Downloading base.v0.17.3
Building base.v0.17.3
Downloading stdio.v0.17.0
Building stdio.v0.17.0
Downloading ppxlib_jane.v0.17.4
Downloading ppx_optcomp.v0.17.1
Building ppxlib_jane.v0.17.4
Downloading ppx_here.v0.17.0
Building ppx_optcomp.v0.17.1
Downloading ppx_cold.v0.17.0
Building ppx_here.v0.17.0
Building ppx_cold.v0.17.0
Downloading ppx_compare.v0.17.0
Downloading ppx_sexp_conv.v0.17.1
Building ppx_compare.v0.17.0
Downloading ppx_enumerate.v0.17.0
Downloading ppx_globalize.v0.17.2
Building ppx_sexp_conv.v0.17.1
Building ppx_enumerate.v0.17.0
Building ppx_globalize.v0.17.2
Downloading ppx_hash.v0.17.0
Downloading ppx_assert.v0.17.0
Building ppx_hash.v0.17.0
Building ppx_assert.v0.17.0
Downloading ppx_base.v0.17.0
Building ppx_base.v0.17.0
Downloading jst-config.v0.17.0
Building jst-config.v0.17.0
Downloading time_now.v0.17.0
Building time_now.v0.17.0
Downloading ppx_inline_test.v0.17.1
Building ppx_inline_test.v0.17.1
Downloading ppx_expect.v0.17.3
Building ppx_expect.v0.17.3
Building conf-git.1.1
Building conf-gcc.1.0
Building conf-g++.1.0
File "dune", line 22, characters 8-14:
22 | (lib zarith))
^^^^^^
Error: Include directory
"../_private/default/.pkg/zarith.1.14-65962f3e636af000c258ed170d425ba0/target/lib/zarith"
does not exist.
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o sls.o -c src/sls.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/sls.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/solvertypes.h:27,
from src/sls.h:26,
from src/sls.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o lucky.o -c src/lucky.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/lucky.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/solver.h:25:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o distillerlitrem.o -c src/distillerlitrem.cpp)
In file included from src/distillerlitrem.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/bits/refwrap.h:41,
from /usr/include/c++/15/vector:70,
from src/distillerlitrem.h:26,
from src/distillerlitrem.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o reducedb.o -c src/reducedb.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/reducedb.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/clauseallocator.h:27,
from src/reducedb.h:26,
from src/reducedb.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o get_clause_query.o -c src/get_clause_query.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/get_clause_query.cpp:26:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/get_clause_query.h:25,
from src/get_clause_query.cpp:25:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o str_impl_w_impl.o -c src/str_impl_w_impl.cpp)
In file included from src/str_impl_w_impl.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/bits/refwrap.h:41,
from /usr/include/c++/15/vector:70,
from src/str_impl_w_impl.h:26,
from src/str_impl_w_impl.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o datasync.o -c src/datasync.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/datasync.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/solvertypes.h:27,
from src/datasync.h:26,
from src/datasync.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o subsumeimplicit.o -c src/subsumeimplicit.cpp)
In file included from src/subsumeimplicit.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/bits/refwrap.h:41,
from /usr/include/c++/15/vector:70,
from src/subsumeimplicit.h:26,
from src/subsumeimplicit.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o gatefinder.o -c src/gatefinder.cpp)
In file included from src/gatefinder.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/solvertypes.h:27,
from src/gatefinder.h:26,
from src/gatefinder.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o distillerbin.o -c src/distillerbin.cpp)
In file included from src/distillerbin.cpp:29:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/bits/locale_classes.h:42,
from /usr/include/c++/15/bits/ios_base.h:43,
from /usr/include/c++/15/iomanip:47,
from src/distillerbin.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o intree.o -c src/intree.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/intree.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/cloffset.h:26,
from src/intree.h:23,
from src/intree.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o matrixfinder.o -c src/matrixfinder.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/matrixfinder.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/bits/refwrap.h:41,
from /usr/include/c++/15/vector:70,
from src/matrixfinder.h:26,
from src/matrixfinder.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o distillerlong.o -c src/distillerlong.cpp)
In file included from src/distillerlong.cpp:26:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/bits/refwrap.h:41,
from /usr/include/c++/15/vector:70,
from src/distillerlong.h:26,
from src/distillerlong.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o sccfinder.o -c src/sccfinder.cpp)
In file included from src/sccfinder.cpp:30:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/bits/locale_classes.h:42,
from /usr/include/c++/15/bits/ios_base.h:43,
from /usr/include/c++/15/ios:46,
from /usr/include/c++/15/bits/ostream.h:43,
from /usr/include/c++/15/ostream:42,
from /usr/include/c++/15/iostream:43,
from src/sccfinder.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o ccnr_cms.o -c src/ccnr_cms.cpp)
In file included from src/ccnr_cms.cpp:23:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/time_mem.h:26:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor && /usr/bin/patch -p1 --directory bitwuzla) < _build/default/vendor/patch/0001-api-Add-hook-for-ocaml-z-value.patch
patching file include/bitwuzla/cpp/bitwuzla.h
patching file src/lib/bv/bitvector.h
Hunk #1 succeeded at 305 (offset -5 lines).
(cd _build/default/vendor && /usr/bin/patch -p1 --directory bitwuzla) < _build/default/vendor/patch/0002-binding-Fix-segfault-with-parallel-instances.patch
patching file include/bitwuzla/cpp/bitwuzla.h
patching file src/api/checks.h
Hunk #1 succeeded at 115 (offset 1 line).
Hunk #2 succeeded at 278 (offset 1 line).
patching file src/api/cpp/bitwuzla.cpp
patching file src/node/node_manager.cpp
patching file src/node/node_manager.h
patching file src/type/type_manager.cpp
patching file src/type/type_manager.h
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o propengine.o -c src/propengine.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/propengine.cpp:32:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/bits/refwrap.h:41,
from /usr/include/c++/15/deque:69,
from /usr/include/c++/15/stack:68,
from src/propengine.h:28,
from src/propengine.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o vardistgen.o -c src/vardistgen.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/vardistgen.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/bits/refwrap.h:41,
from /usr/include/c++/15/vector:70,
from src/vardistgen.h:23,
from src/vardistgen.cpp:24:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o clauseallocator.o -c src/clauseallocator.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/clauseallocator.cpp:33:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/clauseallocator.h:27,
from src/clauseallocator.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o cardfinder.o -c src/cardfinder.cpp)
In file included from src/cardfinder.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/cardfinder.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o completedetachreattacher.o -c src/completedetachreattacher.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/completedetachreattacher.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/completedetachreattacher.h:26,
from src/completedetachreattacher.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o solutionextender.o -c src/solutionextender.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/solutionextender.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/solvertypes.h:27,
from src/solutionextender.h:26,
from src/solutionextender.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o xorfinder.o -c src/xorfinder.cpp)
In file included from src/xorfinder.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/bits/refwrap.h:41,
from /usr/include/c++/15/vector:70,
from src/xorfinder.h:27,
from src/xorfinder.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o clausecleaner.o -c src/clausecleaner.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/clausecleaner.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/clausecleaner.h:26,
from src/clausecleaner.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o distillerlongwithimpl.o -c src/distillerlongwithimpl.cpp)
In file included from src/distillerlongwithimpl.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/bits/refwrap.h:41,
from /usr/include/c++/15/vector:70,
from src/distillerlongwithimpl.h:26,
from src/distillerlongwithimpl.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o subsumestrengthen.o -c src/subsumestrengthen.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/subsumestrengthen.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/cloffset.h:26,
from src/subsumestrengthen.h:26,
from src/subsumestrengthen.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o bva.o -c src/bva.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/bva.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/bits/locale_classes.h:42,
from /usr/include/c++/15/bits/ios_base.h:43,
from /usr/include/c++/15/ios:46,
from /usr/include/c++/15/bits/ostream.h:43,
from /usr/include/c++/15/ostream:42,
from /usr/include/c++/15/iostream:43,
from src/heap.h:24,
from src/bva.h:26,
from src/bva.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -D_FILE_OFFSET_BITS=64 -Wall -fdiagnostics-color=always -DEMSCRIPTEN -Wno-pointer-compare -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -o picosat.o -c src/picosat/picosat.c)
src/picosat/picosat.c: In function 'picosat_mus_assumptions':
src/picosat/picosat.c:107:24: warning: 'memset' specified size between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
107 | #define CLRN(p,n) do { memset ((p), 0, sizeof (*(p)) * (n)); } while (0)
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
src/picosat/picosat.c:7437:3: note: in expansion of macro 'CLRN'
7437 | CLRN (redundant, nwork);
| ^~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o cnf.o -c src/cnf.cpp)
In file included from src/cnf.cpp:32:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/cnf.h:27,
from src/cnf.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o varreplacer.o -c src/varreplacer.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/varreplacer.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/bits/stl_tree.h:67,
from /usr/include/c++/15/map:64,
from src/varreplacer.h:25,
from src/varreplacer.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o cryptominisat.o -c src/cryptominisat.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/cryptominisat.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/cryptominisat.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o gaussian.o -c src/gaussian.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/gaussian.cpp:41:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/bits/locale_classes.h:42,
from /usr/include/c++/15/bits/ios_base.h:43,
from /usr/include/c++/15/iomanip:47,
from src/gaussian.cpp:31:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o searcher.o -c src/searcher.cpp)
In file included from src/searcher.h:31,
from src/searcher.cpp:23:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/searcher.h:28:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o occsimplifier.o -c src/occsimplifier.cpp)
In file included from src/occsimplifier.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/occsimplifier.cpp:23:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
(cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-25480d720eead8dc25fddbdded501496/target/lib/ocaml -I src -o solver.o -c src/solver.cpp)
In file included from src/searcher.h:31,
from src/solver.h:36,
from src/solver.cpp:23:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/15/bits/stl_function.h:1441,
from /usr/include/c++/15/string:51,
from /usr/include/c++/15/random:45,
from src/constants.h:29,
from src/solver.h:25:
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15/backward/binders.h:136:5: note: declared here
136 | bind1st(const _Operation& __fn, const _Tp& __x)
| ^~~~~~~
opam-health-check: Build failed
"/usr/bin/env" "bash" "-c" "cd $HOME && opam source bitwuzla-cxx.0.8.2 && cd bitwuzla-cxx.0.8.2 && if [ -f opam ]; then mv opam bitwuzla-cxx.opam; fi && echo bitwuzla-cxx >> /tmp/packages-in-repo && for opam in *.opam; do echo ${opam%.opam} >> /tmp/packages-in-repo; done && sed -n 's/(name \(.*\))/\1/p' < dune-project | sed 's/^[[:blank:]]*//;s/[[:blank:]]*$//' >> /tmp/packages-in-repo && while read package ; do opam show --raw ${package}.0.8.2 > ${package}.opam; done < /tmp/packages-in-repo && opam install --dry-run --with-test ./bitwuzla-cxx.opam | sed -nE 's/(.*)- install ([^[:blank:]]*)(.*)/\2/p' > /tmp/packages-via-opam && for opam in *.opam; do rm $opam; echo ${opam%.opam} >> /tmp/packages-locally-available; done && opam show --raw bitwuzla-cxx.0.8.2 > bitwuzla-cxx.opam && /tmp/sexp/_opam/bin/sexp change '(try (rewrite (package @X) OPAM-HEALTH-CHECK-DROP))' < dune-project | grep -v OPAM-HEALTH-CHECK-DROP > dune-project-no-pkg && mv dune-project dune-project-pkg && mv dune-project-no-pkg dune-project && echo '(lang dune 3.17)
(lock_dir
(repositories overlay default))
(repository
(name default)
(url "file:///home/opam/opam-repository"))
' > dune-workspace && echo bitwuzla-cxx >> /tmp/packages-to-build && while read package ; do if grep --quiet "^${package}\$" /tmp/packages-via-opam ; then echo $package >> /tmp/packages-to-build ; fi ; done < /tmp/packages-locally-available && while read package ; do opam show --raw $package > $package.opam; done < /tmp/packages-to-build && while read package ; do if [ ! -f ${package}.opam ]; then echo "opam-version: \"2.0\"" > ${package}.opam; fi; done < /tmp/packages-locally-available && paste -s -d , /tmp/packages-to-build > /tmp/packages-for-dune && export DUNE_CONFIG__PORTABLE_LOCK_DIR=disabled && PATH=$HOME/.local/bin:$PATH dune pkg lock || (echo "opam-health-check: Solve failed" && exit 1) && PATH=$HOME/.local/bin:$PATH dune show depexts 2> /tmp/depexts-from-dune && paste -s -d " " /tmp/depexts-from-dune > /tmp/depexts-for-apt && sudo apt-get install -y $(cat /tmp/depexts-for-apt) && grep -v dependency_hash dune.lock/lock.dune > /tmp/lock.dune && mv /tmp/lock.dune dune.lock/lock.dune && mv dune-project-pkg dune-project && PATH=$HOME/.local/bin:$PATH dune build --release --only-packages $(cat /tmp/packages-for-dune) || (echo "opam-health-check: Build failed" && exit 1)" failed with exit status 1
Failed: Build failed
Home|Differences with the last checks|Previous runs