OCamllabs icon Home|Differences with the last checks|Previous runs


Building on x86-bm-6.ocamllabs.io

(from ocurrent/opam:debian-unstable)
---> 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 'dcdba1db7b6ad3d18cc0b07e8337d02c160c62b3'\
               \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 '7af4b295dc2de0b2b594c05ab4af40ef963bbc5c'\
               \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 fmt]
  - install cmdliner           1.0.4        [required by opam-0install-cudf, opam-devel]
  - install dune               2.8.5        [required by opam-0install-cudf, opam-devel]
  - install ocamlbuild         0.14.0       [required by cudf, fmt]
  - install base-bytes         base         [required by extlib]
  - install stdlib-shims       0.3.0        [required by fmt]
  - install re                 1.9.0        [required by opam-client]
  - install opam-file-format   2.3.0*       [required by opam-format]
  - install cppo               1.6.7        [required by extlib]
  - install 0install-solver    2.17         [required by opam-0install-cudf]
  - install topkg              1.0.3        [required by fmt]
  - install ocamlgraph         2.0.0        [required by dose3]
  - install extlib             1.7.7-1      [required by cudf, opam-client]
  - install fmt                0.8.9        [required by opam-0install-cudf]
  - 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
  - install mccs               1.1+12       [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*
===== 26 to install =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz
[cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz
[0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.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
[extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz
[dune.2.8.5] downloaded from https://github.com/ocaml/dune/releases/download/2.8.5/dune-2.8.5.tbz
[fmt.0.8.9] downloaded from https://erratique.ch/software/fmt/releases/fmt-0.8.9.tbz
[mccs.1.1+12] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+12.tar.gz
[ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.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] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4/opam-0install-cudf-v0.4.tbz
[re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz
[opam-file-format.2.3.0] synchronised from git+https://github.com/rjbou/opam-file-format#endpos
[topkg.1.0.3] downloaded from http://erratique.ch/software/topkg/releases/topkg-1.0.3.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
[ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz

<><> 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 topkg.1.0.3
-> installed 0install-solver.2.17
-> installed cppo.1.6.7
-> installed opam-file-format.2.3.0
-> installed re.1.9.0
-> installed stdlib-shims.0.3.0
-> installed fmt.0.8.9
-> installed ocamlgraph.2.0.0
-> installed extlib.1.7.7-1
-> installed cudf.0.9-1
-> installed opam-0install-cudf.0.4
-> installed opam-core.2.1.0~beta4
-> installed mccs.1.1+12
-> installed opam-format.2.1.0~beta4
-> installed opam-repository.2.1.0~beta4
-> installed dose3.5.0.1-1
-> installed opam-state.2.1.0~beta4
-> installed opam-solver.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
---> using "310fb7594d9f0873efc277b6742d0667f048239b4a32d1032c7317df22d8acfe" from cache

/: (env OPAMEXTERNALSOLVER builtin-0install)

/: (env OPAMCRITERIA +removed)

/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --disable-sandboxing ~/opam-repository"))
Configuring from /home/opam/.opamrc and then 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.

---> using "6e0e4cb8d83a997aa93a89995166c703e50432ac925f85088097ad965e1b2fdd" from cache

/: (run (network host)
        (shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89"))
---> using "fec8f0ca87dd016419bfc26712d0aae42451d64e2ffbfdfa9fb56f27d891d00e" from cache

/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
---> using "9db56549e55b576bd26307f46fea6c6449257ac7eeae4cd6652544efa56b5957" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=beta,default 4.02.3"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.02.3"} | "ocaml-system" {= "4.02.3"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.02.3  (http://caml.inria.fr/pub/distrib/ocaml-4.02/ocaml-4.02.3.tar.gz)
-> installed ocaml-base-compiler.4.02.3
-> installed ocaml-config.1
-> installed ocaml.4.02.3
-> installed base-ocamlbuild.base
Done.
# Run eval $(opam env --switch=4.02.3) to update the current shell environment
---> using "fcc45e901d3af2041649225f589eb5651444baf189b9241f18e5a073e52aec87" 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 [8625 kB]
- Fetched 8846 kB in 4s (2457 kB/s)
- Reading package lists...
- 
---> using "052c25f5e81e9bde9f607068505d8c5f453fe864e7f245c19bedab4fa2b30a8c" 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
---> using "4a5fb3aba44182eb5e054414a44b3c8b1d69d91c0791cca66d3f3c8de80c36f0" 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\
               \n\
               \nfi\
               \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]
+ /bin/sh "-c" "echo '#include <glpk.h>' > test.c" (CWD=/home/opam/.opam/4.02.3/.opam-switch/build/conf-glpk.1)
Processing  3/4: [conf-glpk: cc test.c]
+ /usr/bin/cc "-E" "test.c" (CWD=/home/opam/.opam/4.02.3/.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
---> saved as "72fe415bac9a52f07de5eebd8adf05f958bd385f5bd2ad7226fc616418d08b2f"
Job succeeded