Building on asteria.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:48.22 ---> 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:48.22 ---> 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:48.22 ---> 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:48.22 ---> using "f46d72ea67943cab7c832114e4ca486dbfd4f12ff8812515d1a06b3a229da8ee" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.06' '4.06.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.06.1"} | "ocaml-system" {= "4.06.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.06.1 (cached)
-> installed ocaml-base-compiler.4.06.1
-> installed ocaml-config.1
-> installed ocaml.4.06.1
Done.
# Run eval $(opam env --switch=4.06) to update the current shell environment
2022-11-02 22:48.22 ---> using "5c889e0cb624e4f5fe51252fe1a3fddf3fd9500f9b8cb48cf05e8ec0cace814e" 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 (229 kB/s)
- Reading package lists...
2022-11-02 22:48.22 ---> using "433b1bd648a832dd2b45983f48a5853269fb8bf30afe024ef0c3ce879bb42dc8" 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 1 package
- 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
2022-11-02 22:48.22 ---> using "f3b88ca4032c21db8f56567b01af0421e5aea52e394b812c2b0a8d67a6ad2dab" 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 2 packages
- install conf-ida 0.3
- install conf-which 1 [required by conf-ida]
<><> 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.06/.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.06/.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.2.0~alpha~dev | linux/x86_64 | ocaml-base-compiler.4.06.1 | file:///home/opam/opam-repository
# path ~/.opam/4.06/.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-8-33de51.env
# output-file ~/.opam/log/conf-ida-8-33de51.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.06/.opam-switch/backup/state-20221102224830.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