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


Building on x86-bm-c6.sw.ocaml.org

(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
eeef78c87a1b: Pulling fs layer
eeef78c87a1b: Verifying Checksum
eeef78c87a1b: Download complete
eeef78c87a1b: Pull complete
Digest: sha256:a708df2d96414c61dc47c9f06e6c2d22e9a6350ad772417bd0e7a3550e440e73
Status: Downloaded newer image for ocaml/opam:debian-unstable
2024-08-04 20:42.15 ---> 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-dev /usr/bin/opam"))
2024-08-04 20:42.15 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" 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 fe8dffac61bbab376897c0f4e7cc5b7b8c4eecc1"))
2024-08-04 20:42.15 ---> using "828e9194b01b44f44dbe3a17fa70d9df857e6edbfbc28830335e417ee457f303" 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.

2024-08-04 20:42.15 ---> using "e4c5e8d9ee051813ad71799bcfd0cce33f59a36ff0befb5e5fbb9434b383bc16" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=default '5.2' '5.2.0'"))

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

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3  (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.2.0  (cached)
-> installed ocaml-base-compiler.5.2.0
-> installed ocaml-config.3
-> installed ocaml.5.2.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# Run eval $(opam env --switch=5.2) to update the current shell environment
2024-08-04 20:42.15 ---> using "44557c519dcb0a98d2187ae082639613b6affcc04630a7fbe43979079c9518ed" from cache

/: (run (network host)
        (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [198 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-08-04-1414.55-F-2024-07-29-1441.34.pdiff [496 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-08-04-1414.55-F-2024-07-29-1441.34.pdiff [496 kB]
- Fetched 758 kB in 5s (151 kB/s)
- Reading package lists...
- 
2024-08-04 20:42.15 ---> using "60e429f741cfa5b2c6876c6bc2125784d8047ba9ce99c12c9c2fbe936bb2acdb" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell  "\
               \nopam remove -y \"conf-bison.1\"\
               \nopam install -vy \"conf-bison.1\"\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: \"conf-bison.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"))
Nothing to do.
[NOTE] conf-bison.1 is not installed.

The following actions will be performed:
=== install 1 package
  - install conf-bison 1

The following system packages will first need to be installed:
    bison

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "bison"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package m4.
- (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 ... 19456 files and directories currently installed.)
- Preparing to unpack .../archives/m4_1.4.19-4_amd64.deb ...
- Unpacking m4 (1.4.19-4) ...
- Selecting previously unselected package bison.
- Preparing to unpack .../bison_2%3a3.8.2+dfsg-1+b1_amd64.deb ...
- Unpacking bison (2:3.8.2+dfsg-1+b1) ...
- Setting up m4 (1.4.19-4) ...
- Setting up bison (2:3.8.2+dfsg-1+b1) ...
- update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  2/3: [conf-bison: bison]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "bison" "--help" (CWD=/home/opam/.opam/5.2/.opam-switch/build/conf-bison.1)
- Usage: bison [OPTION]... FILE
- Generate a deterministic LR or generalized LR (GLR) parser employing
- LALR(1), IELR(1), or canonical LR(1) parser tables.
- 
- Mandatory arguments to long options are mandatory for short options too.
- The same is true for optional arguments.
- 
- Operation Modes:
-   -h, --help                 display this help and exit
-   -V, --version              output version information and exit
-       --print-localedir      output directory containing locale-dependent data
-                              and exit
-       --print-datadir        output directory containing skeletons and XSLT
-                              and exit
-   -u, --update               apply fixes to the source grammar file and exit
-   -f, --feature[=FEATURES]   activate miscellaneous features
- 
- FEATURES is a list of comma separated words that can include:
-   caret, diagnostics-show-caret
-                     show errors with carets
-   fixit, diagnostics-parseable-fixits
-                     show machine-readable fixes
-   syntax-only       do not generate any file
-   all               all of the above
-   none              disable all of the above
- 
- Diagnostics:
-   -W, --warnings[=CATEGORY]  report the warnings falling in CATEGORY
-       --color[=WHEN]         whether to colorize the diagnostics
-       --style=FILE           specify the CSS FILE for colorizer diagnostics
- 
- Warning categories include:
-   conflicts-sr      S/R conflicts (enabled by default)
-   conflicts-rr      R/R conflicts (enabled by default)
-   counterexamples, cex
-                     generate conflict counterexamples
-   dangling-alias    string aliases not attached to a symbol
-   deprecated        obsolete constructs
-   empty-rule        empty rules without %empty
-   midrule-values    unset or unused midrule values
-   precedence        useless precedence and associativity
-   yacc              incompatibilities with POSIX Yacc
-   other             all other warnings (enabled by default)
-   all               all the warnings except 'counterexamples', 'dangling-alias' and 'yacc'
-   no-CATEGORY       turn off warnings in CATEGORY
-   none              turn off all the warnings
-   error[=CATEGORY]  treat warnings as errors
- 
- WHEN can be one of the following:
-   always, yes  colorize the output
-   never, no    don't colorize the output
-   auto, tty    colorize if the output device is a tty
- 
- Tuning the Parser:
-   -L, --language=LANGUAGE          specify the output programming language
-   -S, --skeleton=FILE              specify the skeleton to use
-   -t, --debug                      instrument the parser for tracing
-                                    same as '-Dparse.trace'
-       --locations                  enable location support
-   -D, --define=NAME[=VALUE]        similar to '%define NAME VALUE'
-   -F, --force-define=NAME[=VALUE]  override '%define NAME VALUE'
-   -p, --name-prefix=PREFIX         prepend PREFIX to the external symbols
-                                    deprecated by '-Dapi.prefix={PREFIX}'
-   -l, --no-lines                   don't generate '#line' directives
-   -k, --token-table                include a table of token names
-   -y, --yacc                       emulate POSIX Yacc
- 
- Output Files:
-   -H, --header=[FILE]           also produce a header file
-   -d                            likewise but cannot specify FILE (for POSIX Yacc)
-   -r, --report=THINGS           also produce details on the automaton
-       --report-file=FILE        write report to FILE
-   -v, --verbose                 same as '--report=state'
-   -b, --file-prefix=PREFIX      specify a PREFIX for output files
-   -o, --output=FILE             leave output to FILE
-   -g, --graph[=FILE]            also output a graph of the automaton
-       --html[=FILE]             also output an HTML report of the automaton
-   -x, --xml[=FILE]              also output an XML report of the automaton
-   -M, --file-prefix-map=OLD=NEW replace prefix OLD with NEW when writing file paths
-                                 in output files
- 
- THINGS is a list of comma separated words that can include:
-   states            describe the states
-   itemsets          complete the core item sets with their closure
-   lookaheads        explicitly associate lookahead tokens to items
-   solved            describe shift/reduce conflicts solving
-   counterexamples, cex
-                     generate conflict counterexamples
-   all               include all the above information
-   none              disable the report
- 
- Report bugs to <bug-bison@gnu.org>.
- GNU Bison home page: <https://www.gnu.org/software/bison/>.
- General help using GNU software: <https://www.gnu.org/gethelp/>.
- Report translation bugs to <https://translationproject.org/team/>.
- For complete documentation, run: info bison.
-> compiled  conf-bison.1
-> installed conf-bison.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-08-04 20:42.26 ---> saved as "8b06f93454ad022e4246268febef7cfb1f7b9f408c1a140a1e93e433c3ac81fe"
Job succeeded