Building on iphito.ocamllabs.io
(from ocaml/opam:debian-unstable@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a)
Unable to find image 'ocaml/opam:debian-unstable@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a' locally
docker.io/ocaml/opam@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a: Pulling from ocaml/opam
d94e46e039c4: Pulling fs layer
d94e46e039c4: Verifying Checksum
d94e46e039c4: Download complete
d94e46e039c4: Pull complete
Digest: sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a
Status: Downloaded newer image for ocaml/opam@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a
2022-11-02 22:42.08 ---> using "6615d3400d8dabf8928c82fbcb18e477501a38f64d3b1412a91a4e86499e265b" 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"))
2022-11-02 22:42.08 ---> using "c909a0ff168e383d01aa2cb84f3e6cbc7a0c470ffe3d07946f43f83d47cc9bfa" 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 94675aaefe68e1e4a4ad959d88dd65afa3a9ed3d"))
2022-11-02 22:42.08 ---> using "5315c90a66cfce3be1f8ac668b7f4445c317bfeb4b1de04fe278a4bdf33753ae" 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.
2022-11-02 22:42.08 ---> using "f46d72ea67943cab7c832114e4ca486dbfd4f12ff8812515d1a06b3a229da8ee" from cache
/: (run (network host)
(shell "git clone -q 'https://github.com/kit-ty-kate/opam-alpha-repository' ~/'alpha' && git -C ~/'alpha' checkout -q 076a4c8b84954fc0cb7d4b8555dd3ef526983967"))
2022-11-02 22:42.08 ---> using "d0cc4487ef08ec8933669840a0a4a09a690fc372319648cfb5be23220879fd8d" from cache
/: (run (shell "opam repository add --dont-select 'alpha' ~/'alpha'"))
[alpha] Initialised
2022-11-02 22:42.08 ---> using "18078122c14dbafc9fbe33091f99eb13e673e35ecfad480502cb289b424eef02" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=alpha,default '4.14+alpha-repo' '4.14.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.0"} | "ocaml-system" {= "4.14.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.0 (cached)
-> installed ocaml-base-compiler.4.14.0
-> installed ocaml-config.2
-> installed ocaml.4.14.0
Done.
# Run eval $(opam env --switch=4.14+alpha-repo) to update the current shell environment
2022-11-02 22:42.08 ---> using "a2391df823c5ef92b9a1c79b97666f1e2ee46ce120801a72cfd45829990c9c4a" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [161 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-2022-11-02-0803.40-F-2022-11-01-2004.36.pdiff [67.9 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-11-02-0803.40-F-2022-11-01-2004.36.pdiff [67.9 kB]
- Fetched 293 kB in 1s (209 kB/s)
- Reading package lists...
2022-11-02 22:42.08 ---> using "11e0dbd88da4d1eab0bd24c90edf527301667b9bc7b034c83a4a1bdc0c485264" 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"))
[NOTE] conf-bison.1 is not installed.
Nothing to do.
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. Attempt installation anyway, and 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 ... 19051 files and directories currently installed.)
- Preparing to unpack .../archives/m4_1.4.19-1_amd64.deb ...
- Unpacking m4 (1.4.19-1) ...
- 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-1) ...
- 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/4.14+alpha-repo/.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
2022-11-02 22:44.37 ---> saved as "4a9e590d30162992eafdac4096a5fb28dd228057de7666194531c33abefbca5e"
Job succeeded
Home|Differences with the last checks|Previous runs