Build:
- 0
2026-06-16 11:35.00: New job: build batsat.0.4 (7e652996c0b0)
2026-06-16 11:35.00: Waiting for resource in pool day11-builds
2026-06-16 11:50.30: Got resource from pool day11-builds
2026-06-16 11:50.30: [profile full] build batsat.0.4
2026-06-16 11:50.30: build batsat.0.4 (7e652996c0b0)
=== DEPENDENCIES (7 transitive) ===
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
conf-rust-2018.1 ab5ca06a71ce
dune.3.23.1 5402470d931c
ocaml.4.14.4 cb826ea44eb2
ocaml-base-compiler.4.14.4 d2f775f983d7
ocaml-config.2 669e0fcf9e4d
=== STDOUT ===
Processing: [default: loading data]
[batsat.0.4: dl]
[batsat.0.4: extract]
-> retrieved batsat.0.4 (https://opam.ocaml.org/cache)
[batsat: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "batsat" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/batsat.0.4)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -safe-string -w @8 -g -bin-annot -I src/.batsat.objs/byte -I /home/opam/.opam/default/lib/ocaml/threads -intf-suffix .ml -no-alias-deps -o src/.batsat.objs/byte/batsat.cmo -c -impl src/Batsat.ml)
- File "src/Batsat.ml", line 18, characters 31-45:
- 18 | let equal : t -> t -> bool = Pervasives.(=)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/Batsat.ml", line 19, characters 32-50:
- 19 | let compare : t -> t -> int = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -safe-string -w @8 -g -I src/.batsat.objs/byte -I src/.batsat.objs/native -I /home/opam/.opam/default/lib/ocaml/threads -intf-suffix .ml -no-alias-deps -o src/.batsat.objs/native/batsat.cmx -c -impl src/Batsat.ml)
- File "src/Batsat.ml", line 18, characters 31-45:
- 18 | let equal : t -> t -> bool = Pervasives.(=)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/Batsat.ml", line 19, characters 32-50:
- 19 | let compare : t -> t -> int = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- (cd _build/default && /usr/bin/make CAML_LIB=/home/opam/.opam/default/lib/ocaml build-rust-stubs)
- Compiling proc-macro2 v1.0.12
- Compiling unicode-xid v0.2.0
- Compiling syn v1.0.19
- Compiling ocaml-sys v0.12.2
- Compiling cty v0.2.1
- Compiling bit-vec v0.5.1
- Compiling batsat v0.4.0
- Compiling quote v1.0.4
- Compiling synstructure v0.12.3
- Compiling ocaml-derive v0.12.1
- Compiling ocaml v0.12.3
- Compiling batsat-stubs v0.1.0 (/home/opam/.opam/default/.opam-switch/build/batsat.0.4/_build/default)
- warning: attribute should be applied to an `extern` block with non-Rust ABI
- --> src/lib.rs:4:1
- |
- 4 | #[link(name = "batsat")]
- | ^^^^^^^^^^^^^^^^^^^^^^^^
- 5 | use ocaml::{Pointer, Value};
- | ---------------------------- not an `extern` block
- |
- = note: `#[warn(unused_attributes)]` on by default
- = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
-
- warning: attribute should be applied to an `extern` block with non-Rust ABI
- --> src/lib.rs:4:1
- |
- 4 | #[link(name = "batsat")]
- | ^^^^^^^^^^^^^^^^^^^^^^^^
- 5 | use ocaml::{Pointer, Value};
- | ------- not an `extern` block
- |
- = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
-
- warning: attribute should be applied to an `extern` block with non-Rust ABI
- --> src/lib.rs:4:1
- |
- 4 | #[link(name = "batsat")]
- | ^^^^^^^^^^^^^^^^^^^^^^^^
- 5 | use ocaml::{Pointer, Value};
- | ----- not an `extern` block
- |
- = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
-
- warning: `batsat-stubs` (lib) generated 3 warnings
- Finished release [optimized] target(s) in 26.57s
-> compiled batsat.0.4
-> installed batsat.0.4
=== STDERR ===
2026-06-16 11:51.29: OK: build batsat.0.4 (runc: 28.6s, disk: 9KB)
2026-06-16 11:51.29: Job succeeded