Building on x86-bm-c3.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:9f7b55cd93821fd2544b298d5f1f1f3b67b34730125d2471ffdc1fc5a2b88b2f
Status: Downloaded newer image for ocaml/opam:debian-unstable
2024-02-21 20:15.24 ---> 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-02-21 20:15.24 ---> 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 2a02a17fca7c0ba16208c9648957e82b716caae1"))
2024-02-21 20:15.24 ---> using "c7869af31cb9633260f23d7300aa991fcb38a1f2e661dad0b3c0754c87ebe887" 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-02-21 20:15.24 ---> using "78086396efc7bc2ab0e6d8aff93a8dfeb3805e49d39b088cb5e6ef696a6d7256" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.08' '4.08.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.08.1"} | "ocaml-system" {= "4.08.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.08.1 (cached)
-> installed ocaml-base-compiler.4.08.1
-> installed ocaml-config.1
-> installed ocaml.4.08.1
Done.
# Run eval $(opam env --switch=4.08) to update the current shell environment
2024-02-21 20:15.24 ---> using "0ec3aa1996e9a85dffa4fcd4d455e31287a44ca764276f6b05f0a8199ee7fd6d" 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-02-21-1406.36-F-2024-02-16-1406.51.pdiff [218 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-02-21-1406.36-F-2024-02-16-1406.51.pdiff [218 kB]
- Fetched 479 kB in 4s (113 kB/s)
- Reading package lists...
-
2024-02-21 20:15.24 ---> using "d468302705ec03bb7c1f9ae1d4ea2a3fd2f56f8a19aa0a580c0283e643c0066a" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"FrontC.3.4.2\"\
\nopam install -vy \"FrontC.3.4.2\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"FrontC.3.4.2\" | 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] FrontC.3.4.2 is not installed.
The following actions will be performed:
=== install 1 package
- install FrontC 3.4.2
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/3: [FrontC.3.4.2: http]
Processing 1/3:
-> retrieved FrontC.3.4.2 (https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4_2.tar.gz)
[FrontC: patch] applying opam.patch
Processing 2/3: [FrontC: patch]
Processing 3/3: [FrontC: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "PREFIX=/home/opam/.opam/4.08/lib" "OCAML_SITE=/home/opam/.opam/4.08/lib" (CWD=/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2)
- make[1]: Entering directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/frontc'
- ocamllex -o clexer.ml clexer.mll
- 140 states, 1484 transitions, table size 6776 bytes
- ocamlyacc -v cparser.mly
- 8 shift/reduce conflicts.
- ocamlc -o cabs.cmo -c cabs.ml
- ocamlc -o cxml.cmo -c cxml.ml
- ocamlc -o cprint.cmo -c cprint.ml
- ocamlc -o cparser.cmi -c cparser.mli
- ocamlc -o clexer.cmo -c clexer.ml
- ocamlc -o cparser.cmo -c cparser.ml
- ocamlc -o ctoxml.cmo -c ctoxml.ml
- ocamlc -o frontc.cmo -c frontc.ml
- ocamlc -a -o frontc.cma cabs.cmo cxml.cmo cprint.cmo clexer.cmo cparser.cmo ctoxml.cmo frontc.cmo
- ocamlopt -o cabs.cmx -c cabs.ml
- ocamlopt -o cxml.cmx -c cxml.ml
- ocamlopt -o cprint.cmx -c cprint.ml
- make[1]: Circular cparser.cmx <- clexer.cmx dependency dropped.
- make[1]: Circular cparser.cmx <- clexer.cmx dependency dropped.
- ocamlopt -o cparser.cmx -c cparser.ml
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Clexer, and its interface was not compiled with -opaque
- ocamlopt -o clexer.cmx -c clexer.ml
- ocamlopt -o ctoxml.cmx -c ctoxml.ml
- ocamlopt -o frontc.cmx -c frontc.ml
- ocamlopt -a -o frontc.cmxa cabs.cmx cxml.cmx cprint.cmx clexer.cmx cparser.cmx ctoxml.cmx frontc.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/frontc'
- make[1]: Entering directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/ctoxml'
- ocamlc -I ../frontc -o ctoxml_bin.cmo -c ctoxml_bin.ml
- ctoxml_bin.ml
- ctoxml_bin.cmo
- ocamlc unix.cma ../frontc/frontc.cma -o ctoxml ctoxml_bin.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/ctoxml'
- make[1]: Entering directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/printc'
- ocamlc -I ../frontc -o printc_bin.cmo -c printc_bin.ml
- printc_bin.ml
- printc_bin.cmo
- ocamlc unix.cma ../frontc/frontc.cma -o printc printc_bin.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/printc'
- make[1]: Entering directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/calipso'
- ocamlc -I ../frontc -o gen.cmo -c gen.ml
- ocamlc -I ../frontc -o reduce.cmo -c reduce.ml
- ocamlc -I ../frontc -o label.cmo -c label.ml
- ocamlc -I ../frontc -o algo.cmo -c algo.ml
- ocamlc -I ../frontc -o calipso.cmo -c calipso.ml
- gen.ml reduce.ml label.ml algo.ml calipso.ml
- gen.cmo reduce.cmo label.cmo algo.cmo calipso.cmo
- ocamlc unix.cma ../frontc/frontc.cma -o calipso gen.cmo reduce.cmo label.cmo algo.cmo calipso.cmo
- gen.ml reduce.ml
- gen.cmo reduce.cmo
- ocamlc unix.cma ../frontc/frontc.cma -o calipso_stat gen.cmo reduce.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/calipso'
- make[1]: Entering directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/frontc'
- make[1]: Circular cparser.cmx <- clexer.cmx dependency dropped.
- make[1]: Circular cparser.cmx <- clexer.cmx dependency dropped.
- install -d /home/opam/.opam/4.08/lib/FrontC
- install frontc.cma cabs.cmi cxml.cmi cprint.cmi clexer.cmi cparser.cmi ctoxml.cmi frontc.cmi /home/opam/.opam/4.08/lib/FrontC
- install -d /home/opam/.opam/4.08/lib/FrontC
- install frontc.cmxa frontc.a cabs.cmi cxml.cmi cprint.cmi clexer.cmi cparser.cmi ctoxml.cmi frontc.cmi /home/opam/.opam/4.08/lib/FrontC
- ocamldoc -html -d ../autodoc -t "FrontC" cabs.ml cxml.ml cprint.ml ctoxml.ml frontc.ml
- ../autodoc/style.css: No such file or directory
- Fatal error: exception Failure("../autodoc/Cabs.html: No such file or directory")
- make[1]: *** [Makefile:31: doc] Error 2
- make[1]: Leaving directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/frontc'
- make[1]: Entering directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/ctoxml'
- install -d /home/opam/.opam/4.08/lib/bin
- install ctoxml /home/opam/.opam/4.08/lib/bin
- make[1]: Leaving directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/ctoxml'
- make[1]: Entering directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/printc'
- install printc /home/opam/.opam/4.08/lib/bin
- make[1]: Leaving directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/printc'
- make[1]: Entering directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/calipso'
- install calipso /home/opam/.opam/4.08/lib/bin
- install calipso_stat /home/opam/.opam/4.08/lib/bin
- make[1]: Leaving directory '/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2/calipso'
Processing 3/3: [FrontC: cp META]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "cp" "META" "/home/opam/.opam/4.08/lib/FrontC" (CWD=/home/opam/.opam/4.08/.opam-switch/build/FrontC.3.4.2)
-> installed FrontC.3.4.2
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-21 20:15.39 ---> saved as "d149dc41c5f11660f34cac293d5621875f9f21af8d0dc84e02a6bef6abd24c4c"
Job succeeded
Home|Differences with the last checks|Previous runs