Building on x86-bm-6.ocamllabs.io (from ocurrent/opam:debian-unstable) Unable to find image 'ocurrent/opam:debian-unstable' locally debian-unstable: Pulling from ocurrent/opam b2048aa58c5f: Pulling fs layer 412783517da1: Pulling fs layer 2143755e883d: Pulling fs layer b2048aa58c5f: Download complete 2143755e883d: Verifying Checksum 2143755e883d: Download complete 412783517da1: Download complete b2048aa58c5f: Pull complete 412783517da1: Pull complete 2143755e883d: Pull complete Digest: sha256:d5761fd43bfa1a0782288e3fc959c461a5b030a735a1e16290ff499c79950c05 Status: Downloaded newer image for ocurrent/opam:debian-unstable 2021-05-02 20:57.24 ---> using "ec5d5faa8619574bfe663422158251f52f4b465bd9d157e348e692194b4f4a2a" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMDEPEXTYES 1) /: (env OPAMUTF8 never) /: (run (network host) (shell "\ \n set -e\ \n git clone -q git://github.com/kit-ty-kate/opam.git /tmp/opam\ \n git -C /tmp/opam checkout -q '72695bfac80dbcd1d2f10287b2626d18d4acc9f2'\ \n opam remote set-url default git://github.com/ocaml/opam-repository.git\ \n opam pin add -yn /tmp/opam > /dev/null\ \n opam install -y opam-devel opam-0install-cudf 'ocamlfind>=1.9'\ \n sudo mv \"$(opam var opam-devel:lib)/opam\" /usr/bin/opam\ \n rm -rf /tmp/opam /tmp/depext.txt ~/.opam\ \n if ! test -d ~/opam-repository; then\ \n git clone -q git://github.com/ocaml/opam-repository.git ~/opam-repository\ \n else\ \n git -C ~/opam-repository pull -q origin master\ \n fi\ \n git -C ~/opam-repository checkout -q '01c350d759f8d4e3202596371818e6d997fa5fe2'\ \n ")) [default] Initialised <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [opam-devel.2.1.0~beta4] no changes from git+file:///tmp/opam#HEAD The following actions will be performed: - install ocamlfind 1.9.1 - install seq base [required by re] - install cmdliner 1.0.4 [required by opam-devel] - install dune 2.8.5 [required by opam-0install-cudf, opam-devel] - install ocamlbuild 0.14.0 [required by cudf] - install base-bytes base [required by extlib] - install stdlib-shims 0.3.0 [required by ocamlgraph] - install re 1.9.0 [required by opam-client] - install opam-file-format 2.1.2 [required by opam-format] - install cppo 1.6.7 [required by extlib] - install 0install-solver 2.17 [required by opam-0install-cudf] - install ocamlgraph 2.0.0 [required by dose3] - install extlib 1.7.7-1 [required by cudf, opam-client] - install opam-core 2.1.0~beta4* [required by opam-format] - install cudf 0.9-1 [required by opam-0install-cudf] - install opam-format 2.1.0~beta4* [required by opam-repository, opam-solver] - install opam-0install-cudf 0.4.1 - install mccs 1.1+13 [required by opam-solver] - install dose3 5.0.1-1 [required by opam-solver] - install opam-repository 2.1.0~beta4* [required by opam-client] - install opam-solver 2.1.0~beta4* [required by opam-client] - install opam-state 2.1.0~beta4* [required by opam-client] - install opam-client 2.1.0~beta4* [required by opam-devel] - install opam-devel 2.1.0~beta4* ===== 24 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz [0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz [cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz [cudf.0.9-1] downloaded from https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz [dose3.5.0.1-1] downloaded from https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz [dune.2.8.5] downloaded from https://github.com/ocaml/dune/releases/download/2.8.5/dune-2.8.5.tbz [extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz [mccs.1.1+13] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+13.tar.gz [ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz [ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz [ocamlgraph.2.0.0] downloaded from https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz [opam-0install-cudf.0.4.1] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4.1/opam-0install-cudf-v0.4.1.tbz [opam-file-format.2.1.2] downloaded from https://github.com/ocaml/opam-file-format/archive/2.1.2.tar.gz [re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz [stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.0.4 -> installed ocamlfind.1.9.1 -> installed base-bytes.base -> installed ocamlbuild.0.14.0 -> installed dune.2.8.5 -> installed stdlib-shims.0.3.0 -> installed 0install-solver.2.17 -> installed cppo.1.6.7 -> installed opam-file-format.2.1.2 -> installed re.1.9.0 -> installed ocamlgraph.2.0.0 -> installed extlib.1.7.7-1 -> installed opam-core.2.1.0~beta4 -> installed cudf.0.9-1 -> installed opam-0install-cudf.0.4.1 -> installed mccs.1.1+13 -> installed opam-format.2.1.0~beta4 -> installed opam-repository.2.1.0~beta4 -> installed dose3.5.0.1-1 -> installed opam-solver.2.1.0~beta4 -> installed opam-state.2.1.0~beta4 -> installed opam-client.2.1.0~beta4 -> installed opam-devel.2.1.0~beta4 Done. <><> opam-devel.2.1.0~beta4 installed successfully ><><><><><><><><><><><><><><> => The development version of opam has been successfully compiled into /home/opam/.opam/4.11/lib/opam-devel. You should not run it from there, please install the binaries to your PATH, e.g. with sudo cp /home/opam/.opam/4.11/lib/opam-devel/opam /usr/local/bin If you just want to give it a try without altering your current installation, you could use instead: alias opam2="OPAMROOT=~/.opam2 /home/opam/.opam/4.11/lib/opam-devel/opam" # Run eval $(opam env) to update the current shell environment 2021-05-02 20:57.24 ---> using "e3e694f2e2acefbb1c736074593e4ed9519fa28bcacb04ce221113caf7c619d7" from cache /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (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-05-02 20:57.24 ---> using "994210567fc74f2e4ea2666c54af8efeef1124fd1b8a409e7a42a3900b5b0e3d" from cache /: (run (network host) (shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89")) 2021-05-02 20:57.24 ---> using "73d057d9a75d3fb712189b77476927d054d7247f8421955cb72dfcb0294b320e" from cache /: (run (shell "opam repository add --dont-select 'beta' ~/'beta'")) [beta] Initialised 2021-05-02 20:57.24 ---> using "883cc12f2fd777afc528f51cf9b7c4e073248e757811f4b918a5f77d53bb7199" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=beta,default 4.05.0")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.05.0"} | "ocaml-system" {= "4.05.0"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.05.0 (cached) -> installed ocaml-base-compiler.4.05.0 -> installed ocaml-config.1 -> installed ocaml.4.05.0 Done. # Run eval $(opam env --switch=4.05.0) to update the current shell environment 2021-05-02 20:57.24 ---> using "ec6c801962545aeb1d975fec7fab78447b30f86430d655729b40d8f6756919b0" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [157 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 [8626 kB] - Fetched 8847 kB in 4s (2319 kB/s) - Reading package lists... - 2021-05-02 20:57.24 ---> using "b4af7e45529eddb4d41a0894a7247b77ff20017c9108d1627b70198a97554377" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install -y ocaml-secondary-compiler")) The following actions will be performed: - install ocaml-secondary-compiler 4.08.1-1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocaml-secondary-compiler.4.08.1-1 (cached) -> installed ocaml-secondary-compiler.4.08.1-1 Done. # Run eval $(opam env) to update the current shell environment 2021-05-02 20:57.24 ---> using "8c3beb6eebea16644eccffff0fb0232d08b6291f98d11369b8230af1dd1874ef" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \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")) The following actions will be performed: - remove ocaml-secondary-compiler 4.08.1-1 - install conf-glpk 1 ===== 1 to install | 1 to remove ===== 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? [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 ... 17845 files and directories currently installed.) - Preparing to unpack .../libgmp10_2%3a6.2.1+dfsg-1_amd64.deb ... - Unpacking libgmp10:amd64 (2:6.2.1+dfsg-1) over (2:6.2.0+dfsg-6) ... - Setting up libgmp10:amd64 (2:6.2.1+dfsg-1) ... - Selecting previously unselected package libisl23: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 ... 17846 files and directories currently installed.) - Preparing to unpack .../00-libisl23_0.23-1_amd64.deb ... - Unpacking libisl23:amd64 (0.23-1) ... - Preparing to unpack .../01-libcc1-0_10.2.1-6_amd64.deb ... - Unpacking libcc1-0:amd64 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../02-libgomp1_10.2.1-6_amd64.deb ... - Unpacking libgomp1:amd64 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../03-libitm1_10.2.1-6_amd64.deb ... - Unpacking libitm1:amd64 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../04-libatomic1_10.2.1-6_amd64.deb ... - Unpacking libatomic1:amd64 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../05-libasan6_10.2.1-6_amd64.deb ... - Unpacking libasan6:amd64 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../06-liblsan0_10.2.1-6_amd64.deb ... - Unpacking liblsan0:amd64 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../07-libtsan0_10.2.1-6_amd64.deb ... - Unpacking libtsan0:amd64 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../08-libubsan1_10.2.1-6_amd64.deb ... - Unpacking libubsan1:amd64 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../09-libquadmath0_10.2.1-6_amd64.deb ... - Unpacking libquadmath0:amd64 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../10-gcc-10-base_10.2.1-6_amd64.deb ... - Unpacking gcc-10-base:amd64 (10.2.1-6) over (10.2.0-15) ... - Setting up gcc-10-base:amd64 (10.2.1-6) ... - (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 ... 17853 files and directories currently installed.) - Preparing to unpack .../libstdc++6_10.2.1-6_amd64.deb ... - Unpacking libstdc++6:amd64 (10.2.1-6) over (10.2.0-15) ... - Setting up libstdc++6:amd64 (10.2.1-6) ... - (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 ... 17853 files and directories currently installed.) - Preparing to unpack .../0-g++-10_10.2.1-6_amd64.deb ... - Unpacking g++-10 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../1-libstdc++-10-dev_10.2.1-6_amd64.deb ... - Unpacking libstdc++-10-dev:amd64 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../2-libgcc-10-dev_10.2.1-6_amd64.deb ... - Unpacking libgcc-10-dev:amd64 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../3-gcc-10_10.2.1-6_amd64.deb ... - Unpacking gcc-10 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../4-cpp-10_10.2.1-6_amd64.deb ... - Unpacking cpp-10 (10.2.1-6) over (10.2.0-15) ... - Preparing to unpack .../5-libgcc-s1_10.2.1-6_amd64.deb ... - Unpacking libgcc-s1:amd64 (10.2.1-6) over (10.2.0-15) ... - Setting up libgcc-s1:amd64 (10.2.1-6) ... - 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 ... 17853 files and directories currently installed.) - Preparing to unpack .../00-libsuitesparseconfig5_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libsuitesparseconfig5:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libamd2:amd64. - Preparing to unpack .../01-libamd2_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libamd2:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libblas3:amd64. - Preparing to unpack .../02-libblas3_3.9.0-3_amd64.deb ... - Unpacking libblas3:amd64 (3.9.0-3) ... - Selecting previously unselected package libblas-dev:amd64. - Preparing to unpack .../03-libblas-dev_3.9.0-3_amd64.deb ... - Unpacking libblas-dev:amd64 (3.9.0-3) ... - Selecting previously unselected package libbtf1:amd64. - Preparing to unpack .../04-libbtf1_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libbtf1:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libcamd2:amd64. - Preparing to unpack .../05-libcamd2_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libcamd2:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libccolamd2:amd64. - Preparing to unpack .../06-libccolamd2_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libccolamd2:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libcolamd2:amd64. - Preparing to unpack .../07-libcolamd2_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libcolamd2:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libgfortran5:amd64. - Preparing to unpack .../08-libgfortran5_10.2.1-6_amd64.deb ... - Unpacking libgfortran5:amd64 (10.2.1-6) ... - Selecting previously unselected package liblapack3:amd64. - Preparing to unpack .../09-liblapack3_3.9.0-3_amd64.deb ... - Unpacking liblapack3:amd64 (3.9.0-3) ... - 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.8.1+dfsg-2_amd64.deb ... - Unpacking libcholmod3:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libcxsparse3:amd64. - Preparing to unpack .../12-libcxsparse3_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libcxsparse3:amd64 (1:5.8.1+dfsg-2) ... - 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-1_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../16-libgmp-dev_2%3a6.2.1+dfsg-1_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-1) ... - 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 libgraphblas3:amd64. - Preparing to unpack .../18-libgraphblas3_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libgraphblas3:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libklu1:amd64. - Preparing to unpack .../19-libklu1_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libklu1:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libldl2:amd64. - Preparing to unpack .../20-libldl2_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libldl2:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libmongoose2:amd64. - Preparing to unpack .../21-libmongoose2_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libmongoose2:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libumfpack5:amd64. - Preparing to unpack .../22-libumfpack5_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libumfpack5:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package librbio2:amd64. - Preparing to unpack .../23-librbio2_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking librbio2:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libspqr2:amd64. - Preparing to unpack .../24-libspqr2_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libspqr2:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libsliplu1:amd64. - Preparing to unpack .../25-libsliplu1_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libsliplu1:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package liblapack-dev:amd64. - Preparing to unpack .../26-liblapack-dev_3.9.0-3_amd64.deb ... - Unpacking liblapack-dev:amd64 (3.9.0-3) ... - Selecting previously unselected package libsuitesparse-dev:amd64. - Preparing to unpack .../27-libsuitesparse-dev_1%3a5.8.1+dfsg-2_amd64.deb ... - Unpacking libsuitesparse-dev:amd64 (1:5.8.1+dfsg-2) ... - Selecting previously unselected package libglpk-dev:amd64. - Preparing to unpack .../28-libglpk-dev_5.0-1_amd64.deb ... - Unpacking libglpk-dev:amd64 (5.0-1) ... - Setting up libldl2:amd64 (1:5.8.1+dfsg-2) ... - Setting up libmetis5:amd64 (5.1.0.dfsg-7) ... - Setting up libgomp1:amd64 (10.2.1-6) ... - Setting up libbtf1:amd64 (1:5.8.1+dfsg-2) ... - Setting up libasan6:amd64 (10.2.1-6) ... - Setting up libblas3:amd64 (3.9.0-3) ... - 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-1) ... - Setting up libquadmath0:amd64 (10.2.1-6) ... - Setting up libatomic1:amd64 (10.2.1-6) ... - Setting up libltdl7:amd64 (2.4.6-15) ... - Setting up libgfortran5:amd64 (10.2.1-6) ... - Setting up libubsan1:amd64 (10.2.1-6) ... - Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-2) ... - Setting up libcxsparse3:amd64 (1:5.8.1+dfsg-2) ... - Setting up libisl23:amd64 (0.23-1) ... - Setting up libsuitesparseconfig5:amd64 (1:5.8.1+dfsg-2) ... - Setting up libcc1-0:amd64 (10.2.1-6) ... - Setting up liblsan0:amd64 (10.2.1-6) ... - Setting up cpp-10 (10.2.1-6) ... - Setting up libblas-dev:amd64 (3.9.0-3) ... - 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 (10.2.1-6) ... - Setting up librbio2:amd64 (1:5.8.1+dfsg-2) ... - Setting up libtsan0:amd64 (10.2.1-6) ... - Setting up libamd2:amd64 (1:5.8.1+dfsg-2) ... - Setting up libgraphblas3:amd64 (1:5.8.1+dfsg-2) ... - Setting up liblapack3:amd64 (3.9.0-3) ... - 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-1) ... - Setting up libcolamd2:amd64 (1:5.8.1+dfsg-2) ... - Setting up libgcc-10-dev:amd64 (10.2.1-6) ... - Setting up libsliplu1:amd64 (1:5.8.1+dfsg-2) ... - Setting up libcamd2:amd64 (1:5.8.1+dfsg-2) ... - Setting up libmongoose2:amd64 (1:5.8.1+dfsg-2) ... - Setting up libglpk40:amd64 (5.0-1) ... - Setting up liblapack-dev:amd64 (3.9.0-3) ... - 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 gcc-10 (10.2.1-6) ... - Setting up libklu1:amd64 (1:5.8.1+dfsg-2) ... - Setting up libccolamd2:amd64 (1:5.8.1+dfsg-2) ... - Setting up libcholmod3:amd64 (1:5.8.1+dfsg-2) ... - Setting up libspqr2:amd64 (1:5.8.1+dfsg-2) ... - Setting up libstdc++-10-dev:amd64 (10.2.1-6) ... - Setting up g++-10 (10.2.1-6) ... - Setting up libumfpack5:amd64 (1:5.8.1+dfsg-2) ... - Setting up libsuitesparse-dev:amd64 (1:5.8.1+dfsg-2) ... - Setting up libglpk-dev:amd64 (5.0-1) ... - Processing triggers for libc-bin (2.31-4) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> removed ocaml-secondary-compiler.4.08.1-1 Processing 3/4: [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.05.0/.opam-switch/build/conf-glpk.1) Processing 3/4: [conf-glpk: cc test.c] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "cc" "-E" "test.c" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/conf-glpk.1) - # 1 "test.c" - # 1 "<built-in>" - # 1 "<command-line>" - # 31 "<command-line>" - # 1 "/usr/include/stdc-predef.h" 1 3 4 - # 32 "<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/10/include/stdarg.h" 1 3 4 - # 40 "/usr/lib/gcc/x86_64-linux-gnu/10/include/stdarg.h" 3 4 - - # 40 "/usr/lib/gcc/x86_64-linux-gnu/10/include/stdarg.h" 3 4 - typedef __builtin_va_list __gnuc_va_list; - # 99 "/usr/lib/gcc/x86_64-linux-gnu/10/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/10/include/stddef.h" 1 3 4 - # 143 "/usr/lib/gcc/x86_64-linux-gnu/10/include/stddef.h" 3 4 - typedef long int ptrdiff_t; - # 209 "/usr/lib/gcc/x86_64-linux-gnu/10/include/stddef.h" 3 4 - typedef long unsigned int size_t; - # 321 "/usr/lib/gcc/x86_64-linux-gnu/10/include/stddef.h" 3 4 - typedef int wchar_t; - # 415 "/usr/lib/gcc/x86_64-linux-gnu/10/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/10/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-05-02 20:58.00 ---> saved as "482061927c7677fd8be0f5ca7d5de57a8fb47d243ad44a79c47d9b04ef7e9e75" Job succeeded