Building on x86-bm-4.ocamllabs.io
(from ocaml/opam:debian-unstable)
2021-12-03 06:06.01 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
2021-12-03 06:06.01 ---> using "4d29eb3e0b7cd69a97ed90837671d5ca38aa41e2fb94346298af500378eca6fa" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q b1ed080260d9fb3332ffd1ed74a70b40f8d46d66"))
2021-12-03 06:06.01 ---> using "470a5139cd314c308ef6f8a7115ce3eecbef27ce3b36ad57c590d49c448a8f62" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2021-12-03 06:06.01 ---> using "6ff696b0fce120bd80d73dc055775d9b6cd971171da508a2aeef8fc7d75ea210" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.12' '4.12.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.12.1"} | "ocaml-system" {= "4.12.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.12.1 (cached)
-> installed ocaml-base-compiler.4.12.1
-> installed ocaml-config.2
-> installed ocaml.4.12.1
Done.
# Run eval $(opam env --switch=4.12) to update the current shell environment
2021-12-03 06:06.01 ---> using "ca7b6caf7a46ddb28076c5a6f691f2d0763957be051563a9718de14fdb1c5ef8" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [165 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8877 kB]
- Fetched 9106 kB in 3s (2740 kB/s)
- Reading package lists...
-
2021-12-03 06:06.01 ---> using "ad5cb488dd2cd44108a641e9f4b1b432ff2c0ea292d3a55069379dafdf4023b1" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"conf-glpk.1\"\
\nopam install -vy \"conf-glpk.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"conf-glpk.1\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] conf-glpk.1 is not installed.
Nothing to do.
The following actions will be performed:
- install conf-glpk 1
The following system packages will first need to be installed:
libglpk-dev
<><> 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" "libglpk-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- (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 ... 18105 files and directories currently installed.)
- Preparing to unpack .../0-libcc1-0_11.2.0-12_amd64.deb ...
- Unpacking libcc1-0:amd64 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../1-libgomp1_11.2.0-12_amd64.deb ...
- Unpacking libgomp1:amd64 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../2-libitm1_11.2.0-12_amd64.deb ...
- Unpacking libitm1:amd64 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../3-libatomic1_11.2.0-12_amd64.deb ...
- Unpacking libatomic1:amd64 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../4-libasan6_11.2.0-12_amd64.deb ...
- Unpacking libasan6:amd64 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../5-liblsan0_11.2.0-12_amd64.deb ...
- Unpacking liblsan0:amd64 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../6-libtsan0_11.2.0-12_amd64.deb ...
- Unpacking libtsan0:amd64 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../7-libubsan1_11.2.0-12_amd64.deb ...
- Unpacking libubsan1:amd64 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../8-libquadmath0_11.2.0-12_amd64.deb ...
- Unpacking libquadmath0:amd64 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../9-gcc-11-base_11.2.0-12_amd64.deb ...
- Unpacking gcc-11-base:amd64 (11.2.0-12) over (11.2.0-10) ...
- Setting up gcc-11-base:amd64 (11.2.0-12) ...
- (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 ... 18104 files and directories currently installed.)
- Preparing to unpack .../libstdc++6_11.2.0-12_amd64.deb ...
- Unpacking libstdc++6:amd64 (11.2.0-12) over (11.2.0-10) ...
- Setting up libstdc++6:amd64 (11.2.0-12) ...
- (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 ... 18104 files and directories currently installed.)
- Preparing to unpack .../0-g++-11_11.2.0-12_amd64.deb ...
- Unpacking g++-11 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../1-libstdc++-11-dev_11.2.0-12_amd64.deb ...
- Unpacking libstdc++-11-dev:amd64 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../2-libgcc-11-dev_11.2.0-12_amd64.deb ...
- Unpacking libgcc-11-dev:amd64 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../3-gcc-11_11.2.0-12_amd64.deb ...
- Unpacking gcc-11 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../4-cpp-11_11.2.0-12_amd64.deb ...
- Unpacking cpp-11 (11.2.0-12) over (11.2.0-10) ...
- Preparing to unpack .../5-libgcc-s1_11.2.0-12_amd64.deb ...
- Unpacking libgcc-s1:amd64 (11.2.0-12) over (11.2.0-10) ...
- Setting up libgcc-s1:amd64 (11.2.0-12) ...
- (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 ... 18107 files and directories currently installed.)
- Preparing to unpack .../libgmp10_2%3a6.2.1+dfsg-3_amd64.deb ...
- Unpacking libgmp10:amd64 (2:6.2.1+dfsg-3) over (2:6.2.1+dfsg-2) ...
- Setting up libgmp10:amd64 (2:6.2.1+dfsg-3) ...
- 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 ... 18107 files and directories currently installed.)
- Preparing to unpack .../00-libsuitesparseconfig5_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libsuitesparseconfig5:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libamd2:amd64.
- Preparing to unpack .../01-libamd2_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libamd2:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libblas3:amd64.
- Preparing to unpack .../02-libblas3_3.10.0-1_amd64.deb ...
- Unpacking libblas3:amd64 (3.10.0-1) ...
- Selecting previously unselected package libblas-dev:amd64.
- Preparing to unpack .../03-libblas-dev_3.10.0-1_amd64.deb ...
- Unpacking libblas-dev:amd64 (3.10.0-1) ...
- Selecting previously unselected package libbtf1:amd64.
- Preparing to unpack .../04-libbtf1_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libbtf1:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libcamd2:amd64.
- Preparing to unpack .../05-libcamd2_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libcamd2:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libccolamd2:amd64.
- Preparing to unpack .../06-libccolamd2_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libccolamd2:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libcolamd2:amd64.
- Preparing to unpack .../07-libcolamd2_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libcolamd2:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libgfortran5:amd64.
- Preparing to unpack .../08-libgfortran5_11.2.0-12_amd64.deb ...
- Unpacking libgfortran5:amd64 (11.2.0-12) ...
- Selecting previously unselected package liblapack3:amd64.
- Preparing to unpack .../09-liblapack3_3.10.0-1_amd64.deb ...
- Unpacking liblapack3:amd64 (3.10.0-1) ...
- 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.10.1+dfsg-3_amd64.deb ...
- Unpacking libcholmod3:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libcxsparse3:amd64.
- Preparing to unpack .../12-libcxsparse3_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libcxsparse3:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libltdl7:amd64.
- Preparing to unpack .../13-libltdl7_2.4.6-15_amd64.deb ...
- Unpacking libltdl7:amd64 (2.4.6-15) ...
- 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+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../16-libgmp-dev_2%3a6.2.1+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-3) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../17-zlib1g-dev_1%3a1.2.11.dfsg-2_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.11.dfsg-2) ...
- Selecting previously unselected package libklu1:amd64.
- Preparing to unpack .../18-libklu1_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libklu1:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libldl2:amd64.
- Preparing to unpack .../19-libldl2_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libldl2:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libmongoose2:amd64.
- Preparing to unpack .../20-libmongoose2_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libmongoose2:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libumfpack5:amd64.
- Preparing to unpack .../21-libumfpack5_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libumfpack5:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package librbio2:amd64.
- Preparing to unpack .../22-librbio2_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking librbio2:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libspqr2:amd64.
- Preparing to unpack .../23-libspqr2_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libspqr2:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package libsliplu1:amd64.
- Preparing to unpack .../24-libsliplu1_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libsliplu1:amd64 (1:5.10.1+dfsg-3) ...
- Selecting previously unselected package liblapack-dev:amd64.
- Preparing to unpack .../25-liblapack-dev_3.10.0-1_amd64.deb ...
- Unpacking liblapack-dev:amd64 (3.10.0-1) ...
- Selecting previously unselected package libsuitesparse-dev:amd64.
- Preparing to unpack .../26-libsuitesparse-dev_1%3a5.10.1+dfsg-3_amd64.deb ...
- Unpacking libsuitesparse-dev:amd64 (1:5.10.1+dfsg-3) ...
- 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) ...
- Setting up cpp-11 (11.2.0-12) ...
- Setting up libldl2:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libmetis5:amd64 (5.1.0.dfsg-7) ...
- Setting up libgomp1:amd64 (11.2.0-12) ...
- Setting up libbtf1:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libasan6:amd64 (11.2.0-12) ...
- Setting up libblas3:amd64 (3.10.0-1) ...
- 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+dfsg-3) ...
- Setting up libquadmath0:amd64 (11.2.0-12) ...
- Setting up libatomic1:amd64 (11.2.0-12) ...
- Setting up libltdl7:amd64 (2.4.6-15) ...
- Setting up libgfortran5:amd64 (11.2.0-12) ...
- Setting up libubsan1:amd64 (11.2.0-12) ...
- Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-2) ...
- Setting up libcxsparse3:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libsuitesparseconfig5:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libcc1-0:amd64 (11.2.0-12) ...
- Setting up liblsan0:amd64 (11.2.0-12) ...
- Setting up libblas-dev:amd64 (3.10.0-1) ...
- 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 libitm1:amd64 (11.2.0-12) ...
- Setting up librbio2:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libtsan0:amd64 (11.2.0-12) ...
- Setting up libamd2:amd64 (1:5.10.1+dfsg-3) ...
- Setting up liblapack3:amd64 (3.10.0-1) ...
- 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+dfsg-3) ...
- Setting up libcolamd2:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libsliplu1:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libcamd2:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libmongoose2:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libglpk40:amd64 (5.0-1) ...
- Setting up liblapack-dev:amd64 (3.10.0-1) ...
- 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 libgcc-11-dev:amd64 (11.2.0-12) ...
- Setting up gcc-11 (11.2.0-12) ...
- Setting up libklu1:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libccolamd2:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libcholmod3:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libspqr2:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libumfpack5:amd64 (1:5.10.1+dfsg-3) ...
- Setting up libstdc++-11-dev:amd64 (11.2.0-12) ...
- Setting up libsuitesparse-dev:amd64 (1:5.10.1+dfsg-3) ...
- Setting up g++-11 (11.2.0-12) ...
- Setting up libglpk-dev:amd64 (5.0-1) ...
- Processing triggers for libc-bin (2.32-4) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/3: [conf-glpk: sh echo '#include <glpk.h>' > test.c]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-c" "echo '#include <glpk.h>' > test.c" (CWD=/home/opam/.opam/4.12/.opam-switch/build/conf-glpk.1)
Processing 2/3: [conf-glpk: cc test.c]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "cc" "-E" "test.c" (CWD=/home/opam/.opam/4.12/.opam-switch/build/conf-glpk.1)
- # 0 "test.c"
- # 0 "<built-in>"
- # 0 "<command-line>"
- # 1 "/usr/include/stdc-predef.h" 1 3 4
- # 0 "<command-line>" 2
- # 1 "test.c"
- # 1 "/usr/include/glpk.h" 1 3 4
- # 25 "/usr/include/glpk.h" 3 4
- # 1 "/usr/lib/gcc/x86_64-linux-gnu/11/include/stdarg.h" 1 3 4
- # 40 "/usr/lib/gcc/x86_64-linux-gnu/11/include/stdarg.h" 3 4
-
- # 40 "/usr/lib/gcc/x86_64-linux-gnu/11/include/stdarg.h" 3 4
- typedef __builtin_va_list __gnuc_va_list;
- # 99 "/usr/lib/gcc/x86_64-linux-gnu/11/include/stdarg.h" 3 4
- typedef __gnuc_va_list va_list;
- # 26 "/usr/include/glpk.h" 2 3 4
- # 1 "/usr/lib/gcc/x86_64-linux-gnu/11/include/stddef.h" 1 3 4
- # 143 "/usr/lib/gcc/x86_64-linux-gnu/11/include/stddef.h" 3 4
- typedef long int ptrdiff_t;
- # 209 "/usr/lib/gcc/x86_64-linux-gnu/11/include/stddef.h" 3 4
- typedef long unsigned int size_t;
- # 321 "/usr/lib/gcc/x86_64-linux-gnu/11/include/stddef.h" 3 4
- typedef int wchar_t;
- # 415 "/usr/lib/gcc/x86_64-linux-gnu/11/include/stddef.h" 3 4
- typedef struct {
- long long __max_align_ll __attribute__((__aligned__(__alignof__(long long))));
- long double __max_align_ld __attribute__((__aligned__(__alignof__(long double))));
- # 426 "/usr/lib/gcc/x86_64-linux-gnu/11/include/stddef.h" 3 4
- } max_align_t;
- # 27 "/usr/include/glpk.h" 2 3 4
- # 36 "/usr/include/glpk.h" 3 4
- typedef struct glp_prob glp_prob;
- # 82 "/usr/include/glpk.h" 3 4
- typedef struct
- {
- int msg_lev;
- int type;
-
-
-
-
-
-
-
- int lu_size;
- double piv_tol;
- int piv_lim;
- int suhl;
- double eps_tol;
- double max_gro;
- int nfs_max;
- double upd_tol;
- int nrs_max;
- int rs_size;
- double foo_bar[38];
- } glp_bfcp;
-
- typedef struct
- {
- int msg_lev;
-
-
-
-
-
- int meth;
-
-
-
- int pricing;
-
-
- int r_test;
-
-
-
-
-
- double tol_bnd;
- double tol_dj;
- double tol_piv;
- double obj_ll;
- double obj_ul;
- int it_lim;
- int tm_lim;
- int out_frq;
- int out_dly;
- int presolve;
-
- int excl;
- int shift;
- int aorn;
-
-
- double foo_bar[33];
-
- } glp_smcp;
-
- typedef struct
- {
- int msg_lev;
- int ord_alg;
-
-
-
-
- double foo_bar[48];
- } glp_iptcp;
-
- typedef struct glp_tree glp_tree;
-
-
- typedef struct
- {
- int msg_lev;
- int br_tech;
-
-
-
-
-
- int bt_tech;
-
-
-
-
- double tol_int;
- double tol_obj;
- int tm_lim;
- int out_frq;
- int out_dly;
- void (*cb_func)(glp_tree *T, void *info);
-
- void *cb_info;
- int cb_size;
- int pp_tech;
-
-
-
- double mip_gap;
- int mir_cuts;
- int gmi_cuts;
- int cov_cuts;
- int clq_cuts;
- int presolve;
- int binarize;
- int fp_heur;
- int ps_heur;
- int ps_tm_lim;
- int sr_heur;
-
- int use_sol;
- const char *save_sol;
- int alien;
-
-
- int flip;
-
- double foo_bar[23];
- } glp_iocp;
-
- typedef struct
- {
- int level;
-
- int origin;
-
-
-
-
- int klass;
-
-
-
-
-
- double foo_bar[7];
-
- } glp_attr;
- # 279 "/usr/include/glpk.h" 3 4
- typedef struct
- {
- int blank;
-
- char *obj_name;
-
- double tol_mps;
-
- double foo_bar[17];
-
- } glp_mpscp;
-
- typedef struct
- {
- double foo_bar[20];
-
- } glp_cpxcp;
-
-
- typedef struct glp_prep glp_prep;
-
-
-
- typedef struct glp_tran glp_tran;
-
-
- glp_prob *glp_create_prob(void);
-
-
- void glp_set_prob_name(glp_prob *P, const char *name);
-
-
- void glp_set_obj_name(glp_prob *P, const char *name);
-
-
- void glp_set_obj_dir(glp_prob *P, int dir);
-
-
- int glp_add_rows(glp_prob *P, int nrs);
-
-
- int glp_add_cols(glp_prob *P, int ncs);
-
-
- void glp_set_row_name(glp_prob *P, int i, const char *name);
-
-
- void glp_set_col_name(glp_prob *P, int j, const char *name);
-
-
- void glp_set_row_bnds(glp_prob *P, int i, int type, double lb,
- double ub);
-
-
- void glp_set_col_bnds(glp_prob *P, int j, int type, double lb,
- double ub);
-
-
- void glp_set_obj_coef(glp_prob *P, int j, double coef);
-
-
- void glp_set_mat_row(glp_prob *P, int i, int len, const int ind[],
- const double val[]);
-
-
- void glp_set_mat_col(glp_prob *P, int j, int len, const int ind[],
- const double val[]);
-
-
- void glp_load_matrix(glp_prob *P, int ne, const int ia[],
- const int ja[], const double ar[]);
-
-
- int glp_check_dup(int m, int n, int ne, const int ia[], const int ja[]);
-
-
- void glp_sort_matrix(glp_prob *P);
-
-
- void glp_del_rows(glp_prob *P, int nrs, const int num[]);
-
-
- void glp_del_cols(glp_prob *P, int ncs, const int num[]);
-
-
- void glp_copy_prob(glp_prob *dest, glp_prob *prob, int names);
-
-
- void glp_erase_prob(glp_prob *P);
-
-
- void glp_delete_prob(glp_prob *P);
-
-
- const char *glp_get_prob_name(glp_prob *P);
-
-
- const char *glp_get_obj_name(glp_prob *P);
-
-
- int glp_get_obj_dir(glp_prob *P);
-
-
- int glp_get_num_rows(glp_prob *P);
-
-
- int glp_get_num_cols(glp_prob *P);
-
-
- const char *glp_get_row_name(glp_prob *P, int i);
-
-
- const char *glp_get_col_name(glp_prob *P, int j);
-
-
- int glp_get_row_type(glp_prob *P, int i);
-
-
- double glp_get_row_lb(glp_prob *P, int i);
-
-
- double glp_get_row_ub(glp_prob *P, int i);
-
-
- int glp_get_col_type(glp_prob *P, int j);
-
-
- double glp_get_col_lb(glp_prob *P, int j);
-
-
- double glp_get_col_ub(glp_prob *P, int j);
-
-
- double glp_get_obj_coef(glp_prob *P, int j);
-
-
- int glp_get_num_nz(glp_prob *P);
-
-
- int glp_get_mat_row(glp_prob *P, int i, int ind[], double val[]);
-
-
- int glp_get_mat_col(glp_prob *P, int j, int ind[], double val[]);
-
-
- void glp_create_index(glp_prob *P);
-
-
- int glp_find_row(glp_prob *P, const char *name);
-
-
- int glp_find_col(glp_prob *P, const char *name);
-
-
- void glp_delete_index(glp_prob *P);
-
-
- void glp_set_rii(glp_prob *P, int i, double rii);
-
-
- void glp_set_sjj(glp_prob *P, int j, double sjj);
-
-
- double glp_get_rii(glp_prob *P, int i);
-
-
- double glp_get_sjj(glp_prob *P, int j);
-
-
- void glp_scale_prob(glp_prob *P, int flags);
-
-
- void glp_unscale_prob(glp_prob *P);
-
-
- void glp_set_row_stat(glp_prob *P, int i, int stat);
-
-
- void glp_set_col_stat(glp_prob *P, int j, int stat);
-
-
- void glp_std_basis(glp_prob *P);
-
-
- void glp_adv_basis(glp_prob *P, int flags);
-
-
- void glp_cpx_basis(glp_prob *P);
-
-
- int glp_simplex(glp_prob *P, const glp_smcp *parm);
-
-
- int glp_exact(glp_prob *P, const glp_smcp *parm);
-
-
- void glp_init_smcp(glp_smcp *parm);
-
-
- int glp_get_status(glp_prob *P);
-
-
- int glp_get_prim_stat(glp_prob *P);
-
-
- int glp_get_dual_stat(glp_prob *P);
-
-
- double glp_get_obj_val(glp_prob *P);
-
-
- int glp_get_row_stat(glp_prob *P, int i);
-
-
- double glp_get_row_prim(glp_prob *P, int i);
-
-
- double glp_get_row_dual(glp_prob *P, int i);
-
-
- int glp_get_col_stat(glp_prob *P, int j);
-
-
- double glp_get_col_prim(glp_prob *P, int j);
-
-
- double glp_get_col_dual(glp_prob *P, int j);
-
-
- int glp_get_unbnd_ray(glp_prob *P);
-
-
-
- int glp_get_it_cnt(glp_prob *P);
-
-
-
-
- void glp_set_it_cnt(glp_prob *P, int it_cnt);
-
-
-
- int glp_interior(glp_prob *P, const glp_iptcp *parm);
-
-
- void glp_init_iptcp(glp_iptcp *parm);
-
-
- int glp_ipt_status(glp_prob *P);
-
-
- double glp_ipt_obj_val(glp_prob *P);
-
-
- double glp_ipt_row_prim(glp_prob *P, int i);
-
-
- double glp_ipt_row_dual(glp_prob *P, int i);
-
-
- double glp_ipt_col_prim(glp_prob *P, int j);
-
-
- double glp_ipt_col_dual(glp_prob *P, int j);
-
-
- void glp_set_col_kind(glp_prob *P, int j, int kind);
-
-
- int glp_get_col_kind(glp_prob *P, int j);
-
-
- int glp_get_num_int(glp_prob *P);
-
-
- int glp_get_num_bin(glp_prob *P);
-
-
- int glp_intopt(glp_prob *P, const glp_iocp *parm);
-
-
- void glp_init_iocp(glp_iocp *parm);
-
-
- int glp_mip_status(glp_prob *P);
-
-
- double glp_mip_obj_val(glp_prob *P);
-
-
- double glp_mip_row_val(glp_prob *P, int i);
-
-
- double glp_mip_col_val(glp_prob *P, int j);
-
-
- void glp_check_kkt(glp_prob *P, int sol, int cond, double *ae_max,
- int *ae_ind, double *re_max, int *re_ind);
-
-
- int glp_print_sol(glp_prob *P, const char *fname);
-
-
- int glp_read_sol(glp_prob *P, const char *fname);
-
-
- int glp_write_sol(glp_prob *P, const char *fname);
-
-
- int glp_print_ranges(glp_prob *P, int len, const int list[],
- int flags, const char *fname);
-
-
- int glp_print_ipt(glp_prob *P, const char *fname);
-
-
- int glp_read_ipt(glp_prob *P, const char *fname);
-
-
- int glp_write_ipt(glp_prob *P, const char *fname);
-
-
- int glp_print_mip(glp_prob *P, const char *fname);
-
-
- int glp_read_mip(glp_prob *P, const char *fname);
-
-
- int glp_write_mip(glp_prob *P, const char *fname);
-
-
- int glp_bf_exists(glp_prob *P);
-
-
- int glp_factorize(glp_prob *P);
-
-
- int glp_bf_updated(glp_prob *P);
-
-
- void glp_get_bfcp(glp_prob *P, glp_bfcp *parm);
-
-
- void glp_set_bfcp(glp_prob *P, const glp_bfcp *parm);
-
-
- int glp_get_bhead(glp_prob *P, int k);
-
-
- int glp_get_row_bind(glp_prob *P, int i);
-
-
- int glp_get_col_bind(glp_prob *P, int j);
-
-
- void glp_ftran(glp_prob *P, double x[]);
-
-
- void glp_btran(glp_prob *P, double x[]);
-
-
- int glp_warm_up(glp_prob *P);
-
-
- int glp_eval_tab_row(glp_prob *P, int k, int ind[], double val[]);
-
-
- int glp_eval_tab_col(glp_prob *P, int k, int ind[], double val[]);
-
-
- int glp_transform_row(glp_prob *P, int len, int ind[], double val[]);
-
-
- int glp_transform_col(glp_prob *P, int len, int ind[], double val[]);
-
-
- int glp_prim_rtest(glp_prob *P, int len, const int ind[],
- const double val[], int dir, double eps);
-
-
- int glp_dual_rtest(glp_prob *P, int len, const int ind[],
- const double val[], int dir, double eps);
-
-
- void glp_analyze_bound(glp_prob *P, int k, double *value1, int *var1,
- double *value2, int *var2);
-
-
- void glp_analyze_coef(glp_prob *P, int k, double *coef1, int *var1,
- double *value1, double *coef2, int *var2, double *value2);
-
-
-
- glp_prep *glp_npp_alloc_wksp(void);
-
-
- void glp_npp_load_prob(glp_prep *prep, glp_prob *P, int sol,
- int names);
-
-
- int glp_npp_preprocess1(glp_prep *prep, int hard);
-
-
- void glp_npp_build_prob(glp_prep *prep, glp_prob *Q);
-
-
- void glp_npp_postprocess(glp_prep *prep, glp_prob *Q);
-
-
- void glp_npp_obtain_sol(glp_prep *prep, glp_prob *P);
-
-
- void glp_npp_free_wksp(glp_prep *prep);
-
-
-
- int glp_ios_reason(glp_tree *T);
-
-
- glp_prob *glp_ios_get_prob(glp_tree *T);
-
-
- void glp_ios_tree_size(glp_tree *T, int *a_cnt, int *n_cnt,
- int *t_cnt);
-
-
- int glp_ios_curr_node(glp_tree *T);
-
-
- int glp_ios_next_node(glp_tree *T, int p);
-
-
- int glp_ios_prev_node(glp_tree *T, int p);
-
-
- int glp_ios_up_node(glp_tree *T, int p);
-
-
- int glp_ios_node_level(glp_tree *T, int p);
-
-
- double glp_ios_node_bound(glp_tree *T, int p);
-
-
- int glp_ios_best_node(glp_tree *T);
-
-
- double glp_ios_mip_gap(glp_tree *T);
-
-
- void *glp_ios_node_data(glp_tree *T, int p);
-
-
- void glp_ios_row_attr(glp_tree *T, int i, glp_attr *attr);
-
-
- int glp_ios_pool_size(glp_tree *T);
-
-
- int glp_ios_add_row(glp_tree *T,
- const char *name, int klass, int flags, int len, const int ind[],
- const double val[], int type, double rhs);
-
-
- void glp_ios_del_row(glp_tree *T, int i);
-
-
- void glp_ios_clear_pool(glp_tree *T);
-
-
- int glp_ios_can_branch(glp_tree *T, int j);
-
-
- void glp_ios_branch_upon(glp_tree *T, int j, int sel);
-
-
- void glp_ios_select_node(glp_tree *T, int p);
-
-
- int glp_ios_heur_sol(glp_tree *T, const double x[]);
-
-
- void glp_ios_terminate(glp_tree *T);
- # 809 "/usr/include/glpk.h" 3 4
- void glp_init_mpscp(glp_mpscp *parm);
-
-
- int glp_read_mps(glp_prob *P, int fmt, const glp_mpscp *parm,
- const char *fname);
-
-
- int glp_write_mps(glp_prob *P, int fmt, const glp_mpscp *parm,
- const char *fname);
-
-
- void glp_init_cpxcp(glp_cpxcp *parm);
-
-
- int glp_read_lp(glp_prob *P, const glp_cpxcp *parm, const char *fname);
-
-
- int glp_write_lp(glp_prob *P, const glp_cpxcp *parm, const char *fname);
-
-
- int glp_read_prob(glp_prob *P, int flags, const char *fname);
-
-
- int glp_write_prob(glp_prob *P, int flags, const char *fname);
-
-
- glp_tran *glp_mpl_alloc_wksp(void);
-
-
- void glp_mpl_init_rand(glp_tran *tran, int seed);
-
-
- int glp_mpl_read_model(glp_tran *tran, const char *fname, int skip);
-
-
- int glp_mpl_read_data(glp_tran *tran, const char *fname);
-
-
- int glp_mpl_generate(glp_tran *tran, const char *fname);
-
-
- void glp_mpl_build_prob(glp_tran *tran, glp_prob *prob);
-
-
- int glp_mpl_postsolve(glp_tran *tran, glp_prob *prob, int sol);
-
-
- void glp_mpl_free_wksp(glp_tran *tran);
-
-
- int glp_read_cnfsat(glp_prob *P, const char *fname);
-
-
- int glp_check_cnfsat(glp_prob *P);
-
-
- int glp_write_cnfsat(glp_prob *P, const char *fname);
-
-
- int glp_minisat1(glp_prob *P);
-
-
- int glp_intfeas1(glp_prob *P, int use_bound, int obj_bound);
-
-
- int glp_init_env(void);
-
-
- const char *glp_version(void);
-
-
- const char *glp_config(const char *option);
-
-
- int glp_free_env(void);
-
-
- void glp_puts(const char *s);
-
-
- void glp_printf(const char *fmt, ...);
-
-
- void glp_vprintf(const char *fmt, va_list arg);
-
-
- int glp_term_out(int flag);
-
-
- void glp_term_hook(int (*func)(void *info, const char *s), void *info);
-
-
- int glp_open_tee(const char *name);
-
-
- int glp_close_tee(void);
-
-
-
-
- typedef void (*glp_errfunc)(const char *fmt, ...);
-
-
-
- glp_errfunc glp_error_(const char *file, int line);
-
-
-
- int glp_at_error(void);
-
-
-
-
-
- void glp_assert_(const char *expr, const char *file, int line);
-
-
- void glp_error_hook(void (*func)(void *info), void *info);
- # 935 "/usr/include/glpk.h" 3 4
- void *glp_alloc(int n, int size);
-
-
- void *glp_realloc(void *ptr, int n, int size);
-
-
- void glp_free(void *ptr);
-
-
- void glp_mem_limit(int limit);
-
-
- void glp_mem_usage(int *count, int *cpeak, size_t *total,
- size_t *tpeak);
-
-
- double glp_time(void);
-
-
- double glp_difftime(double t1, double t0);
-
-
- typedef struct glp_graph glp_graph;
- typedef struct glp_vertex glp_vertex;
- typedef struct glp_arc glp_arc;
-
- struct glp_graph
- {
- void *pool;
-
- char *name;
-
-
- int nv_max;
-
- int nv;
-
- int na;
-
- glp_vertex **v;
-
- void *index;
-
-
- int v_size;
-
- int a_size;
-
- };
-
- struct glp_vertex
- {
- int i;
-
- char *name;
-
-
- void *entry;
-
-
-
- void *data;
-
- void *temp;
-
- glp_arc *in;
-
- glp_arc *out;
-
- };
-
- struct glp_arc
- {
- glp_vertex *tail;
-
- glp_vertex *head;
-
- void *data;
-
- void *temp;
-
- glp_arc *t_prev;
-
- glp_arc *t_next;
-
- glp_arc *h_prev;
-
- glp_arc *h_next;
-
- };
-
- glp_graph *glp_create_graph(int v_size, int a_size);
-
-
- void glp_set_graph_name(glp_graph *G, const char *name);
-
-
- int glp_add_vertices(glp_graph *G, int nadd);
-
-
- void glp_set_vertex_name(glp_graph *G, int i, const char *name);
-
-
- glp_arc *glp_add_arc(glp_graph *G, int i, int j);
-
-
- void glp_del_vertices(glp_graph *G, int ndel, const int num[]);
-
-
- void glp_del_arc(glp_graph *G, glp_arc *a);
-
-
- void glp_erase_graph(glp_graph *G, int v_size, int a_size);
-
-
- void glp_delete_graph(glp_graph *G);
-
-
- void glp_create_v_index(glp_graph *G);
-
-
- int glp_find_vertex(glp_graph *G, const char *name);
-
-
- void glp_delete_v_index(glp_graph *G);
-
-
- int glp_read_graph(glp_graph *G, const char *fname);
-
-
- int glp_write_graph(glp_graph *G, const char *fname);
-
-
- void glp_mincost_lp(glp_prob *P, glp_graph *G, int names, int v_rhs,
- int a_low, int a_cap, int a_cost);
-
-
- int glp_mincost_okalg(glp_graph *G, int v_rhs, int a_low, int a_cap,
- int a_cost, double *sol, int a_x, int v_pi);
-
-
- int glp_mincost_relax4(glp_graph *G, int v_rhs, int a_low, int a_cap,
- int a_cost, int crash, double *sol, int a_x, int a_rc);
-
-
- void glp_maxflow_lp(glp_prob *P, glp_graph *G, int names, int s,
- int t, int a_cap);
-
-
- int glp_maxflow_ffalg(glp_graph *G, int s, int t, int a_cap,
- double *sol, int a_x, int v_cut);
-
-
- int glp_check_asnprob(glp_graph *G, int v_set);
-
-
-
-
-
-
-
- int glp_asnprob_lp(glp_prob *P, int form, glp_graph *G, int names,
- int v_set, int a_cost);
-
-
- int glp_asnprob_okalg(int form, glp_graph *G, int v_set, int a_cost,
- double *sol, int a_x);
-
-
- int glp_asnprob_hall(glp_graph *G, int v_set, int a_x);
-
-
- double glp_cpp(glp_graph *G, int v_t, int v_es, int v_ls);
-
-
- int glp_read_mincost(glp_graph *G, int v_rhs, int a_low, int a_cap,
- int a_cost, const char *fname);
-
-
- int glp_write_mincost(glp_graph *G, int v_rhs, int a_low, int a_cap,
- int a_cost, const char *fname);
-
-
- int glp_read_maxflow(glp_graph *G, int *s, int *t, int a_cap,
- const char *fname);
-
-
- int glp_write_maxflow(glp_graph *G, int s, int t, int a_cap,
- const char *fname);
-
-
- int glp_read_asnprob(glp_graph *G, int v_set, int a_cost, const char
- *fname);
-
-
- int glp_write_asnprob(glp_graph *G, int v_set, int a_cost, const char
- *fname);
-
-
- int glp_read_ccdata(glp_graph *G, int v_wgt, const char *fname);
-
-
- int glp_write_ccdata(glp_graph *G, int v_wgt, const char *fname);
-
-
- int glp_netgen(glp_graph *G, int v_rhs, int a_cap, int a_cost,
- const int parm[1+15]);
-
-
- void glp_netgen_prob(int nprob, int parm[1+15]);
-
-
- int glp_gridgen(glp_graph *G, int v_rhs, int a_cap, int a_cost,
- const int parm[1+14]);
-
-
- int glp_rmfgen(glp_graph *G, int *s, int *t, int a_cap,
- const int parm[1+5]);
-
-
- int glp_weak_comp(glp_graph *G, int v_num);
-
-
- int glp_strong_comp(glp_graph *G, int v_num);
-
-
- int glp_top_sort(glp_graph *G, int v_num);
-
-
- int glp_wclique_exact(glp_graph *G, int v_wgt, double *sol, int v_set);
- # 2 "test.c" 2
-> compiled conf-glpk.1
-> installed conf-glpk.1
Done.
# Run eval $(opam env) to update the current shell environment
2021-12-03 06:06.30 ---> saved as "fd0fe03f12345943f29ae3a39a8171bc23f34eb3e6818c0f32ae4df719c12311"
Job succeeded
Home|Differences with the last checks|Previous runs