On This Page
package imguiml
imguiml v1.90.6
Error log
The package failed to build. The error log from opam follows.
Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y
The following actions will be performed:
- recompile opam-depext 1.2.1-1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.1-1 (cached)
-> removed opam-depext.1.2.1-1
-> installed opam-depext.1.2.1-1
Done.
<><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment
<><> Carrying on to "opam depext -viy imguiml.v1.90.6 zarith.1.13 yojson.2.2.2 stdlib-shims.0.3.0 sexplib0.v0.17.0 seq.base ppxlib.0.32.1 ppx_deriving_yojson.3.8.0 ppx_deriving.6.0.2 ppx_derivers.1.2.1 ocamlfind.1.9.6 ocaml-compiler-libs.v0.12.4 integers.0.7.0 host-arch-x86_64.1 goblint-cil.2.0.3 dune-configurator.3.16.0 dune.3.16.0 ctypes-foreign.0.22.0 ctypes.0.22.0 csexp.1.5.2 cppo.1.6.9 conf-pkg-config.3 conf-perl.2 conf-libffi.2.0.0 conf-gmp.4 conf-glfw3.2 conf-glew.1 conf-gcc.1.0 conf-cmake.1 bigarray-compat.1.1.0"
You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
cmake
gcc
libffi-dev
libglew-dev
libglfw3-dev
libgmp-dev
perl
pkg-config
[NOTE] Package dune is already installed (current version is 3.16.0).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package ocamlfind is already installed (current version is 1.9.6).
The following actions will be performed:
- install conf-perl 2
- install cppo 1.6.9
- install ppx_derivers 1.2.1
- install conf-gcc 1.0
- install conf-gmp 4
- install conf-pkg-config 3
- install bigarray-compat 1.1.0
- install seq base
- install csexp 1.5.2
- install sexplib0 v0.17.0
- install ocaml-compiler-libs v0.12.4
- install conf-cmake 1
- install stdlib-shims 0.3.0
- install zarith 1.13
- install conf-libffi 2.0.0
- install conf-glfw3 2
- install conf-glew 1
- install yojson 2.2.2
- install dune-configurator 3.16.0
- install ppxlib 0.32.1
- install integers 0.7.0
- install ppx_deriving 6.0.2
- install ctypes 0.22.0
- install ppx_deriving_yojson 3.8.0
- install ctypes-foreign 0.22.0
- install goblint-cil 2.0.3
- install imguiml v1.90.6
===== 27 to install =====
The following system packages will first need to be installed:
cmake libffi-dev libglew-dev libglfw3-dev libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "cmake" "libffi-dev" "libglew-dev" "libglfw3-dev" "libgmp-dev" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpython3.11-minimal: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 ... 18765 files and directories currently installed.)
- Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u2_amd64.deb ...
- Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u2) ...
- Selecting previously unselected package python3.11-minimal.
- Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u2_amd64.deb ...
- Unpacking python3.11-minimal (3.11.2-6+deb12u2) ...
- Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u2) ...
- Setting up python3.11-minimal (3.11.2-6+deb12u2) ...
- Selecting previously unselected package python3-minimal.
- (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 ... 19072 files and directories currently installed.)
- Preparing to unpack .../python3-minimal_3.11.2-1+b1_amd64.deb ...
- Unpacking python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../media-types_10.0.0_all.deb ...
- Unpacking media-types (10.0.0) ...
- Selecting previously unselected package libpython3.11-stdlib:amd64.
- Preparing to unpack .../libpython3.11-stdlib_3.11.2-6+deb12u2_amd64.deb ...
- Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u2) ...
- Selecting previously unselected package python3.11.
- Preparing to unpack .../python3.11_3.11.2-6+deb12u2_amd64.deb ...
- Unpacking python3.11 (3.11.2-6+deb12u2) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../libpython3-stdlib_3.11.2-1+b1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package python3.
- (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 ... 19482 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ...
- Unpacking python3 (3.11.2-1+b1) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../01-libicu72_72.1-3_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-3) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../02-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Selecting previously unselected package libarchive13:amd64.
- Preparing to unpack .../03-libarchive13_3.6.2-1+deb12u1_amd64.deb ...
- Unpacking libarchive13:amd64 (3.6.2-1+deb12u1) ...
- Selecting previously unselected package libjsoncpp25:amd64.
- Preparing to unpack .../04-libjsoncpp25_1.9.5-4_amd64.deb ...
- Unpacking libjsoncpp25:amd64 (1.9.5-4) ...
- Selecting previously unselected package librhash0:amd64.
- Preparing to unpack .../05-librhash0_1.4.3-3_amd64.deb ...
- Unpacking librhash0:amd64 (1.4.3-3) ...
- Selecting previously unselected package libuv1:amd64.
- Preparing to unpack .../06-libuv1_1.44.2-1+deb12u1_amd64.deb ...
- Unpacking libuv1:amd64 (1.44.2-1+deb12u1) ...
- Selecting previously unselected package cmake-data.
- Preparing to unpack .../07-cmake-data_3.25.1-1_all.deb ...
- Unpacking cmake-data (3.25.1-1) ...
- Selecting previously unselected package cmake.
- Preparing to unpack .../08-cmake_3.25.1-1_amd64.deb ...
- Unpacking cmake (3.25.1-1) ...
- Selecting previously unselected package libdrm-common.
- Preparing to unpack .../09-libdrm-common_2.4.114-1_all.deb ...
- Unpacking libdrm-common (2.4.114-1) ...
- Selecting previously unselected package libdrm2:amd64.
- Preparing to unpack .../10-libdrm2_2.4.114-1+b1_amd64.deb ...
- Unpacking libdrm2:amd64 (2.4.114-1+b1) ...
- Selecting previously unselected package libdrm-amdgpu1:amd64.
- Preparing to unpack .../11-libdrm-amdgpu1_2.4.114-1+b1_amd64.deb ...
- Unpacking libdrm-amdgpu1:amd64 (2.4.114-1+b1) ...
- Selecting previously unselected package libpciaccess0:amd64.
- Preparing to unpack .../12-libpciaccess0_0.17-2_amd64.deb ...
- Unpacking libpciaccess0:amd64 (0.17-2) ...
- Selecting previously unselected package libdrm-intel1:amd64.
- Preparing to unpack .../13-libdrm-intel1_2.4.114-1+b1_amd64.deb ...
- Unpacking libdrm-intel1:amd64 (2.4.114-1+b1) ...
- Selecting previously unselected package libdrm-nouveau2:amd64.
- Preparing to unpack .../14-libdrm-nouveau2_2.4.114-1+b1_amd64.deb ...
- Unpacking libdrm-nouveau2:amd64 (2.4.114-1+b1) ...
- Selecting previously unselected package libdrm-radeon1:amd64.
- Preparing to unpack .../15-libdrm-radeon1_2.4.114-1+b1_amd64.deb ...
- Unpacking libdrm-radeon1:amd64 (2.4.114-1+b1) ...
- Selecting previously unselected package libglvnd0:amd64.
- Preparing to unpack .../16-libglvnd0_1.6.0-1_amd64.deb ...
- Unpacking libglvnd0:amd64 (1.6.0-1) ...
- Selecting previously unselected package libwayland-server0:amd64.
- Preparing to unpack .../17-libwayland-server0_1.21.0-1_amd64.deb ...
- Unpacking libwayland-server0:amd64 (1.21.0-1) ...
- Selecting previously unselected package libgbm1:amd64.
- Preparing to unpack .../18-libgbm1_22.3.6-1+deb12u1_amd64.deb ...
- Unpacking libgbm1:amd64 (22.3.6-1+deb12u1) ...
- Selecting previously unselected package libglapi-mesa:amd64.
- Preparing to unpack .../19-libglapi-mesa_22.3.6-1+deb12u1_amd64.deb ...
- Unpacking libglapi-mesa:amd64 (22.3.6-1+deb12u1) ...
- Selecting previously unselected package libwayland-client0:amd64.
- Preparing to unpack .../20-libwayland-client0_1.21.0-1_amd64.deb ...
- Unpacking libwayland-client0:amd64 (1.21.0-1) ...
- Selecting previously unselected package libx11-xcb1:amd64.
- Preparing to unpack .../21-libx11-xcb1_2%3a1.8.4-2+deb12u2_amd64.deb ...
- Unpacking libx11-xcb1:amd64 (2:1.8.4-2+deb12u2) ...
- Selecting previously unselected package libxcb-dri2-0:amd64.
- Preparing to unpack .../22-libxcb-dri2-0_1.15-1_amd64.deb ...
- Unpacking libxcb-dri2-0:amd64 (1.15-1) ...
- Selecting previously unselected package libxcb-dri3-0:amd64.
- Preparing to unpack .../23-libxcb-dri3-0_1.15-1_amd64.deb ...
- Unpacking libxcb-dri3-0:amd64 (1.15-1) ...
- Selecting previously unselected package libxcb-present0:amd64.
- Preparing to unpack .../24-libxcb-present0_1.15-1_amd64.deb ...
- Unpacking libxcb-present0:amd64 (1.15-1) ...
- Selecting previously unselected package libxcb-randr0:amd64.
- Preparing to unpack .../25-libxcb-randr0_1.15-1_amd64.deb ...
- Unpacking libxcb-randr0:amd64 (1.15-1) ...
- Selecting previously unselected package libxcb-sync1:amd64.
- Preparing to unpack .../26-libxcb-sync1_1.15-1_amd64.deb ...
- Unpacking libxcb-sync1:amd64 (1.15-1) ...
- Selecting previously unselected package libxcb-xfixes0:amd64.
- Preparing to unpack .../27-libxcb-xfixes0_1.15-1_amd64.deb ...
- Unpacking libxcb-xfixes0:amd64 (1.15-1) ...
- Selecting previously unselected package libxshmfence1:amd64.
- Preparing to unpack .../28-libxshmfence1_1.3-1_amd64.deb ...
- Unpacking libxshmfence1:amd64 (1.3-1) ...
- Selecting previously unselected package libegl-mesa0:amd64.
- Preparing to unpack .../29-libegl-mesa0_22.3.6-1+deb12u1_amd64.deb ...
- Unpacking libegl-mesa0:amd64 (22.3.6-1+deb12u1) ...
- Selecting previously unselected package libegl1:amd64.
- Preparing to unpack .../30-libegl1_1.6.0-1_amd64.deb ...
- Unpacking libegl1:amd64 (1.6.0-1) ...
- Selecting previously unselected package libxcb-glx0:amd64.
- Preparing to unpack .../31-libxcb-glx0_1.15-1_amd64.deb ...
- Unpacking libxcb-glx0:amd64 (1.15-1) ...
- Selecting previously unselected package libxcb-shm0:amd64.
- Preparing to unpack .../32-libxcb-shm0_1.15-1_amd64.deb ...
- Unpacking libxcb-shm0:amd64 (1.15-1) ...
- Selecting previously unselected package libxfixes3:amd64.
- Preparing to unpack .../33-libxfixes3_1%3a6.0.0-2_amd64.deb ...
- Unpacking libxfixes3:amd64 (1:6.0.0-2) ...
- Selecting previously unselected package libxxf86vm1:amd64.
- Preparing to unpack .../34-libxxf86vm1_1%3a1.1.4-1+b2_amd64.deb ...
- Unpacking libxxf86vm1:amd64 (1:1.1.4-1+b2) ...
- Selecting previously unselected package libelf1:amd64.
- Preparing to unpack .../35-libelf1_0.188-2.1_amd64.deb ...
- Unpacking libelf1:amd64 (0.188-2.1) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../36-libz3-4_4.8.12-3.1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.8.12-3.1) ...
- Selecting previously unselected package libllvm15:amd64.
- Preparing to unpack .../37-libllvm15_1%3a15.0.6-4+b1_amd64.deb ...
- Unpacking libllvm15:amd64 (1:15.0.6-4+b1) ...
- Selecting previously unselected package libsensors-config.
- Preparing to unpack .../38-libsensors-config_1%3a3.6.0-7.1_all.deb ...
- Unpacking libsensors-config (1:3.6.0-7.1) ...
- Selecting previously unselected package libsensors5:amd64.
- Preparing to unpack .../39-libsensors5_1%3a3.6.0-7.1_amd64.deb ...
- Unpacking libsensors5:amd64 (1:3.6.0-7.1) ...
- Selecting previously unselected package libgl1-mesa-dri:amd64.
- Preparing to unpack .../40-libgl1-mesa-dri_22.3.6-1+deb12u1_amd64.deb ...
- Unpacking libgl1-mesa-dri:amd64 (22.3.6-1+deb12u1) ...
- Selecting previously unselected package libglx-mesa0:amd64.
- Preparing to unpack .../41-libglx-mesa0_22.3.6-1+deb12u1_amd64.deb ...
- Unpacking libglx-mesa0:amd64 (22.3.6-1+deb12u1) ...
- Selecting previously unselected package libglx0:amd64.
- Preparing to unpack .../42-libglx0_1.6.0-1_amd64.deb ...
- Unpacking libglx0:amd64 (1.6.0-1) ...
- Selecting previously unselected package libgl1:amd64.
- Preparing to unpack .../43-libgl1_1.6.0-1_amd64.deb ...
- Unpacking libgl1:amd64 (1.6.0-1) ...
- Selecting previously unselected package libglx-dev:amd64.
- Preparing to unpack .../44-libglx-dev_1.6.0-1_amd64.deb ...
- Unpacking libglx-dev:amd64 (1.6.0-1) ...
- Selecting previously unselected package libgl-dev:amd64.
- Preparing to unpack .../45-libgl-dev_1.6.0-1_amd64.deb ...
- Unpacking libgl-dev:amd64 (1.6.0-1) ...
- Selecting previously unselected package libegl-dev:amd64.
- Preparing to unpack .../46-libegl-dev_1.6.0-1_amd64.deb ...
- Unpacking libegl-dev:amd64 (1.6.0-1) ...
- Selecting previously unselected package libglvnd-core-dev:amd64.
- Preparing to unpack .../47-libglvnd-core-dev_1.6.0-1_amd64.deb ...
- Unpacking libglvnd-core-dev:amd64 (1.6.0-1) ...
- Selecting previously unselected package libgles1:amd64.
- Preparing to unpack .../48-libgles1_1.6.0-1_amd64.deb ...
- Unpacking libgles1:amd64 (1.6.0-1) ...
- Selecting previously unselected package libgles2:amd64.
- Preparing to unpack .../49-libgles2_1.6.0-1_amd64.deb ...
- Unpacking libgles2:amd64 (1.6.0-1) ...
- Selecting previously unselected package libgles-dev:amd64.
- Preparing to unpack .../50-libgles-dev_1.6.0-1_amd64.deb ...
- Unpacking libgles-dev:amd64 (1.6.0-1) ...
- Selecting previously unselected package libopengl0:amd64.
- Preparing to unpack .../51-libopengl0_1.6.0-1_amd64.deb ...
- Unpacking libopengl0:amd64 (1.6.0-1) ...
- Selecting previously unselected package libopengl-dev:amd64.
- Preparing to unpack .../52-libopengl-dev_1.6.0-1_amd64.deb ...
- Unpacking libopengl-dev:amd64 (1.6.0-1) ...
- Selecting previously unselected package libglvnd-dev:amd64.
- Preparing to unpack .../53-libglvnd-dev_1.6.0-1_amd64.deb ...
- Unpacking libglvnd-dev:amd64 (1.6.0-1) ...
- Selecting previously unselected package libegl1-mesa-dev:amd64.
- Preparing to unpack .../54-libegl1-mesa-dev_22.3.6-1+deb12u1_amd64.deb ...
- Unpacking libegl1-mesa-dev:amd64 (22.3.6-1+deb12u1) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../55-libffi-dev_3.4.4-1_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.4-1) ...
- Selecting previously unselected package libgl1-mesa-dev:amd64.
- Preparing to unpack .../56-libgl1-mesa-dev_22.3.6-1+deb12u1_amd64.deb ...
- Unpacking libgl1-mesa-dev:amd64 (22.3.6-1+deb12u1) ...
- Selecting previously unselected package libglew2.2:amd64.
- Preparing to unpack .../57-libglew2.2_2.2.0-4+b1_amd64.deb ...
- Unpacking libglew2.2:amd64 (2.2.0-4+b1) ...
- Selecting previously unselected package libglu1-mesa:amd64.
- Preparing to unpack .../58-libglu1-mesa_9.0.2-1.1_amd64.deb ...
- Unpacking libglu1-mesa:amd64 (9.0.2-1.1) ...
- Selecting previously unselected package libglu1-mesa-dev:amd64.
- Preparing to unpack .../59-libglu1-mesa-dev_9.0.2-1.1_amd64.deb ...
- Unpacking libglu1-mesa-dev:amd64 (9.0.2-1.1) ...
- Selecting previously unselected package libglew-dev:amd64.
- Preparing to unpack .../60-libglew-dev_2.2.0-4+b1_amd64.deb ...
- Unpacking libglew-dev:amd64 (2.2.0-4+b1) ...
- Selecting previously unselected package libglfw3:amd64.
- Preparing to unpack .../61-libglfw3_3.3.8-1_amd64.deb ...
- Unpacking libglfw3:amd64 (3.3.8-1) ...
- Selecting previously unselected package libglfw3-dev:amd64.
- Preparing to unpack .../62-libglfw3-dev_3.3.8-1_amd64.deb ...
- Unpacking libglfw3-dev:amd64 (3.3.8-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../63-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../64-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../65-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package libvulkan1:amd64.
- Preparing to unpack .../66-libvulkan1_1.3.239.0-1_amd64.deb ...
- Unpacking libvulkan1:amd64 (1.3.239.0-1) ...
- Selecting previously unselected package libvulkan-dev:amd64.
- Preparing to unpack .../67-libvulkan-dev_1.3.239.0-1_amd64.deb ...
- Unpacking libvulkan-dev:amd64 (1.3.239.0-1) ...
- Selecting previously unselected package libwayland-bin.
- Preparing to unpack .../68-libwayland-bin_1.21.0-1_amd64.deb ...
- Unpacking libwayland-bin (1.21.0-1) ...
- Selecting previously unselected package libwayland-cursor0:amd64.
- Preparing to unpack .../69-libwayland-cursor0_1.21.0-1_amd64.deb ...
- Unpacking libwayland-cursor0:amd64 (1.21.0-1) ...
- Selecting previously unselected package libwayland-egl1:amd64.
- Preparing to unpack .../70-libwayland-egl1_1.21.0-1_amd64.deb ...
- Unpacking libwayland-egl1:amd64 (1.21.0-1) ...
- Selecting previously unselected package libwayland-dev:amd64.
- Preparing to unpack .../71-libwayland-dev_1.21.0-1_amd64.deb ...
- Unpacking libwayland-dev:amd64 (1.21.0-1) ...
- Selecting previously unselected package libxext-dev:amd64.
- Preparing to unpack .../72-libxext-dev_2%3a1.3.4-1+b1_amd64.deb ...
- Unpacking libxext-dev:amd64 (2:1.3.4-1+b1) ...
- Selecting previously unselected package libxrender1:amd64.
- Preparing to unpack .../73-libxrender1_1%3a0.9.10-1.1_amd64.deb ...
- Unpacking libxrender1:amd64 (1:0.9.10-1.1) ...
- Selecting previously unselected package libxrandr2:amd64.
- Preparing to unpack .../74-libxrandr2_2%3a1.5.2-2+b1_amd64.deb ...
- Unpacking libxrandr2:amd64 (2:1.5.2-2+b1) ...
- Selecting previously unselected package libxrender-dev:amd64.
- Preparing to unpack .../75-libxrender-dev_1%3a0.9.10-1.1_amd64.deb ...
- Unpacking libxrender-dev:amd64 (1:0.9.10-1.1) ...
- Selecting previously unselected package libxrandr-dev:amd64.
- Preparing to unpack .../76-libxrandr-dev_2%3a1.5.2-2+b1_amd64.deb ...
- Unpacking libxrandr-dev:amd64 (2:1.5.2-2+b1) ...
- Selecting previously unselected package mesa-vulkan-drivers:amd64.
- Preparing to unpack .../77-mesa-vulkan-drivers_22.3.6-1+deb12u1_amd64.deb ...
- Unpacking mesa-vulkan-drivers:amd64 (22.3.6-1+deb12u1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../78-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../79-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../80-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up media-types (10.0.0) ...
- Setting up libxcb-dri3-0:amd64 (1.15-1) ...
- Setting up libwayland-server0:amd64 (1.21.0-1) ...
- Setting up libx11-xcb1:amd64 (2:1.8.4-2+deb12u2) ...
- Setting up libpciaccess0:amd64 (0.17-2) ...
- Setting up libicu72:amd64 (72.1-3) ...
- Setting up libxcb-xfixes0:amd64 (1.15-1) ...
- Setting up libglvnd-core-dev:amd64 (1.6.0-1) ...
- Setting up libxrender1:amd64 (1:0.9.10-1.1) ...
- Setting up libglvnd0:amd64 (1.6.0-1) ...
- Setting up libxcb-glx0:amd64 (1.15-1) ...
- Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u2) ...
- Setting up libsensors-config (1:3.6.0-7.1) ...
- Setting up libxcb-shm0:amd64 (1.15-1) ...
- Setting up libffi-dev:amd64 (3.4.4-1) ...
- Setting up libopengl0:amd64 (1.6.0-1) ...
- Setting up libxxf86vm1:amd64 (1:1.1.4-1+b2) ...
- Setting up libxcb-present0:amd64 (1.15-1) ...
- Setting up libz3-4:amd64 (4.8.12-3.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libuv1:amd64 (1.44.2-1+deb12u1) ...
- Setting up libgles2:amd64 (1.6.0-1) ...
- Setting up libxfixes3:amd64 (1:6.0.0-2) ...
- Setting up libxcb-sync1:amd64 (1.15-1) ...
- Setting up libgles1:amd64 (1.6.0-1) ...
- Setting up libxrandr2:amd64 (2:1.5.2-2+b1) ...
- Setting up libjsoncpp25:amd64 (1.9.5-4) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up libsensors5:amd64 (1:3.6.0-7.1) ...
- Setting up libglapi-mesa:amd64 (22.3.6-1+deb12u1) ...
- Setting up libvulkan1:amd64 (1.3.239.0-1) ...
- Setting up libxext-dev:amd64 (2:1.3.4-1+b1) ...
- Setting up libxcb-dri2-0:amd64 (1.15-1) ...
- Setting up libxshmfence1:amd64 (1.3-1) ...
- Setting up librhash0:amd64 (1.4.3-3) ...
- Setting up libxcb-randr0:amd64 (1.15-1) ...
- Setting up cmake-data (3.25.1-1) ...
- Setting up libglu1-mesa:amd64 (9.0.2-1.1) ...
- Setting up libwayland-egl1:amd64 (1.21.0-1) ...
- Setting up libopengl-dev:amd64 (1.6.0-1) ...
- Setting up libdrm-common (2.4.114-1) ...
- Setting up libelf1:amd64 (0.188-2.1) ...
- Setting up libxrender-dev:amd64 (1:0.9.10-1.1) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up libwayland-client0:amd64 (1.21.0-1) ...
- Setting up python3.11 (3.11.2-6+deb12u2) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libarchive13:amd64 (3.6.2-1+deb12u1) ...
- Setting up python3 (3.11.2-1+b1) ...
- running python rtupdate hooks for python3.11...
- running python post-rtupdate hooks for python3.11...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up libwayland-bin (1.21.0-1) ...
- Setting up libxrandr-dev:amd64 (2:1.5.2-2+b1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Setting up libdrm2:amd64 (2.4.114-1+b1) ...
- Setting up libwayland-cursor0:amd64 (1.21.0-1) ...
- Setting up libllvm15:amd64 (1:15.0.6-4+b1) ...
- Setting up cmake (3.25.1-1) ...
- Setting up libdrm-amdgpu1:amd64 (2.4.114-1+b1) ...
- Setting up mesa-vulkan-drivers:amd64 (22.3.6-1+deb12u1) ...
- Setting up libvulkan-dev:amd64 (1.3.239.0-1) ...
- Setting up libdrm-nouveau2:amd64 (2.4.114-1+b1) ...
- Setting up libgbm1:amd64 (22.3.6-1+deb12u1) ...
- Setting up libdrm-radeon1:amd64 (2.4.114-1+b1) ...
- Setting up libdrm-intel1:amd64 (2.4.114-1+b1) ...
- Setting up libgl1-mesa-dri:amd64 (22.3.6-1+deb12u1) ...
- Setting up libwayland-dev:amd64 (1.21.0-1) ...
- Setting up libegl-mesa0:amd64 (22.3.6-1+deb12u1) ...
- Setting up libegl1:amd64 (1.6.0-1) ...
- Setting up libglx-mesa0:amd64 (22.3.6-1+deb12u1) ...
- Setting up libglx0:amd64 (1.6.0-1) ...
- Setting up libgl1:amd64 (1.6.0-1) ...
- Setting up libglew2.2:amd64 (2.2.0-4+b1) ...
- Setting up libglx-dev:amd64 (1.6.0-1) ...
- Setting up libgl-dev:amd64 (1.6.0-1) ...
- Setting up libglfw3:amd64 (3.3.8-1) ...
- Setting up libglfw3-dev:amd64 (3.3.8-1) ...
- Setting up libegl-dev:amd64 (1.6.0-1) ...
- Setting up libglu1-mesa-dev:amd64 (9.0.2-1.1) ...
- Setting up libgles-dev:amd64 (1.6.0-1) ...
- Setting up libglvnd-dev:amd64 (1.6.0-1) ...
- Setting up libglew-dev:amd64 (2.2.0-4+b1) ...
- Setting up libgl1-mesa-dev:amd64 (22.3.6-1+deb12u1) ...
- Setting up libegl1-mesa-dev:amd64 (22.3.6-1+deb12u1) ...
- Processing triggers for libc-bin (2.36-9+deb12u7) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/81:
-> retrieved conf-cmake.1 (cached)
Processing 2/81:
Processing 3/81:
Processing 4/81:
Processing 5/81:
-> retrieved conf-gmp.4 (cached)
Processing 6/81:
Processing 7/81:
Processing 8/81:
Processing 9/81:
Processing 10/81:
Processing 11/81:
Processing 12/81: [conf-cmake: sh configure.sh]
Processing 13/81: [conf-cmake: sh configure.sh] [conf-gcc: gcc]
Processing 14/81: [conf-cmake: sh configure.sh] [conf-gcc: gcc] [conf-gmp: sh]
Processing 15/81: [conf-cmake: sh configure.sh] [conf-gcc: gcc] [conf-gmp: sh] [conf-perl: perl]
Processing 16/81: [conf-cmake: sh configure.sh] [conf-gcc: gcc] [conf-gmp: sh] [conf-perl: perl] [conf-pkg-config: pkg-config]
-> retrieved bigarray-compat.1.1.0 (cached)
Processing 17/81: [conf-cmake: sh configure.sh] [conf-gcc: gcc] [conf-gmp: sh] [conf-perl: perl] [conf-pkg-config: pkg-config]
Processing 18/81: [bigarray-compat: dune build] [conf-cmake: sh configure.sh] [conf-gcc: gcc] [conf-gmp: sh] [conf-perl: perl] [conf-pkg-config: pkg-config]
-> retrieved cppo.1.6.9 (cached)
Processing 19/81: [bigarray-compat: dune build] [conf-cmake: sh configure.sh] [conf-gcc: gcc] [conf-gmp: sh] [conf-perl: perl] [conf-pkg-config: pkg-config]
Processing 20/81: [bigarray-compat: dune build] [conf-cmake: sh configure.sh] [conf-gcc: gcc] [conf-gmp: sh] [conf-perl: perl] [conf-pkg-config: pkg-config] [cppo: dune build]
-> retrieved csexp.1.5.2 (cached)
Processing 21/81: [bigarray-compat: dune build] [conf-cmake: sh configure.sh] [conf-gcc: gcc] [conf-gmp: sh] [conf-perl: perl] [conf-pkg-config: pkg-config] [cppo: dune build]
Processing 22/81: [bigarray-compat: dune build] [conf-cmake: sh configure.sh] [conf-gcc: gcc] [conf-gmp: sh] [conf-perl: perl] [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build]
- + command -v cmake3
- + command -v cmake
- /usr/bin/cmake
- + cmake_cmd=cmake
- + echo cmd: "cmake"
-> compiled conf-cmake.1
Processing 22/81: [bigarray-compat: dune build] [conf-gcc: gcc] [conf-gmp: sh] [conf-perl: perl] [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build]
-> installed conf-cmake.1
Processing 23/81: [bigarray-compat: dune build] [conf-gcc: gcc] [conf-gmp: sh] [conf-perl: perl] [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build]
- gcc (Debian 12.2.0-14) 12.2.0
- Copyright (C) 2022 Free Software Foundation, Inc.
- This is free software; see the source for copying conditions. There is NO
- warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
-
-> compiled conf-gcc.1.0
Processing 23/81: [bigarray-compat: dune build] [conf-gmp: sh] [conf-perl: perl] [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build]
-> installed conf-gcc.1.0
Processing 24/81: [bigarray-compat: dune build] [conf-gmp: sh] [conf-perl: perl] [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build]
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 24/81: [bigarray-compat: dune build] [conf-perl: perl] [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build]
-> installed conf-gmp.4
Processing 25/81: [bigarray-compat: dune build] [conf-perl: perl] [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build]
-
- This is perl 5, version 36, subversion 0 (v5.36.0) built for x86_64-linux-gnu-thread-multi
- (with 53 registered patches, see perl -V for more detail)
-
- Copyright 1987-2022, Larry Wall
-
- Perl may be copied only under the terms of either the Artistic License or the
- GNU General Public License, which may be found in the Perl 5 source kit.
-
- Complete documentation for Perl, including FAQ lists, should be found on
- this system using "man perl" or "perldoc perl". If you have access to the
- Internet, point your browser at https://www.perl.org/, the Perl Home Page.
-
-> compiled conf-perl.2
Processing 25/81: [bigarray-compat: dune build] [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build]
-> installed conf-perl.2
Processing 26/81: [bigarray-compat: dune build] [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build]
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled conf-pkg-config.3
Processing 26/81: [bigarray-compat: dune build] [cppo: dune build] [csexp: dune build]
-> installed conf-pkg-config.3
Processing 27/81: [bigarray-compat: dune build] [cppo: dune build] [csexp: dune build]
Processing 28/81: [bigarray-compat: dune build] [conf-glew: pkg-config glew] [cppo: dune build] [csexp: dune build]
Processing 29/81: [bigarray-compat: dune build] [conf-glew: pkg-config glew] [conf-glfw3: pkg-config glfw3] [cppo: dune build] [csexp: dune build]
Processing 30/81: [bigarray-compat: dune build] [conf-glew: pkg-config glew] [conf-glfw3: pkg-config glfw3] [conf-libffi: pkg-config libffi] [cppo: dune build] [csexp: dune build]
-> retrieved ctypes.0.22.0 (cached)
Processing 31/81: [bigarray-compat: dune build] [conf-glew: pkg-config glew] [conf-glfw3: pkg-config glfw3] [conf-libffi: pkg-config libffi] [cppo: dune build] [csexp: dune build]
-> retrieved ctypes-foreign.0.22.0 (cached)
Processing 32/81: [bigarray-compat: dune build] [conf-glew: pkg-config glew] [conf-glfw3: pkg-config glfw3] [conf-libffi: pkg-config libffi] [cppo: dune build] [csexp: dune build]
-> compiled conf-glew.1
Processing 32/81: [bigarray-compat: dune build] [conf-glfw3: pkg-config glfw3] [conf-libffi: pkg-config libffi] [cppo: dune build] [csexp: dune build]
-> installed conf-glew.1
Processing 33/81: [bigarray-compat: dune build] [conf-glfw3: pkg-config glfw3] [conf-libffi: pkg-config libffi] [cppo: dune build] [csexp: dune build]
-> compiled conf-glfw3.2
Processing 33/81: [bigarray-compat: dune build] [conf-libffi: pkg-config libffi] [cppo: dune build] [csexp: dune build]
-> installed conf-glfw3.2
Processing 34/81: [bigarray-compat: dune build] [conf-libffi: pkg-config libffi] [cppo: dune build] [csexp: dune build]
-> compiled conf-libffi.2.0.0
Processing 34/81: [bigarray-compat: dune build] [cppo: dune build] [csexp: dune build]
-> installed conf-libffi.2.0.0
Processing 35/81: [bigarray-compat: dune build] [cppo: dune build] [csexp: dune build]
-> retrieved goblint-cil.2.0.3 (cached)
Processing 36/81: [bigarray-compat: dune build] [cppo: dune build] [csexp: dune build]
-> compiled bigarray-compat.1.1.0
Processing 36/81: [cppo: dune build] [csexp: dune build]
-> installed bigarray-compat.1.1.0
Processing 37/81: [cppo: dune build] [csexp: dune build]
-> compiled csexp.1.5.2
Processing 37/81: [cppo: dune build]
-> installed csexp.1.5.2
Processing 38/81: [cppo: dune build]
-> retrieved imguiml.v1.90.6 (cached)
Processing 39/81: [cppo: dune build]
-> retrieved integers.0.7.0 (cached)
Processing 40/81: [cppo: dune build]
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
Processing 41/81: [cppo: dune build]
Processing 42/81: [cppo: dune build] [ocaml-compiler-libs: dune build]
-> retrieved ppx_derivers.1.2.1 (cached)
Processing 43/81: [cppo: dune build] [ocaml-compiler-libs: dune build]
Processing 44/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
-> retrieved ppx_deriving.6.0.2 (cached)
Processing 45/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
-> retrieved ppx_deriving_yojson.3.8.0 (cached)
-> retrieved seq.base (cached)
Processing 46/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
Processing 47/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
Processing 48/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
-> installed seq.base
Processing 49/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
-> retrieved sexplib0.v0.17.0 (cached)
Processing 50/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
Processing 51/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build]
-> retrieved stdlib-shims.0.3.0 (cached)
Processing 52/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build]
Processing 53/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> retrieved yojson.2.2.2 (cached)
Processing 54/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
Processing 55/81: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [yojson: dune build]
-> retrieved dune-configurator.3.16.0 (cached)
Processing 56/81: [cppo: dune build] [dune-configurator: rm] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [yojson: dune build]
-> compiled cppo.1.6.9
Processing 56/81: [dune-configurator: rm] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [yojson: dune build]
-> installed cppo.1.6.9
Processing 57/81: [dune-configurator: rm] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [yojson: dune build]
-> compiled ocaml-compiler-libs.v0.12.4
Processing 57/81: [dune-configurator: rm] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [yojson: dune build]
-> installed ocaml-compiler-libs.v0.12.4
Processing 58/81: [dune-configurator: rm] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [yojson: dune build]
-> compiled ppx_derivers.1.2.1
Processing 58/81: [dune-configurator: rm] [sexplib0: dune build] [stdlib-shims: dune build] [yojson: dune build]
-> installed ppx_derivers.1.2.1
Processing 59/81: [dune-configurator: rm] [sexplib0: dune build] [stdlib-shims: dune build] [yojson: dune build]
-> retrieved ppxlib.0.32.1 (cached)
-> compiled sexplib0.v0.17.0
Processing 59/81: [dune-configurator: rm] [stdlib-shims: dune build] [yojson: dune build]
-> installed sexplib0.v0.17.0
Processing 60/81: [dune-configurator: rm] [stdlib-shims: dune build] [yojson: dune build]
-> compiled stdlib-shims.0.3.0
Processing 60/81: [dune-configurator: rm] [yojson: dune build]
-> installed stdlib-shims.0.3.0
Processing 61/81: [dune-configurator: rm] [yojson: dune build]
Processing 62/81: [dune-configurator: rm] [integers: dune build] [yojson: dune build]
Processing 63/81: [dune-configurator: rm] [integers: dune build] [ppxlib: dune build] [yojson: dune build]
-> retrieved zarith.1.13 (cached)
Processing 64/81: [dune-configurator: rm] [integers: dune build] [ppxlib: dune build] [yojson: dune build] [zarith: ./configure]
-> compiled yojson.2.2.2
Processing 64/81: [dune-configurator: rm] [integers: dune build] [ppxlib: dune build] [zarith: ./configure]
-> installed yojson.2.2.2
Processing 65/81: [dune-configurator: rm] [integers: dune build] [ppxlib: dune build] [zarith: ./configure]
Processing 65/81: [dune-configurator: dune build] [integers: dune build] [ppxlib: dune build] [zarith: ./configure]
- binary ocaml: found in /home/opam/.opam/5.1/bin
- binary ocamlc: found in /home/opam/.opam/5.1/bin
- binary ocamldep: found in /home/opam/.opam/5.1/bin
- binary ocamlmklib: found in /home/opam/.opam/5.1/bin
- binary ocamldoc: found in /home/opam/.opam/5.1/bin
- binary ocamlopt: found in /home/opam/.opam/5.1/bin
- checking compilation with ocamlc -O3 -Wall -Wextra : working
- include caml/mlvalues.h: found
- library dynlink.cmxa: found
- binary ocamlfind: found in /home/opam/.opam/5.1/bin
- OCaml's word size is 64
- package gmp: found
- OCaml supports -bin-annot to produce documentation
-
- detected configuration:
-
- native-code: yes
- dynamic linking: yes
- defines: -DHAS_GMP
- includes: -I/home/opam/.opam/5.1/lib/ocaml
- libraries: -lgmp
- linker options:
- C options: -O3 -Wall -Wextra
- installation path: /home/opam/.opam/5.1/lib
- installation method findlib
-
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
Processing 65/81: [dune-configurator: dune build] [integers: dune build] [ppxlib: dune build] [zarith: make]
-> compiled integers.0.7.0
Processing 65/81: [dune-configurator: dune build] [ppxlib: dune build] [zarith: make]
-> installed integers.0.7.0
Processing 66/81: [dune-configurator: dune build] [ppxlib: dune build] [zarith: make]
-> compiled dune-configurator.3.16.0
Processing 66/81: [ppxlib: dune build] [zarith: make]
-> installed dune-configurator.3.16.0
Processing 67/81: [ppxlib: dune build] [zarith: make]
Processing 68/81: [ctypes: dune build] [ppxlib: dune build] [zarith: make]
- (echo "let"; grep "version" META | head -1) > zarith_version.ml
- ocamldep zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend
- ocamlc -g -I +compiler-libs -bin-annot -c zarith_version.ml
- ocamlc -g -I +compiler-libs -bin-annot -c z.mli
- ocamlc -g -I +compiler-libs -bin-annot -c z.ml
- ocamlc -g -I +compiler-libs -bin-annot -c q.mli
- ocamlc -g -I +compiler-libs -bin-annot -c q.ml
- ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.mli
- ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.ml
- ocamlmklib -g -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -lgmp
- ocamlc -ccopt "-I/home/opam/.opam/5.1/lib/ocaml -DHAS_GMP -O3 -Wall -Wextra " -c caml_z.c
- ocamlmklib -g -failsafe -o zarith caml_z.o -lgmp
- ocamlc -g -I +compiler-libs -bin-annot -c zarith_top.ml
- ocamlc -g -o zarith_top.cma -a zarith_top.cmo
- ocamlopt -g -I +compiler-libs -c zarith_version.ml
- ocamlopt -g -I +compiler-libs -c z.ml
- ocamlopt -g -I +compiler-libs -c q.ml
- ocamlopt -g -I +compiler-libs -c big_int_Z.ml
- ocamlmklib -g -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -lgmp
- ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall
-> compiled zarith.1.13
Processing 68/81: [ctypes: dune build] [ppxlib: dune build]
Processing 69/81: [ctypes: dune build] [ppxlib: dune build] [zarith: make install]
- ocamlfind install -destdir "/home/opam/.opam/5.1/lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa zarith_version.cmx z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so
- Installed /home/opam/.opam/5.1/lib/zarith/big_int_Z.cmti
- Installed /home/opam/.opam/5.1/lib/zarith/q.cmti
- Installed /home/opam/.opam/5.1/lib/zarith/z.cmti
- Installed /home/opam/.opam/5.1/lib/zarith/zarith.a
- Installed /home/opam/.opam/5.1/lib/zarith/big_int_Z.mli
- Installed /home/opam/.opam/5.1/lib/zarith/q.mli
- Installed /home/opam/.opam/5.1/lib/zarith/zarith.h
- Installed /home/opam/.opam/5.1/lib/zarith/zarith.cmxs
- Installed /home/opam/.opam/5.1/lib/zarith/big_int_Z.cmx
- Installed /home/opam/.opam/5.1/lib/zarith/q.cmx
- Installed /home/opam/.opam/5.1/lib/zarith/z.cmx
- Installed /home/opam/.opam/5.1/lib/zarith/zarith_version.cmx
- Installed /home/opam/.opam/5.1/lib/zarith/zarith.cmxa
- Installed /home/opam/.opam/5.1/lib/zarith/z.mli
- Installed /home/opam/.opam/5.1/lib/zarith/zarith_top.cma
- Installed /home/opam/.opam/5.1/lib/zarith/big_int_Z.cmi
- Installed /home/opam/.opam/5.1/lib/zarith/q.cmi
- Installed /home/opam/.opam/5.1/lib/zarith/z.cmi
- Installed /home/opam/.opam/5.1/lib/zarith/libzarith.a
- Installed /home/opam/.opam/5.1/lib/zarith/zarith.cma
- Installed /home/opam/.opam/5.1/lib/stublibs/dllzarith.so
- Installed /home/opam/.opam/5.1/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/5.1/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/5.1/lib/zarith/META
-> installed zarith.1.13
Processing 69/81: [ctypes: dune build] [ppxlib: dune build]
Processing 69/81: [ctypes: dune install] [ppxlib: dune build]
-> compiled ctypes.0.22.0
Processing 69/81: [ppxlib: dune build]
-> installed ctypes.0.22.0
Processing 70/81: [ppxlib: dune build]
Processing 71/81: [ctypes-foreign: dune build] [ppxlib: dune build]
Processing 71/81: [ctypes-foreign: dune install] [ppxlib: dune build]
-> compiled ctypes-foreign.0.22.0
Processing 71/81: [ppxlib: dune build]
-> installed ctypes-foreign.0.22.0
Processing 72/81: [ppxlib: dune build]
+ /home/opam/.opam/5.1/bin/dune "build" "-p" "ppxlib" "-j" "39" "@install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/ppxlib.0.32.1)
-> compiled ppxlib.0.32.1
-> installed ppxlib.0.32.1
Processing 74/81: [ppx_deriving: dune build]
+ /home/opam/.opam/5.1/bin/dune "build" "-p" "ppx_deriving" "-j" "39" (CWD=/home/opam/.opam/5.1/.opam-switch/build/ppx_deriving.6.0.2)
-> compiled ppx_deriving.6.0.2
-> installed ppx_deriving.6.0.2
Processing 76/81: [ppx_deriving_yojson: dune build]
+ /home/opam/.opam/5.1/bin/dune "build" "-p" "ppx_deriving_yojson" "-j" "39" (CWD=/home/opam/.opam/5.1/.opam-switch/build/ppx_deriving_yojson.3.8.0)
-> compiled ppx_deriving_yojson.3.8.0
-> installed ppx_deriving_yojson.3.8.0
Processing 78/81: [goblint-cil: dune build]
+ /home/opam/.opam/5.1/bin/dune "build" "-p" "goblint-cil" "-j" "39" "@install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/goblint-cil.2.0.3)
- (cd _build/default && /home/opam/.opam/5.1/bin/ocamlyacc src/frontc/cparser.mly)
- 1 shift/reduce conflict, 1 reduce/reduce conflict.
- (cd _build/default/src && /home/opam/.opam/5.1/bin/cppo -V OCAML:5.1.1 machdep.cppo.ml -x machdep:./machdep-ml.exe -o machdep.ml)
- Generating machine dependency information for CIL
-> compiled goblint-cil.2.0.3
-> installed goblint-cil.2.0.3
Processing 80/81: [imguiml: dune build]
+ /home/opam/.opam/5.1/bin/dune "build" "-p" "imguiml" "-j" "39" "@install" (CWD=/home/opam/.opam/5.1/.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 12.2.0
- -- The CXX compiler identification is GNU 12.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
- -- Generating done
- -- Build files have been written to: /home/opam/.opam/5.1/.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/5.1/lib/ocaml -I/home/opam/.opam/5.1/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 12.2.0
- -- The CXX compiler identification is GNU 12.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
- -- Generating done
- -- Build files have been written to: /home/opam/.opam/5.1/.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 12.2.0
- -- The CXX compiler identification is GNU 12.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
- -- Found GLEW: /usr/include (found version "2.2.0")
- -- Configuring done
- -- Generating done
- -- Build files have been written to: /home/opam/.opam/5.1/.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 12.2.0
- -- The CXX compiler identification is GNU 12.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
- -- Found GLEW: /usr/include (found version "2.2.0")
- -- Configuring done
- -- Generating done
- -- Build files have been written to: /home/opam/.opam/5.1/.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".
#=== ERROR while compiling imguiml.v1.90.6 ====================================#
# context 2.1.6 | linux/x86_64 | ocaml-base-compiler.5.1.1 | file:///src
# path ~/.opam/5.1/.opam-switch/build/imguiml.v1.90.6
# command ~/.opam/5.1/bin/dune build -p imguiml -j 39 @install
# exit-code 1
# env-file ~/.opam/log/imguiml-113-f6f175.env
# output-file ~/.opam/log/imguiml-113-f6f175.out
### output ###
# (cd _build/default/cimgui/cimgui/build_static && /usr/bin/cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo -DIMGUI_STATIC=yes ..)
# -- The C compiler identification is GNU 12.2.0
# -- The CXX compiler identification is GNU 12.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
# -- Generating done
# -- Build files have been written to: /home/opam/.opam/5.1/.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/5.1/lib/ocaml -I/home/opam/.opam/5.1/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 12.2.0
# -- The CXX compiler identification is GNU 12.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
# -- Generating done
# -- Build files have been written to: /home/opam/.opam/5.1/.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 12.2.0
# -- The CXX compiler identification is GNU 12.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
# -- Found GLEW: /usr/include (found version "2.2.0")
# -- Configuring done
# -- Generating done
# -- Build files have been written to: /home/opam/.opam/5.1/.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 12.2.0
# -- The CXX compiler identification is GNU 12.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
# -- Found GLEW: /usr/include (found version "2.2.0")
# -- Configuring done
# -- Generating done
# -- Build files have been written to: /home/opam/.opam/5.1/.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 report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build imguiml v1.90.6
+-
+- The following changes have been performed
| - install bigarray-compat 1.1.0
| - install conf-cmake 1
| - install conf-gcc 1.0
| - install conf-glew 1
| - install conf-glfw3 2
| - install conf-gmp 4
| - install conf-libffi 2.0.0
| - install conf-perl 2
| - install conf-pkg-config 3
| - install cppo 1.6.9
| - install csexp 1.5.2
| - install ctypes 0.22.0
| - install ctypes-foreign 0.22.0
| - install dune-configurator 3.16.0
| - install goblint-cil 2.0.3
| - install integers 0.7.0
| - install ocaml-compiler-libs v0.12.4
| - install ppx_derivers 1.2.1
| - install ppx_deriving 6.0.2
| - install ppx_deriving_yojson 3.8.0
| - install ppxlib 0.32.1
| - install seq base
| - install sexplib0 v0.17.0
| - install stdlib-shims 0.3.0
| - install yojson 2.2.2
| - install zarith 1.13
+-
# Run eval $(opam env) to update the current shell environment
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20240725100212.export"
'opam --cli=2.1 install imguiml.v1.90.6 zarith.1.13 yojson.2.2.2 stdlib-shims.0.3.0 sexplib0.v0.17.0 seq.base ppxlib.0.32.1 ppx_deriving_yojson.3.8.0 ppx_deriving.6.0.2 ppx_derivers.1.2.1 ocamlfind.1.9.6 ocaml-compiler-libs.v0.12.4 integers.0.7.0 host-arch-x86_64.1 goblint-cil.2.0.3 dune-configurator.3.16.0 dune.3.16.0 ctypes-foreign.0.22.0 ctypes.0.22.0 csexp.1.5.2 cppo.1.6.9 conf-pkg-config.3 conf-perl.2 conf-libffi.2.0.0 conf-gmp.4 conf-glfw3.2 conf-glew.1 conf-gcc.1.0 conf-cmake.1 bigarray-compat.1.1.0 --verbose --yes --confirm-level=unsafe-yes' failed.
On This Page