Build:
- 0
2026-11-06 04:05.20: New job: build imguiml.v1.90.6 (d6eab8823e3f)
2026-11-06 04:05.20: Waiting for resource in pool day11-builds
2026-11-06 05:41.46: Got resource from pool day11-builds
2026-11-06 05:41.46: [profile full] build imguiml.v1.90.6
2026-11-06 05:41.46: build imguiml.v1.90.6 (d6eab8823e3f)
=== DEPENDENCIES (32 transitive) ===
base-threads.base e5afefc1e615
base-unix.base 52b3a79a2336
compiler-cloning.enabled 656c3e8c82d2
conf-cmake.1 18823cb8a5f2
conf-gcc.1.0 20b75e0e5597
conf-glew.1 30b2f268a7be
conf-glfw3.2 88d88bcc50ff
conf-gmp.5 5fdec896ddcc
conf-libffi.2.0.0 d417548d8ca8
conf-perl.2 52382b2e45cc
conf-pkg-config.5 918c1ea9acfc
cppo.1.8.0 ae05d75356f7
csexp.1.5.2 72c8af71e223
ctypes.0.24.0 1a1d2edd153a
ctypes-foreign.0.24.0 f05cc7fd0caf
dune.3.24.2 8d8bffe1f6de
dune-configurator.3.24.2 3a37b9860c9d
goblint-cil.2.1.1 c35356212b04
integers.0.8.0 d9f2fddc1207
ocaml.5.5.2 fec8e2d43a6e
ocaml-base-compiler.5.5.2 ef85578d279b
ocaml-compiler.5.5.2 2759c28bbd03
ocaml-compiler-libs.v0.17.0 8e440c55f221
ocamlfind.1.9.9~preview f6d4e7fc14b0
ppx_derivers.1.2.1 a056fafeb3a4
ppx_deriving.6.2.0 2d38b2b6e185
ppx_deriving_yojson.3.10.0 3e2ececc379b
ppxlib.0.39.0 2ba9c38d4848
sexplib0.v0.17.0 75de1864cc9e
stdlib-shims.0.3.0 f03de1ffe686
yojson.3.0.0 9d643d653d50
zarith.1.14 f815f6ef43c3
=== STDOUT ===
Processing: [default: loading data]
[imguiml.v1.90.6: dl]
[imguiml.v1.90.6: extract]
-> retrieved imguiml.v1.90.6 (https://opam.ocaml.org/cache)
[imguiml: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "imguiml" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/imguiml.v1.90.6)
- (cd _build/default/cimgui/cimgui/build_static && /usr/bin/cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo -DIMGUI_STATIC=yes ..)
- -- The C compiler identification is GNU 14.2.0
- -- The CXX compiler identification is GNU 14.2.0
- -- Detecting C compiler ABI info
- -- Detecting C compiler ABI info - done
- -- Check for working C compiler: /usr/bin/cc - skipped
- -- Detecting C compile features
- -- Detecting C compile features - done
- -- Detecting CXX compiler ABI info
- -- Detecting CXX compiler ABI info - done
- -- Check for working CXX compiler: /usr/bin/c++ - skipped
- -- Detecting CXX compile features
- -- Detecting CXX compile features - done
- -- Configuring done (1.1s)
- -- Generating done (0.0s)
- -- Build files have been written to: /home/opam/.opam/default/.opam-switch/build/imguiml.v1.90.6/_build/default/cimgui/cimgui/build_static
- File "src/dune", lines 58-70, characters 0-241:
- 58 | (rule
- 59 | (targets cimgui_enums_gen.exe)
- 60 | (deps cimgui_enums_gen.c)
- ....
- 68 | -I%{ocaml_where}
- 69 | -I%{ocaml_where}/../ctypes
- 70 | -I%{env:PWD=.}/cimgui/cimgui)))
- (cd _build/default/src && /usr/bin/cc ./cimgui_enums_gen.c -o ./cimgui_enums_gen.exe -DCIMGUI_DEFINE_ENUMS_AND_STRUCTS=1 -I/home/opam/.opam/default/lib/ocaml -I/home/opam/.opam/default/lib/ocaml/../ctypes -I/home/opam/cimgui/cimgui)
- ./cimgui_enums_gen.c:5:10: fatal error: cimgui.h: No such file or directory
- 5 | #include <cimgui.h>
- | ^~~~~~~~~~
- compilation terminated.
- (cd _build/default/cimgui/cimgui/build_static && /usr/bin/make)
- [ 14%] Building CXX object CMakeFiles/cimgui.dir/cimgui.cpp.o
- [ 28%] Building CXX object CMakeFiles/cimgui.dir/imgui/imgui.cpp.o
- [ 42%] Building CXX object CMakeFiles/cimgui.dir/imgui/imgui_demo.cpp.o
- [ 57%] Building CXX object CMakeFiles/cimgui.dir/imgui/imgui_draw.cpp.o
- [ 71%] Building CXX object CMakeFiles/cimgui.dir/imgui/imgui_tables.cpp.o
- [ 85%] Building CXX object CMakeFiles/cimgui.dir/imgui/imgui_widgets.cpp.o
- [100%] Linking CXX static library cimgui.a
- [100%] Built target cimgui
- (cd _build/default/cimgui/cimgui/build_dynamic && /usr/bin/cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo ..)
- -- The C compiler identification is GNU 14.2.0
- -- The CXX compiler identification is GNU 14.2.0
- -- Detecting C compiler ABI info
- -- Detecting C compiler ABI info - done
- -- Check for working C compiler: /usr/bin/cc - skipped
- -- Detecting C compile features
- -- Detecting C compile features - done
- -- Detecting CXX compiler ABI info
- -- Detecting CXX compiler ABI info - done
- -- Check for working CXX compiler: /usr/bin/c++ - skipped
- -- Detecting CXX compile features
- -- Detecting CXX compile features - done
- -- Configuring done (0.5s)
- -- Generating done (0.0s)
- -- Build files have been written to: /home/opam/.opam/default/.opam-switch/build/imguiml.v1.90.6/_build/default/cimgui/cimgui/build_dynamic
- (cd _build/default/cimgui/cimgui/build_dynamic && /usr/bin/make)
- [ 14%] Building CXX object CMakeFiles/cimgui.dir/cimgui.cpp.o
- [ 28%] Building CXX object CMakeFiles/cimgui.dir/imgui/imgui.cpp.o
- [ 42%] Building CXX object CMakeFiles/cimgui.dir/imgui/imgui_demo.cpp.o
- [ 57%] Building CXX object CMakeFiles/cimgui.dir/imgui/imgui_draw.cpp.o
- [ 71%] Building CXX object CMakeFiles/cimgui.dir/imgui/imgui_tables.cpp.o
- [ 85%] Building CXX object CMakeFiles/cimgui.dir/imgui/imgui_widgets.cpp.o
- [100%] Linking CXX shared library cimgui.so
- [100%] Built target cimgui
- (cd _build/default/src/impl/backend/build_static && /usr/bin/cmake .. -DIMGUI_STATIC=ON -DCMAKE_BUILD_TYPE=RelWithDebInfo)
- -- The C compiler identification is GNU 14.2.0
- -- The CXX compiler identification is GNU 14.2.0
- -- Detecting C compiler ABI info
- -- Detecting C compiler ABI info - done
- -- Check for working C compiler: /usr/bin/cc - skipped
- -- Detecting C compile features
- -- Detecting C compile features - done
- -- Detecting CXX compiler ABI info
- -- Detecting CXX compiler ABI info - done
- -- Check for working CXX compiler: /usr/bin/c++ - skipped
- -- Detecting CXX compile features
- -- Detecting CXX compile features - done
- -- Performing Test CMAKE_HAVE_LIBC_PTHREAD
- -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
- -- Found Threads: TRUE
- -- Found GLEW: /usr/include (found version "2.2.0")
- -- Configuring done (1.0s)
- -- Generating done (0.0s)
- -- Build files have been written to: /home/opam/.opam/default/.opam-switch/build/imguiml.v1.90.6/_build/default/src/impl/backend/build_static
- (cd _build/default/src/impl/backend/build_static && /usr/bin/make)
- [ 33%] Building CXX object CMakeFiles/cimgui_impl.dir/imgui_impl_opengl3.cpp.o
- [ 66%] Building CXX object CMakeFiles/cimgui_impl.dir/imgui_impl_glfw.cpp.o
- [100%] Linking CXX static library libcimgui_impl.a
- [100%] Built target cimgui_impl
- (cd _build/default/src/impl/backend/build_dynamic && /usr/bin/cmake .. -DCMAKE_BUILD_TYPE=RelWithDebInfo)
- -- The C compiler identification is GNU 14.2.0
- -- The CXX compiler identification is GNU 14.2.0
- -- Detecting C compiler ABI info
- -- Detecting C compiler ABI info - done
- -- Check for working C compiler: /usr/bin/cc - skipped
- -- Detecting C compile features
- -- Detecting C compile features - done
- -- Detecting CXX compiler ABI info
- -- Detecting CXX compiler ABI info - done
- -- Check for working CXX compiler: /usr/bin/c++ - skipped
- -- Detecting CXX compile features
- -- Detecting CXX compile features - done
- -- Performing Test CMAKE_HAVE_LIBC_PTHREAD
- -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
- -- Found Threads: TRUE
- -- Found GLEW: /usr/include (found version "2.2.0")
- -- Configuring done (0.6s)
- -- Generating done (0.0s)
- -- Build files have been written to: /home/opam/.opam/default/.opam-switch/build/imguiml.v1.90.6/_build/default/src/impl/backend/build_dynamic
- (cd _build/default/src/impl/backend/build_dynamic && /usr/bin/make)
- [ 33%] Building CXX object CMakeFiles/cimgui_impl.dir/imgui_impl_opengl3.cpp.o
- [ 66%] Building CXX object CMakeFiles/cimgui_impl.dir/imgui_impl_glfw.cpp.o
- [100%] Linking CXX shared library libcimgui_impl.so
- [100%] Built target cimgui_impl
[ERROR] The compilation of imguiml.v1.90.6 failed at "dune build -p imguiml -j 39 @install".
build failed...
=== STDERR ===
2026-11-06 05:43.16: FAILED: build imguiml.v1.90.6
2026-11-06 05:43.16: Job failed: build failed: imguiml.v1.90.6