Build:
- 0
2026-09-04 15:41.32: New job: build glpk.0.1.8 (f5ddb476b11e)
2026-09-04 15:41.32: Waiting for resource in pool day11-builds
2026-09-04 15:43.33: Got resource from pool day11-builds
2026-09-04 15:43.33: [profile full] build glpk.0.1.8
2026-09-04 15:43.33: build glpk.0.1.8 (f5ddb476b11e)
=== DEPENDENCIES (5 transitive) ===
compiler-cloning.enabled 966a2e6839f0
ocaml.5.5.1 70ca0c66e0e8
ocaml-base-compiler.5.5.1 59841d7ed85e
ocaml-compiler.5.5.1 492c0c740bd1
ocamlfind.1.9.9~preview 5e0261154b58
=== 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"
- Selecting previously unselected package libsuitesparseconfig7: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 ... 20117 files and directories currently installed.)
- Preparing to unpack .../00-libsuitesparseconfig7_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libsuitesparseconfig7:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libamd3:amd64.
- Preparing to unpack .../01-libamd3_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libamd3:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libblas3:amd64.
- Preparing to unpack .../02-libblas3_3.12.1-6_amd64.deb ...
- Unpacking libblas3:amd64 (3.12.1-6) ...
- Selecting previously unselected package libblas-dev:amd64.
- Preparing to unpack .../03-libblas-dev_3.12.1-6_amd64.deb ...
- Unpacking libblas-dev:amd64 (3.12.1-6) ...
- Selecting previously unselected package libbtf2:amd64.
- Preparing to unpack .../04-libbtf2_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libbtf2:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libcamd3:amd64.
- Preparing to unpack .../05-libcamd3_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libcamd3:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libccolamd3:amd64.
- Preparing to unpack .../06-libccolamd3_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libccolamd3:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libcolamd3:amd64.
- Preparing to unpack .../07-libcolamd3_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libcolamd3:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libgfortran5:amd64.
- Preparing to unpack .../08-libgfortran5_14.2.0-19_amd64.deb ...
- Unpacking libgfortran5:amd64 (14.2.0-19) ...
- Selecting previously unselected package liblapack3:amd64.
- Preparing to unpack .../09-liblapack3_3.12.1-6_amd64.deb ...
- Unpacking liblapack3:amd64 (3.12.1-6) ...
- Selecting previously unselected package libcholmod5:amd64.
- Preparing to unpack .../10-libcholmod5_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libcholmod5:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libcxsparse4:amd64.
- Preparing to unpack .../11-libcxsparse4_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libcxsparse4:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libltdl7:amd64.
- Preparing to unpack .../12-libltdl7_2.5.4-4_amd64.deb ...
- Unpacking libltdl7:amd64 (2.5.4-4) ...
- Selecting previously unselected package libglpk40:amd64.
- Preparing to unpack .../13-libglpk40_5.0-1+b2_amd64.deb ...
- Unpacking libglpk40:amd64 (5.0-1+b2) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../14-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../15-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../16-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
- Selecting previously unselected package libklu2:amd64.
- Preparing to unpack .../17-libklu2_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libklu2:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libldl3:amd64.
- Preparing to unpack .../18-libldl3_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libldl3:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libsuitesparse-mongoose3:amd64.
- Preparing to unpack .../19-libsuitesparse-mongoose3_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libsuitesparse-mongoose3:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libumfpack6:amd64.
- Preparing to unpack .../20-libumfpack6_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libumfpack6:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package librbio4:amd64.
- Preparing to unpack .../21-librbio4_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking librbio4:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libspqr4:amd64.
- Preparing to unpack .../22-libspqr4_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libspqr4:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libspex3:amd64.
- Preparing to unpack .../23-libspex3_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libspex3:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libparu1:amd64.
- Preparing to unpack .../24-libparu1_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libparu1:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package liblapack-dev:amd64.
- Preparing to unpack .../25-liblapack-dev_3.12.1-6_amd64.deb ...
- Unpacking liblapack-dev:amd64 (3.12.1-6) ...
- Selecting previously unselected package libsuitesparse-dev:amd64.
- Preparing to unpack .../26-libsuitesparse-dev_1%3a7.10.1+dfsg-1_amd64.deb ...
- Unpacking libsuitesparse-dev:amd64 (1:7.10.1+dfsg-1) ...
- Selecting previously unselected package libglpk-dev:amd64.
- Preparing to unpack .../27-libglpk-dev_5.0-1+b2_amd64.deb ...
- Unpacking libglpk-dev:amd64 (5.0-1+b2) ...
- Selecting previously unselected package libgraphblas7:amd64.
- Preparing to unpack .../28-libgraphblas7_7.4.0+dfsg-2_amd64.deb ...
- Unpacking libgraphblas7:amd64 (7.4.0+dfsg-2) ...
- Selecting previously unselected package libgraphblas-dev:amd64.
- Preparing to unpack .../29-libgraphblas-dev_7.4.0+dfsg-2_amd64.deb ...
- Unpacking libgraphblas-dev:amd64 (7.4.0+dfsg-2) ...
- Setting up libgraphblas7:amd64 (7.4.0+dfsg-2) ...
- Setting up libldl3:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libbtf2:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libgraphblas-dev:amd64 (7.4.0+dfsg-2) ...
- Setting up libblas3:amd64 (3.12.1-6) ...
- 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.3.0+dfsg-3) ...
- Setting up libltdl7:amd64 (2.5.4-4) ...
- Setting up libgfortran5:amd64 (14.2.0-19) ...
- Setting up zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
- Setting up libsuitesparseconfig7:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libblas-dev:amd64 (3.12.1-6) ...
- 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 liblapack3:amd64 (3.12.1-6) ...
- 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.3.0+dfsg-3) ...
- Setting up libamd3:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libcolamd3:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libspex3:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libsuitesparse-mongoose3:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libcxsparse4:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libcamd3:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libglpk40:amd64 (5.0-1+b2) ...
- Setting up librbio4:amd64 (1:7.10.1+dfsg-1) ...
- Setting up liblapack-dev:amd64 (3.12.1-6) ...
- 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 libccolamd3:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libcholmod5:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libspqr4:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libklu2:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libumfpack6:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libparu1:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libsuitesparse-dev:amd64 (1:7.10.1+dfsg-1) ...
- Setting up libglpk-dev:amd64 (5.0-1+b2) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
[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 ._d/glpk.d from glpk.ml
- making ._bcdi/glpk.di from glpk.mli
- OCamlMakefile:1035: warning: pattern recipe did not update peer target '._ncdi/glpk.di'.
- 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
- 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-09-04 15:43.58: OK: build glpk.0.1.8 (runc: 17.7s, disk: 0KB)
2026-09-04 15:43.58: Job succeeded