Building on x86-bm-13.ocamllabs.io
(from ocaml/opam:debian-unstable)
WARNING: Error loading config file: .dockercfg: $HOME is not defined
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:a32e554d37007cabaf12da2261dad1c6890fb793357d4499f39865f3c85d81ab
Status: Downloaded newer image for ocaml/opam:debian-unstable
2021-09-03 15:08.18 ---> 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-2.1 /usr/bin/opam"))
2021-09-03 15:08.18 ---> using "4d29eb3e0b7cd69a97ed90837671d5ca38aa41e2fb94346298af500378eca6fa" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'git://github.com/ocaml/opam-repository.git' ~/opam-repository && git -C ~/opam-repository checkout -q 8fc7af65ccb8f3b3709bf02b749ac492e6700b59"))
2021-09-03 15:08.18 ---> using "eb095db6df41eeadc708604343f7b0ce0892db9136dac67a38046f57271c5802" 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.
2021-09-03 15:08.18 ---> using "d245c9af6f86b2b97434d338a3fbb8270425ab7dc6ad1b5451665adc9698eabf" 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-09-03 15:08.18 ---> using "20d9850dcecd0523d6eddecad814e9bbd93882334348605bfa6e15ffd8f5ced5" from cache
/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
2021-09-03 15:08.18 ---> using "6f8879c5099d2146b69bdcec3874fd111cad6c5c42ac63d5f9aa72a228fd8ee8" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=beta,default 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.1) to update the current shell environment
2021-09-03 15:08.18 ---> using "3b2d7887954bce1c4fe8757a8a21d87040e70622692502bb8636040e7549e639" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [165 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 [8766 kB]
- Fetched 8994 kB in 4s (2428 kB/s)
- Reading package lists...
-
2021-09-03 15:08.18 ---> using "a1a34dd6254b0880f63d8cba275a31f058b4f59b63e4d68899d68af1ddf46b6c" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"conf-ida.0.3\"\
\nopam install -vy \"conf-ida.0.3\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"conf-ida.0.3\" | 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-ida.0.3 is not installed.
The following actions will be performed:
- install conf-which 1 [required by conf-ida]
- install conf-ida 0.3
===== 2 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 3/6: [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "which" (CWD=/home/opam/.opam/4.08.1/.opam-switch/build/conf-which.1)
- /usr/bin/which
-> compiled conf-which.1
-> installed conf-which.1
[conf-ida: subst] expanding opam variables in find-ida.ml.in, generating find-ida.ml
Processing 5/6: [conf-ida: ocaml unix.cma]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "unix.cma" "find-ida.ml" (CWD=/home/opam/.opam/4.08.1/.opam-switch/build/conf-ida.0.3)
- command which ida64 failed: exit status 1
- command which idaq64 failed: exit status 1
- failed to locate IDA Pro
[ERROR] The compilation of conf-ida.0.3 failed at "ocaml unix.cma find-ida.ml".
#=== ERROR while compiling conf-ida.0.3 =======================================#
# context 2.1.0 | linux/x86_64 | ocaml-base-compiler.4.08.1 | file:///home/opam/opam-repository
# path ~/.opam/4.08.1/.opam-switch/build/conf-ida.0.3
# command ~/.opam/opam-init/hooks/sandbox.sh build ocaml unix.cma find-ida.ml
# exit-code 1
# env-file ~/.opam/log/conf-ida-19-76324a.env
# output-file ~/.opam/log/conf-ida-19-76324a.out
### output ###
# command which ida64 failed: exit status 1
# command which idaq64 failed: exit status 1
# failed to locate IDA Pro
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build conf-ida 0.3
+-
+- The following changes have been performed
| - install conf-which 1
+-
<><> conf-ida.0.3 troubleshooting <><><><><><><><><><><><><><><><><><><><><><><>
=> We search in the following locations:
=> $HOME
=> up to depth 4, and no more than 1024 entries in total. The first found entry is used. To control the search use the 'ida-path' opam variable or the 'IDA_PATH' environment variable.
# Run eval $(opam env) to update the current shell environment
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/4.08.1/.opam-switch/backup/state-20210903150822.export"
'opam install -vy conf-ida.0.3' failed.
This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.
"/bin/bash" "-c"
"
opam remove -y "conf-ida.0.3"
opam install -vy "conf-ida.0.3"
res=$?
if [ $res = 31 ]; then
if opam show -f x-ci-accept-failures: "conf-ida.0.3" | grep -q '"debian-unstable"'; then
echo "This package failed and has been disabled for CI using the 'x-ci-accept-failures' field."
exit 69
fi
fi
exit $res
" failed with exit status 69
Failed: Build failed
Home|Differences with the last checks|Previous runs