Building on asteria.caelum.ci.dev (from ocaml/opam:debian-unstable) 2024-04-22 17:55.23 ---> 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-04-22 17:55.23 ---> 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 c4b7df5d3d3b3127a642526a9602738f289a8e0b")) 2024-04-22 17:55.23 ---> using "ffb9b2e40c546ce31dc6f75eac0fb0a372fd62901b8bb6dc1b5f51a9f2e506dd" 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-04-22 17:55.23 ---> using "1542764b16e5f440c250016a47c8ff777b98397f0244afcaf081651842e35aeb" 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-04-22 17:55.23 ---> using "ce825d7413b3fac76d492a626670110ed5bf797d5d2380706e8b2608accc46c1" 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-04-22-1417.58-F-2024-04-19-0205.06.pdiff [239 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-04-22-1417.58-F-2024-04-19-0205.06.pdiff [239 kB] - Fetched 501 kB in 1s (357 kB/s) - Reading package lists... 2024-04-22 17:55.23 ---> using "089382cc5ab771d80bd3bc57c3732ccdeec010f0e53980d6a7c418b20dd89bdd" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"unisim_archisec.0.0.8\"\ \nopam install -vy \"unisim_archisec.0.0.8\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"unisim_archisec.0.0.8\" | 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] unisim_archisec.0.0.8 is not installed. The following actions will be performed: === install 4 packages - install conf-g++ 1.0 [required by unisim_archisec] - install conf-gcc 1.0 [required by unisim_archisec] - install dune 3.15.0 [required by unisim_archisec] - install unisim_archisec 0.0.8 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 3/12: Processing 4/12: Processing 5/12: [conf-g++: g++] Processing 6/12: [conf-g++: g++] [conf-gcc: gcc] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "g++" "--version" (CWD=/home/opam/.opam/4.08/.opam-switch/build/conf-g++.1.0) - g++ (Debian 13.2.0-23) 13.2.0 - Copyright (C) 2023 Free Software Foundation, Inc. - This is free software; see the source for copying conditions. There is NO - warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. - -> compiled conf-g++.1.0 Processing 6/12: [conf-gcc: gcc] -> installed conf-g++.1.0 Processing 7/12: [conf-gcc: gcc] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "gcc" "--version" (CWD=/home/opam/.opam/4.08/.opam-switch/build/conf-gcc.1.0) - gcc (Debian 13.2.0-23) 13.2.0 - Copyright (C) 2023 Free Software Foundation, Inc. - This is free software; see the source for copying conditions. There is NO - warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. - -> compiled conf-gcc.1.0 Processing 7/12: -> installed conf-gcc.1.0 Processing 8/12: -> retrieved unisim_archisec.0.0.8 (cached) -> retrieved dune.3.15.0 (cached) Processing 9/12: [dune: ocaml 255] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "255" (CWD=/home/opam/.opam/4.08/.opam-switch/build/dune.3.15.0) - ocamlc -custom -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml - ./.duneboot.exe -j 255 - cd _boot && /home/opam/.opam/4.08/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamLocal.ml - File "vendor/opam/src/repository/opamLocal.ml", line 109, characters 46-225: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamLocal.ml", line 170, characters 44-866: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamLocal.ml", line 209, characters 8-775: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/4.08/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamVCS.ml - File "vendor/opam/src/repository/opamVCS.ml", line 179, characters 11-183: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/4.08/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads dune_util__Gc.ml - File "src/dune_util/gc.ml", line 78, characters 5-351: - Warning 23: all the fields are explicitly listed in this record: - the 'with' clause is useless. - cd _boot && /home/opam/.opam/4.08/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamDownload.ml - File "vendor/opam/src/repository/opamDownload.ml", line 323, characters 42-1950: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/4.08/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamRepository.ml - File "vendor/opam/src/repository/opamRepository.ml", line 88, characters 45-174: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamRepository.ml", line 277, characters 38-236: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamRepository.ml", line 423, characters 12-252: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_, Checksum_mismatch _) - Processing 9/12: [dune: ./_boot/dune.exe build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "255" (CWD=/home/opam/.opam/4.08/.opam-switch/build/dune.3.15.0) -> compiled dune.3.15.0 -> installed dune.3.15.0 Processing 11/12: [unisim_archisec: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "unisim_archisec" "-j" "255" "@install" (CWD=/home/opam/.opam/4.08/.opam-switch/build/unisim_archisec.0.0.8) - (cd _build/default/unisim/util && /usr/bin/gcc -x c++ -O2 -fno-strict-aliasing -fwrapv -fcommon -fPIC -std=gnu++11 -g0 -I../.. -g -I /home/opam/.opam/4.08/lib/ocaml -o binsec.o -c symbolic/binsec/binsec.cc) - In file included from ../../unisim/util/symbolic/vector/vector.hh:38, - from ../../unisim/util/symbolic/binsec/binsec.hh:38, - from symbolic/binsec/binsec.cc:35: - In destructor 'virtual unisim::util::symbolic::Zero::~Zero()', - inlined from 'void unisim::util::symbolic::ExprNode::Release() const' at ../../unisim/util/symbolic/symbolic.hh:123:52, - inlined from 'void unisim::util::symbolic::ExprNode::Release() const' at ../../unisim/util/symbolic/symbolic.hh:123:10, - inlined from 'unisim::util::symbolic::Expr::~Expr()' at ../../unisim/util/symbolic/symbolic.hh:373:38, - inlined from 'virtual const unisim::util::symbolic::ConstNodeBase* unisim::util::symbolic::binsec::BitFilter::Eval(const unisim::util::symbolic::ConstNodeBase**) const' at symbolic/binsec/binsec.cc:410:33: - ../../unisim/util/symbolic/symbolic.hh:144:10: warning: 'void operator delete(void*)' called on unallocated object 'dz' [-Wfree-nonheap-object] - 144 | struct Zero : public ExprNode - | ^~~~ - symbolic/binsec/binsec.cc: In member function 'virtual const unisim::util::symbolic::ConstNodeBase* unisim::util::symbolic::binsec::BitFilter::Eval(const unisim::util::symbolic::ConstNodeBase**) const': - symbolic/binsec/binsec.cc:407:10: note: declared here - 407 | Zero dz(GetType()); dz.Retain(); // Prevent deletion of this stack-allocated object - | ^~ - In destructor 'virtual unisim::util::symbolic::Zero::~Zero()', - inlined from 'void unisim::util::symbolic::ExprNode::Release() const' at ../../unisim/util/symbolic/symbolic.hh:123:52, - inlined from 'void unisim::util::symbolic::ExprNode::Release() const' at ../../unisim/util/symbolic/symbolic.hh:123:10, - inlined from 'unisim::util::symbolic::Expr::~Expr()' at ../../unisim/util/symbolic/symbolic.hh:373:38, - inlined from 'virtual const unisim::util::symbolic::ConstNodeBase* unisim::util::symbolic::binsec::BitFilter::Eval(const unisim::util::symbolic::ConstNodeBase**) const' at symbolic/binsec/binsec.cc:417:33: - ../../unisim/util/symbolic/symbolic.hh:144:10: warning: 'void operator delete(void*)' called on unallocated object 'dz' [-Wfree-nonheap-object] - 144 | struct Zero : public ExprNode - | ^~~~ - symbolic/binsec/binsec.cc: In member function 'virtual const unisim::util::symbolic::ConstNodeBase* unisim::util::symbolic::binsec::BitFilter::Eval(const unisim::util::symbolic::ConstNodeBase**) const': - symbolic/binsec/binsec.cc:407:10: note: declared here - 407 | Zero dz(GetType()); dz.Retain(); // Prevent deletion of this stack-allocated object - | ^~ - (cd _build/default/aarch32 && /usr/bin/gcc -x c++ -O2 -fno-strict-aliasing -fwrapv -fcommon -fPIC -std=gnu++11 -g0 -I. -I.. -g -I /home/opam/.opam/4.08/lib/ocaml -o decoder.o -c decoder.cc) - In file included from decoder.cc:39: - In destructor 'virtual unisim::util::symbolic::binsec::RegRead<aarch32::Processor::ForeignRegisterID>::~RegRead()', - inlined from 'void unisim::util::symbolic::ExprNode::Release() const' at ../unisim/util/symbolic/symbolic.hh:123:52, - inlined from 'void unisim::util::symbolic::ExprNode::Release() const' at ../unisim/util/symbolic/symbolic.hh:123:10, - inlined from 'unisim::util::symbolic::Expr::~Expr()' at ../unisim/util/symbolic/symbolic.hh:373:38, - inlined from 'bool aarch32::Processor::close(const aarch32::Processor&, uint32_t)' at decoder.cc:364:28: - ../unisim/util/symbolic/binsec/binsec.hh:319:10: warning: 'void operator delete(void*)' called on unallocated object 'ref' [-Wfree-nonheap-object] - 319 | struct RegRead : public RegReadBase - | ^~~~~~~ - decoder.cc: In member function 'bool aarch32::Processor::close(const aarch32::Processor&, uint32_t)': - decoder.cc:362:68: note: declared here - 362 | unisim::util::symbolic::binsec::RegRead<ForeignRegisterID> ref(ForeignRegisterID(itr->first.first, itr->first.second)); - | ^~~ -> compiled unisim_archisec.0.0.8 -> installed unisim_archisec.0.0.8 Done. # Run eval $(opam env) to update the current shell environment 2024-04-22 17:58.25 ---> saved as "5cbaea29b8013589128790afa64266d96fb71fd79ac2b8fa36adb062852d8f99" Job succeeded