Build:
- 0
2026-06-24 11:08.59: New job: build glpk.0.1.8 (517c30cd277e)
2026-06-24 11:08.59: Waiting for resource in pool day11-builds
2026-06-24 11:29.25: Got resource from pool day11-builds
2026-06-24 11:29.25: [profile full] build glpk.0.1.8
2026-06-24 11:29.25: build glpk.0.1.8 (517c30cd277e)
=== DEPENDENCIES (5 transitive) ===
compiler-cloning.enabled 439a1fc77aa6
ocaml.5.5.0 383268832c4b
ocaml-base-compiler.5.5.0 522c248944c8
ocaml-compiler.5.5.0 eb1a8babf54c
ocamlfind.1.9.8 b506a15fcd6c
=== STDOUT ===
Processing: [default: loading data]
The following system packages will first need to be installed:
libglpk-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libglpk-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libsuitesparseconfig5: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 ... 18247 files and directories currently installed.)
- Preparing to unpack .../00-libsuitesparseconfig5_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libsuitesparseconfig5:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libamd2:amd64.
- Preparing to unpack .../01-libamd2_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libamd2:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libblas3:amd64.
- Preparing to unpack .../02-libblas3_3.11.0-2_amd64.deb ...
- Unpacking libblas3:amd64 (3.11.0-2) ...
- Selecting previously unselected package libblas-dev:amd64.
- Preparing to unpack .../03-libblas-dev_3.11.0-2_amd64.deb ...
- Unpacking libblas-dev:amd64 (3.11.0-2) ...
- Selecting previously unselected package libbtf1:amd64.
- Preparing to unpack .../04-libbtf1_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libbtf1:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libcamd2:amd64.
- Preparing to unpack .../05-libcamd2_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libcamd2:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libccolamd2:amd64.
- Preparing to unpack .../06-libccolamd2_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libccolamd2:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libcolamd2:amd64.
- Preparing to unpack .../07-libcolamd2_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libcolamd2:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libgfortran5:amd64.
- Preparing to unpack .../08-libgfortran5_12.2.0-14+deb12u1_amd64.deb ...
- Unpacking libgfortran5:amd64 (12.2.0-14+deb12u1) ...
- Selecting previously unselected package liblapack3:amd64.
- Preparing to unpack .../09-liblapack3_3.11.0-2_amd64.deb ...
- Unpacking liblapack3:amd64 (3.11.0-2) ...
- Selecting previously unselected package libmetis5:amd64.
- Preparing to unpack .../10-libmetis5_5.1.0.dfsg-7_amd64.deb ...
- Unpacking libmetis5:amd64 (5.1.0.dfsg-7) ...
- Selecting previously unselected package libcholmod3:amd64.
- Preparing to unpack .../11-libcholmod3_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libcholmod3:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libcxsparse3:amd64.
- Preparing to unpack .../12-libcxsparse3_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libcxsparse3:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libltdl7:amd64.
- Preparing to unpack .../13-libltdl7_2.4.7-7~deb12u1_amd64.deb ...
- Unpacking libltdl7:amd64 (2.4.7-7~deb12u1) ...
- Selecting previously unselected package libglpk40:amd64.
- Preparing to unpack .../14-libglpk40_5.0-1_amd64.deb ...
- Unpacking libglpk40:amd64 (5.0-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../15-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 .../16-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 zlib1g-dev:amd64.
- Preparing to unpack .../17-zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Selecting previously unselected package libklu1:amd64.
- Preparing to unpack .../18-libklu1_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libklu1:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libldl2:amd64.
- Preparing to unpack .../19-libldl2_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libldl2:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libmongoose2:amd64.
- Preparing to unpack .../20-libmongoose2_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libmongoose2:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libumfpack5:amd64.
- Preparing to unpack .../21-libumfpack5_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libumfpack5:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package librbio2:amd64.
- Preparing to unpack .../22-librbio2_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking librbio2:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libspqr2:amd64.
- Preparing to unpack .../23-libspqr2_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libspqr2:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libsliplu1:amd64.
- Preparing to unpack .../24-libsliplu1_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libsliplu1:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package liblapack-dev:amd64.
- Preparing to unpack .../25-liblapack-dev_3.11.0-2_amd64.deb ...
- Unpacking liblapack-dev:amd64 (3.11.0-2) ...
- Selecting previously unselected package libsuitesparse-dev:amd64.
- Preparing to unpack .../26-libsuitesparse-dev_1%3a5.12.0+dfsg-2_amd64.deb ...
- Unpacking libsuitesparse-dev:amd64 (1:5.12.0+dfsg-2) ...
- Selecting previously unselected package libglpk-dev:amd64.
- Preparing to unpack .../27-libglpk-dev_5.0-1_amd64.deb ...
- Unpacking libglpk-dev:amd64 (5.0-1) ...
- Selecting previously unselected package libgraphblas7:amd64.
- Preparing to unpack .../28-libgraphblas7_7.4.0+dfsg-1_amd64.deb ...
- Unpacking libgraphblas7:amd64 (7.4.0+dfsg-1) ...
- Selecting previously unselected package libgraphblas-dev:amd64.
- Preparing to unpack .../29-libgraphblas-dev_7.4.0+dfsg-1_amd64.deb ...
- Unpacking libgraphblas-dev:amd64 (7.4.0+dfsg-1) ...
- Setting up libldl2:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libgraphblas7:amd64 (7.4.0+dfsg-1) ...
- Setting up libmetis5:amd64 (5.1.0.dfsg-7) ...
- Setting up libbtf1:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libgraphblas-dev:amd64 (7.4.0+dfsg-1) ...
- Setting up libblas3:amd64 (3.11.0-2) ...
- update-alternatives: using /usr/lib/x86_64-linux-gnu/blas/libblas.so.3 to provide /usr/lib/x86_64-linux-gnu/libblas.so.3 (libblas.so.3-x86_64-linux-gnu) in auto mode
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libltdl7:amd64 (2.4.7-7~deb12u1) ...
- Setting up libgfortran5:amd64 (12.2.0-14+deb12u1) ...
- Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Setting up libcxsparse3:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libsuitesparseconfig5:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libblas-dev:amd64 (3.11.0-2) ...
- update-alternatives: using /usr/lib/x86_64-linux-gnu/blas/libblas.so to provide /usr/lib/x86_64-linux-gnu/libblas.so (libblas.so-x86_64-linux-gnu) in auto mode
- Setting up librbio2:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libamd2:amd64 (1:5.12.0+dfsg-2) ...
- Setting up liblapack3:amd64 (3.11.0-2) ...
- update-alternatives: using /usr/lib/x86_64-linux-gnu/lapack/liblapack.so.3 to provide /usr/lib/x86_64-linux-gnu/liblapack.so.3 (liblapack.so.3-x86_64-linux-gnu) in auto mode
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libcolamd2:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libsliplu1:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libcamd2:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libmongoose2:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libglpk40:amd64 (5.0-1) ...
- Setting up liblapack-dev:amd64 (3.11.0-2) ...
- update-alternatives: using /usr/lib/x86_64-linux-gnu/lapack/liblapack.so to provide /usr/lib/x86_64-linux-gnu/liblapack.so (liblapack.so-x86_64-linux-gnu) in auto mode
- Setting up libklu1:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libccolamd2:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libcholmod3:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libspqr2:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libumfpack5:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libsuitesparse-dev:amd64 (1:5.12.0+dfsg-2) ...
- Setting up libglpk-dev:amd64 (5.0-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u14) ...
[glpk.0.1.8: dl]
[glpk.0.1.8: extract]
-> retrieved glpk.0.1.8 (https://opam.ocaml.org/cache)
[glpk: rm]
+ /usr/bin/rm "src/oldapi/lpx.o" (CWD=/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8)
[glpk: make byte]
+ /usr/bin/make "byte" "opt" (CWD=/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8)
- make -C src byte
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
- make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
- making ._bcdi/glpk.di from glpk.mli
- making ._d/glpk.d from glpk.ml
- ocamlc -c -cc "cc" -ccopt "-fPIC -Wall -DCAML_NAME_SPACE -g \
- -DPIC \
- -Ioldapi/ -o oldapi/lpx.o " oldapi/lpx.c
- ocamlc -c -cc "cc" -ccopt "-fPIC -Wall -DCAML_NAME_SPACE -g \
- -DPIC \
- -Ioldapi/ -o glpk_stubs.o " glpk_stubs.c
- ar rcs libglpk_stubs.a oldapi/lpx.o glpk_stubs.o
- ocamlc -c -dtypes -I oldapi/ glpk.mli
- ocamlc -c -dtypes -I oldapi/ glpk.ml
- ocamlmklib -I oldapi/ -Loldapi/ \
- -o glpk_stubs oldapi/lpx.o glpk_stubs.o -lglpk \
-
- ocamlc -a -dllib dllglpk_stubs.so -custom -I oldapi/ -ccopt -Loldapi/ \
- -cclib -lglpk_stubs -cclib -lglpk -o glpk.cma glpk.cmo
- make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
- make -C src opt
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
- make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
- making ._ncdi/glpk.di from glpk.mli
- make[2]: 'libglpk_stubs.a' is up to date.
- ocamlopt -c -dtypes -I oldapi/ glpk.ml
- ocamlopt -a -I oldapi/ -ccopt -Loldapi/ -cclib -lglpk_stubs -cclib -lglpk \
- -o glpk.cmxa glpk.cmx
- make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
-> compiled glpk.0.1.8
[glpk: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
- make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
- make[2]: 'libglpk_stubs.a' is up to date.
- make[2]: 'glpk.cma' is up to date.
- make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
-
- Installing library with ocamlfind
- ocamlfind install glpk META glpk.mli glpk.cmi glpk.cma glpk.cmxa glpk.a libglpk_stubs.a dllglpk_stubs.so
- Installed /home/opam/.opam/default/lib/glpk/libglpk_stubs.a
- Installed /home/opam/.opam/default/lib/glpk/glpk.a
- Installed /home/opam/.opam/default/lib/glpk/glpk.cmxa
- Installed /home/opam/.opam/default/lib/glpk/glpk.cma
- Installed /home/opam/.opam/default/lib/glpk/glpk.cmi
- Installed /home/opam/.opam/default/lib/glpk/glpk.mli
- Installed /home/opam/.opam/default/lib/stublibs/dllglpk_stubs.so
- Installed /home/opam/.opam/default/lib/stublibs/dllglpk_stubs.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/default/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/default/lib/glpk/META
-
- Installation successful.
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/glpk.0.1.8/src'
-> installed glpk.0.1.8
=== STDERR ===
2026-06-24 11:30.05: OK: build glpk.0.1.8 (runc: 13.7s, disk: 0KB)
2026-06-24 11:30.05: Job succeeded