From 7b8c97b6b7cc509422b1ff0ccfb4a7aeea556ffd Mon Sep 17 00:00:00 2001 From: Shakthi Kannan Date: Mon, 3 Jul 2023 00:47:30 +0100 Subject: [PATCH] Automated commit (Navajo) --- ...be43518c774549da354680064c540294081da1.log | 402 ++++++++++++++++++ ...be43518c774549da354680064c540294081da1.log | 402 ++++++++++++++++++ ...be43518c774549da354680064c540294081da1.log | 396 +++++++++++++++++ ...be43518c774549da354680064c540294081da1.log | 396 +++++++++++++++++ ...be43518c774549da354680064c540294081da1.log | 396 +++++++++++++++++ 5 files changed, 1992 insertions(+) create mode 100644 parallel/navajo/20230703_001722/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+parallel.20230703_001722.c7be43518c774549da354680064c540294081da1.log create mode 100644 pausetimes_par/navajo/20230703_003951/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+pausetimes_par.20230703_003951.c7be43518c774549da354680064c540294081da1.log create mode 100644 pausetimes_seq/navajo/20230703_003226/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+pausetimes_seq.20230703_003226.c7be43518c774549da354680064c540294081da1.log create mode 100644 perfstat/navajo/20230703_002459/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+perfstat.20230703_002459.c7be43518c774549da354680064c540294081da1.log create mode 100644 sequential/navajo/20230703_001002/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+sequential.20230703_001002.c7be43518c774549da354680064c540294081da1.log diff --git a/parallel/navajo/20230703_001722/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+parallel.20230703_001722.c7be43518c774549da354680064c540294081da1.log b/parallel/navajo/20230703_001722/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+parallel.20230703_001722.c7be43518c774549da354680064c540294081da1.log new file mode 100644 index 000000000..a17298413 --- /dev/null +++ b/parallel/navajo/20230703_001722/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+parallel.20230703_001722.c7be43518c774549da354680064c540294081da1.log @@ -0,0 +1,402 @@ + intervaltree is not installed. Install using pip3 install. +5.2.0 +Filtering some benchmarks for OCaml 5.2.0 +opam init --bare --no-setup --no-opamrc --disable-sandboxing ./dependencies +[NOTE] Will configure from built-in defaults. +Checking for available remotes: rsync and local, git, mercurial. + - you won't be able to use darcs repositories unless you install the darcs command on your system. + + +<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> +[default] Initialised +rm -rf dependencies/packages/ocaml/ocaml.5.2.0+trunk +rm -rf dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk +mkdir -p dependencies/packages/ocaml/ocaml.5.2.0+trunk +cp -R dependencies/template/ocaml/* dependencies/packages/ocaml/ocaml.5.2.0+trunk/ +mkdir -p dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk +cp -R dependencies/template/ocaml-base-compiler/* \ + dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk/ +{ if [ "https://github.com/ocaml/ocaml/archive/trunk.tar.gz" == "" ]; then \ + url="$(jq -r '.url // empty' ocaml-versions/5.2.0+trunk.json)"; \ + else \ + url="https://github.com/ocaml/ocaml/archive/trunk.tar.gz"; \ + fi; \ + echo "url { src: \"$url\" }"; echo "setenv: [ [ ORUN_CONFIG_ocaml_url = \"$url\" ] ]"; } \ +>> dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk/opam; +# Read OCAML_CONFIG_OPTION from the ocaml-version/5.2.0+trunk.json file if env +# variable is not set already. The variable is read even if the +# environment variable is set to be empty. `run_all_custom.sh` always +# sets the OCAML_CONFIG_OPTION -- it is empty if no "configure" key is +# present in the sandmark nightly config file. +# Read OCAML_RUN_PARAM from the ocaml-version/5.2.0+trunk.json file if env +# variable is not set already. See comment above for +# OCAML_CONFIG_OPTION. +opam update + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] synchronised from file:///tmp/sandmark/dependencies +Now run 'opam upgrade' to apply any package updates. +OCAMLRUNPARAM="" OCAMLCONFIGOPTION="" opam switch create --keep-build-dir --yes 5.2.0+trunk ocaml-base-compiler.5.2.0+trunk + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[ocaml-base-compiler.5.2.0+trunk] downloaded from https://github.com/ocaml/ocaml/archive/trunk.tar.gz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed base-bigarray.base +∗ installed base-threads.base +∗ installed base-unix.base +∗ installed ocaml-base-compiler.5.2.0+trunk +∗ installed ocaml-config.1 +∗ installed ocaml.5.2.0+trunk +Done. +# Run eval $(opam env) to update the current shell environment +Package sexplib0 does not exist, create as a NEW package? [Y/n] y +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0] synchronised from git+https://github.com/shakthimaan/sexplib0.git#multicore +sexplib0 is now pinned to git+https://github.com/shakthimaan/sexplib0.git#multicore (version v0.15.0) +# TODO remove pin when a new orun version is released on opam +opam pin add -n --yes --switch 5.2.0+trunk orun https://github.com/ocaml-bench/orun.git +Package orun does not exist, create as a NEW package? [Y/n] y +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev] synchronised from git+https://github.com/ocaml-bench/orun.git +orun is now pinned to git+https://github.com/ocaml-bench/orun.git (version 0.1) +# TODO remove pin when a new runtime_events_tools is released on opam +opam pin add -n --yes --switch 5.2.0+trunk runtime_events_tools https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +Package runtime_events_tools does not exist, create as a NEW package? [Y/n] y +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev] synchronised from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +runtime_events_tools is now pinned to git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 (version ~dev) +opam pin add -n --yes --switch 5.2.0+trunk ocamlfind https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +Package ocamlfind does not exist, create as a NEW package? [Y/n] y +[ocamlfind.~dev: http] +[ocamlfind.~dev] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +ocamlfind is now pinned to https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz (version 1.9.3.git) +opam pin add -n --yes --switch 5.2.0+trunk base.v0.14.3 https://github.com/janestreet/base.git#v0.14.3 +Package base does not exist, create as a NEW package? [Y/n] y +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3] synchronised from git+https://github.com/janestreet/base.git#v0.14.3 +base is now pinned to git+https://github.com/janestreet/base.git#v0.14.3 (version v0.14.3) +opam pin add -n --yes --switch 5.2.0+trunk coq-core https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +Package coq-core does not exist, create as a NEW package? [Y/n] y +[coq-core.~dev: http] +[coq-core.~dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +coq-core is now pinned to https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz (version dev) +opam pin add -n --yes --switch 5.2.0+trunk coq-stdlib https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +Package coq-stdlib does not exist, create as a NEW package? [Y/n] y +[coq-stdlib.~dev: http] +[coq-stdlib.~dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +coq-stdlib is now pinned to https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz (version dev) +Using default dune.3.5.0 +/home/sandmark/.opam/ocaml-base-compiler.4.13.1 +Linking to system dune files found at: /home/sandmark/.opam/ocaml-base-compiler.4.13.1 +/home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/dune --version = n/a +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/dune /tmp/sandmark/_opam/sys_dune/bin/dune +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/jbuilder /tmp/sandmark/_opam/sys_dune/bin/jbuilder +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/lib/dune /tmp/sandmark/_opam/sys_dune/lib/dune +opam repo add upstream "git+https://github.com/ocaml/opam-repository.git" --on-switch=5.2.0+trunk --rank 2 +[upstream] Initialised +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + +opam install --switch=5.2.0+trunk --yes ocamlfind + +<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz + +The following actions will be performed: + ∗ install ocamlfind 1.9.3.git* + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed ocamlfind.1.9.3.git +Done. +# Run eval $(opam env) to update the current shell environment +opam install --switch=5.2.0+trunk --yes "dune.3.5.0" "dune-configurator.3.5.0" +The following actions will be performed: + ∗ install dune 3.5.0 + ∗ install csexp 1.5.2 [required by dune-configurator] + ∗ install dune-configurator 3.5.0 +===== ∗ 3 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[csexp.1.5.2] downloaded from https://github.com/ocaml-dune/csexp/releases/download/1.5.2/csexp-1.5.2.tbz +[dune.3.5.0] downloaded from https://github.com/ocaml/dune/releases/download/3.5.0/dune-3.5.0.tbz +[dune-configurator.3.5.0] downloaded from https://github.com/ocaml/dune/releases/download/3.5.0/dune-3.5.0.tbz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed dune.3.5.0 +∗ installed csexp.1.5.2 +∗ installed dune-configurator.3.5.0 +Done. +# Run eval $(opam env) to update the current shell environment +# Pin the version so it doesn't change when installing packages +opam pin add --switch=5.2.0+trunk --yes -n dune "3.5.0" +dune is now pinned to version 3.5.0 +# Retrieve set of version constraints for chosen OCaml version +Using template/dev-5.2.0+trunk.opam +# Conditionally install runtime_events_tools for olly (pausetimes) +Enabling pausetimes for OCaml >= 5 +opam repo add alpha git+https://github.com/kit-ty-kate/opam-alpha-repository.git --on-switch=5.2.0+trunk --rank 2 +[alpha] Initialised +opam exec --switch 5.2.0+trunk -- opam update + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] no changes from file:///tmp/sandmark/dependencies +[alpha] no changes from git+https://github.com/kit-ty-kate/opam-alpha-repository.git +[upstream] no changes from git+https://github.com/ocaml/opam-repository.git +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + + +<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> +[base.v0.14.3] no changes from git+https://github.com/janestreet/base.git#v0.14.3 +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +[coq-core.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[coq-stdlib.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[orun.0.1] no changes from git+https://github.com/ocaml-bench/orun.git +[runtime_events_tools.~dev] no changes from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] no changes from git+https://github.com/shakthimaan/sexplib0.git#multicore +opam install --switch=5.2.0+trunk --yes "lru" "psq" +The following actions will be performed: + ∗ install seq base [required by psq] + ∗ install psq 0.2.1 + ∗ install lru 0.3.1 +===== ∗ 3 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[lru.0.3.1] downloaded from https://github.com/pqwy/lru/releases/download/v0.3.1/lru-0.3.1.tbz +[psq.0.2.1] downloaded from https://github.com/pqwy/psq/releases/download/v0.2.1/psq-0.2.1.tbz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed seq.base +∗ installed psq.0.2.1 +∗ installed lru.0.3.1 +Done. +# Run eval $(opam env) to update the current shell environment +opam exec --switch 5.2.0+trunk -- opam list +# Packages matching: installed +# Name # Installed # Synopsis +base-bigarray base +base-threads base +base-unix base +csexp 1.5.2 Parsing and printing of S-expressions in Canonical form +dune 3.5.0 pinned to version 3.5.0 +dune-configurator 3.5.0 Helper library for gathering system configuration +lru 0.3.1 Scalable LRU caches +ocaml 5.2.0+trunk The OCaml compiler (virtual package) +ocaml-base-compiler 5.2.0+trunk OCaml compiler +ocaml-config 1 OCaml Switch Configuration +ocamlfind 1.9.3.git pinned to version 1.9.3.git at https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +psq 0.2.1 Functional Priority Search Queues +seq base Compatibility package for OCaml's standard iterator type starting from 4.07. +opam update --switch=5.2.0+trunk + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] no changes from file:///tmp/sandmark/dependencies +[alpha] no changes from git+https://github.com/kit-ty-kate/opam-alpha-repository.git +[upstream] no changes from git+https://github.com/ocaml/opam-repository.git +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + + +<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> +[base.v0.14.3] no changes from git+https://github.com/janestreet/base.git#v0.14.3 +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +[coq-stdlib.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[orun.0.1] no changes from git+https://github.com/ocaml-bench/orun.git +[coq-core.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[runtime_events_tools.~dev] no changes from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] no changes from git+https://github.com/shakthimaan/sexplib0.git#multicore +The following actions will be performed: + ∗ install conf-gmp 1 + ∗ install cmdliner 1.2.0 + ∗ install conf-pkg-config 1.2 + ∗ install conf-findutils 1 + ∗ install conf-m4 1 + ∗ install ocaml-syntax-shims 1.0.0 + ∗ install re 1.10.4 + ∗ install conf-cmake 1 + ∗ install stdlib-shims 0.1.0 + ∗ install domainslib 0.4.2 + ∗ install either 1.0.0 + ∗ install menhirLib 20200612 + ∗ install stringext 1.6.0 + ∗ install menhirSdk 20200612 + ∗ install bigarray-compat 1.1.0 + ∗ install base-bytes base + ∗ install conf-perl 1 + ∗ install cppo 1.6.7 + ∗ install ocamlbuild 0.14.2 + ∗ install sexplib0 v0.15.0* + ∗ install minilight 1.6 + ∗ install num 1.3 + ∗ install camlp-streams 5.0 + ∗ install optint 0.3.0 + ∗ install result 1.5 + ∗ install conf-which 1 + ∗ install domain_shims 0.1.0 + ∗ install conf-zlib 1 + ∗ install conf-libffi 2.0.0 + ∗ install ocamlgraph 2.0.0 + ∗ install integers 0.7.0 + ∗ install menhir 20200612 + ∗ install bigstringaf 0.6.1 + ∗ install base64 3.4.0 + ∗ install zarith 1.10 + ∗ install yojson 2.1.0 + ∗ install ocplib-endian 1.2 + ∗ install topkg 1.0.7 + ∗ install nbcodec 20151119 + ∗ install cubicle 1.2.0 + ∗ install checkseum 0.3.4 + ∗ install conf-autoconf 0.1 + ∗ install camlzip 1.11 + ∗ install ctypes-foreign 0.18.0 + ∗ install psmt2-frontend 0.4.0 + ∗ install angstrom 0.15.0 + ∗ install rungen 0.0.1 + ∗ install orun 0.1* + ∗ install lwt 5.6.1 + ∗ install uutf 1.0.3 + ∗ install uuidm 0.9.8 + ∗ install rresult 0.6.0 + ∗ install react 1.2.2 + ∗ install mtime 1.2.0 + ∗ install fmt 0.9.0 + ∗ install astring 0.8.5 + ∗ install decompress 1.1.0 + ∗ install ocplib-simplex 0.4.1 + ∗ install ctypes 0.20.2 + ∗ install uri 4.1.0 + ∗ install jsonm 1.0.2 + ∗ install logs 0.7.0 + ∗ install cstruct 6.2.0 + ∗ install alcotest 1.7.0 + ∗ install alt-ergo-lib 2.4.2 + ∗ install hdr_histogram 0.0.2 + ∗ install repr 0.6.0 + ∗ install eqaf 0.9 + ∗ install lockfree 0.3.1 + ∗ install alt-ergo-parsers 2.4.2 + ∗ install runtime_events_tools ~dev* + ∗ install digestif 1.0.0 + ∗ install alt-ergo 2.4.2 +===== ∗ 73 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[alcotest.1.7.0] downloaded from https://github.com/mirage/alcotest/releases/download/1.7.0/alcotest-1.7.0.tbz +[alt-ergo.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[alt-ergo-parsers.2.4.2] found in cache +[astring.0.8.5] downloaded from https://erratique.ch/software/astring/releases/astring-0.8.5.tbz +[angstrom.0.15.0] downloaded from cache at https://opam.ocaml.org/cache/ +[base64.3.4.0] downloaded from https://github.com/mirage/ocaml-base64/releases/download/v3.4.0/base64-v3.4.0.tbz +[bigarray-compat.1.1.0] downloaded from https://github.com/mirage/bigarray-compat/releases/download/v1.1.0/bigarray-compat-1.1.0.tbz +[alt-ergo-lib.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[bigstringaf.0.6.1] downloaded from https://github.com/inhabitedtype/bigstringaf/archive/0.6.1.tar.gz +[camlp-streams.5.0] downloaded from https://github.com/ocaml/camlp-streams/archive/refs/tags/v5.0.tar.gz +[camlzip.1.11] downloaded from https://github.com/xavierleroy/camlzip/archive/rel111.tar.gz +[cmdliner.1.2.0] downloaded from https://erratique.ch/software/cmdliner/releases/cmdliner-1.2.0.tbz +[cppo.1.6.7] downloaded from cache at https://opam.ocaml.org/cache/ +[checkseum.0.3.4] downloaded from https://github.com/mirage/checkseum/releases/download/v0.3.4/checkseum-0.3.4.tbz +[cstruct.6.2.0] downloaded from https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz +[ctypes.0.20.2] downloaded from https://github.com/ocamllabs/ocaml-ctypes/archive/0.20.2.tar.gz +[cubicle.1.2.0] downloaded from https://github.com/cubicle-model-checker/cubicle/releases/download/1.2.0/cubicle-1.2.0.tar.gz +[domain_shims.0.1.0] downloaded from https://gitlab.com/gasche/domain-shims/-/archive/0.1.0/domain-shims-0.1.0.tar.gz +[decompress.1.1.0] downloaded from https://github.com/mirage/decompress/releases/download/v1.1.0/decompress-v1.1.0.tbz +[digestif.1.0.0] downloaded from https://github.com/mirage/digestif/releases/download/v1.0.0/digestif-v1.0.0.tbz +[domainslib.0.4.2] downloaded from cache at https://opam.ocaml.org/cache/ +[either.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[eqaf.0.9] downloaded from https://github.com/mirage/eqaf/releases/download/v0.9/eqaf-0.9.tbz +[fmt.0.9.0] downloaded from https://erratique.ch/software/fmt/releases/fmt-0.9.0.tbz +[hdr_histogram.0.0.2] downloaded from https://github.com/ocaml-multicore/hdr_histogram_ocaml/releases/download/v0.0.2/hdr_histogram-0.0.2.tbz +[jsonm.1.0.2] downloaded from https://erratique.ch/software/jsonm/releases/jsonm-1.0.2.tbz +[integers.0.7.0] downloaded from https://github.com/yallop/ocaml-integers/archive/0.7.0.tar.gz +[lockfree.0.3.1] downloaded from https://github.com/ocaml-multicore/lockfree/releases/download/0.3.1/lockfree-0.3.1.tbz +[logs.0.7.0] downloaded from https://erratique.ch/software/logs/releases/logs-0.7.0.tbz +[mtime.1.2.0] downloaded from cache at https://opam.ocaml.org/cache/ +[lwt.5.6.1] downloaded from https://github.com/ocsigen/lwt/archive/5.6.1.tar.gz +[minilight.1.6] downloaded from http://www.hxa.name/minilight/minilight16ocaml.tar.gz +[ocaml-syntax-shims.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[num.1.3] downloaded from https://github.com/ocaml/num/archive/v1.3.tar.gz +[nbcodec.20151119] downloaded from https://github.com/dbuenzli/nbcodec/archive/54ede66d0f552628625c9e0599df592bda63ab2e.tar.gz +[ocamlgraph.2.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[ocamlbuild.0.14.2] downloaded from https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.14.2.tar.gz +[ocplib-endian.1.2] downloaded from https://github.com/OCamlPro/ocplib-endian/archive/refs/tags/1.2.tar.gz +[ocplib-simplex.0.4.1] downloaded from https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.4.1.tar.gz +[optint.0.3.0] downloaded from https://github.com/mirage/optint/releases/download/v0.3.0/optint-0.3.0.tbz +[psmt2-frontend.0.4.0] downloaded from https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz +[react.1.2.2] downloaded from https://erratique.ch/software/react/releases/react-1.2.2.tbz +[re.1.10.4] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.10.4/re-1.10.4.tbz +[repr.0.6.0] downloaded from https://github.com/mirage/repr/releases/download/0.6.0/repr-fuzz-0.6.0.tbz +[result.1.5] downloaded from cache at https://opam.ocaml.org/cache/ +[rresult.0.6.0] downloaded from http://erratique.ch/software/rresult/releases/rresult-0.6.0.tbz +[rungen.0.0.1] downloaded from https://github.com/shakthimaan/rungen/releases/download/v0.0.1/rungen-v0.0.1.tbz +[stdlib-shims.0.1.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.1.0/stdlib-shims-0.1.0.tbz +[runtime_events_tools.~dev] synchronised from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] synchronised from git+https://github.com/shakthimaan/sexplib0.git#multicore +[topkg.1.0.7] downloaded from https://erratique.ch/software/topkg/releases/topkg-1.0.7.tbz +[stringext.1.6.0] downloaded from https://github.com/rgrinberg/stringext/releases/download/1.6.0/stringext-1.6.0.tbz +[uri.4.1.0] downloaded from cache at https://opam.ocaml.org/cache/ +[uuidm.0.9.8] downloaded from https://erratique.ch/software/uuidm/releases/uuidm-0.9.8.tbz +[uutf.1.0.3] downloaded from https://erratique.ch/software/uutf/releases/uutf-1.0.3.tbz +[yojson.2.1.0] downloaded from https://github.com/ocaml-community/yojson/releases/download/2.1.0/yojson-2.1.0.tbz +[zarith.1.10] downloaded from https://github.com/ocaml/Zarith/archive/release-1.10.tar.gz +[ERROR] The sources of the following couldn't be obtained, aborting: + - menhir.20200612: Curl failed + - menhirLib.20200612: Curl failed + - menhirSdk.20200612: Curl failed + +# Packages matching: installed +# Name # Installed # Synopsis +base-bigarray base +base-threads base +base-unix base +csexp 1.5.2 Parsing and printing of S-expressions in Canonical form +dune 3.5.0 pinned to version 3.5.0 +dune-configurator 3.5.0 Helper library for gathering system configuration +lru 0.3.1 Scalable LRU caches +ocaml 5.2.0+trunk The OCaml compiler (virtual package) +ocaml-base-compiler 5.2.0+trunk OCaml compiler +ocaml-config 1 OCaml Switch Configuration +ocamlfind 1.9.3.git pinned to version 1.9.3.git at https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +psq 0.2.1 Functional Priority Search Queues +seq base Compatibility package for OCaml's standard iterator type starting from 4.07. +git log -n 1 +commit 772341deec33729b85d6a98f323c337e6a757b2d +Author: fabbing +Date: Wed May 24 17:46:14 2023 +0200 + + Add @stedolan `markbench` benchmark for prefetching + + Co-authored-by: "Antonin Décimo " +opam exec --switch 5.2.0+trunk -- rungen _build/5.2.0+trunk_1 multicore_parallel_navajo_run_config_filtered.json > runs_dune.inc +[ERROR] Command not found 'rungen' +make: *** [Makefile:255: ocaml-versions/5.2.0+trunk.bench] Error 127 diff --git a/pausetimes_par/navajo/20230703_003951/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+pausetimes_par.20230703_003951.c7be43518c774549da354680064c540294081da1.log b/pausetimes_par/navajo/20230703_003951/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+pausetimes_par.20230703_003951.c7be43518c774549da354680064c540294081da1.log new file mode 100644 index 000000000..afd37e523 --- /dev/null +++ b/pausetimes_par/navajo/20230703_003951/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+pausetimes_par.20230703_003951.c7be43518c774549da354680064c540294081da1.log @@ -0,0 +1,402 @@ + intervaltree is not installed. Install using pip3 install. +5.2.0 +Filtering some benchmarks for OCaml 5.2.0 +opam init --bare --no-setup --no-opamrc --disable-sandboxing ./dependencies +[NOTE] Will configure from built-in defaults. +Checking for available remotes: rsync and local, git, mercurial. + - you won't be able to use darcs repositories unless you install the darcs command on your system. + + +<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> +[default] Initialised +rm -rf dependencies/packages/ocaml/ocaml.5.2.0+trunk +rm -rf dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk +mkdir -p dependencies/packages/ocaml/ocaml.5.2.0+trunk +cp -R dependencies/template/ocaml/* dependencies/packages/ocaml/ocaml.5.2.0+trunk/ +mkdir -p dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk +cp -R dependencies/template/ocaml-base-compiler/* \ + dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk/ +{ if [ "https://github.com/ocaml/ocaml/archive/trunk.tar.gz" == "" ]; then \ + url="$(jq -r '.url // empty' ocaml-versions/5.2.0+trunk.json)"; \ + else \ + url="https://github.com/ocaml/ocaml/archive/trunk.tar.gz"; \ + fi; \ + echo "url { src: \"$url\" }"; echo "setenv: [ [ ORUN_CONFIG_ocaml_url = \"$url\" ] ]"; } \ +>> dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk/opam; +# Read OCAML_CONFIG_OPTION from the ocaml-version/5.2.0+trunk.json file if env +# variable is not set already. The variable is read even if the +# environment variable is set to be empty. `run_all_custom.sh` always +# sets the OCAML_CONFIG_OPTION -- it is empty if no "configure" key is +# present in the sandmark nightly config file. +# Read OCAML_RUN_PARAM from the ocaml-version/5.2.0+trunk.json file if env +# variable is not set already. See comment above for +# OCAML_CONFIG_OPTION. +opam update + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] synchronised from file:///tmp/sandmark/dependencies +Now run 'opam upgrade' to apply any package updates. +OCAMLRUNPARAM="" OCAMLCONFIGOPTION="" opam switch create --keep-build-dir --yes 5.2.0+trunk ocaml-base-compiler.5.2.0+trunk + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[ocaml-base-compiler.5.2.0+trunk] downloaded from https://github.com/ocaml/ocaml/archive/trunk.tar.gz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed base-bigarray.base +∗ installed base-threads.base +∗ installed base-unix.base +∗ installed ocaml-base-compiler.5.2.0+trunk +∗ installed ocaml-config.1 +∗ installed ocaml.5.2.0+trunk +Done. +# Run eval $(opam env) to update the current shell environment +Package sexplib0 does not exist, create as a NEW package? [Y/n] y +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0] synchronised from git+https://github.com/shakthimaan/sexplib0.git#multicore +sexplib0 is now pinned to git+https://github.com/shakthimaan/sexplib0.git#multicore (version v0.15.0) +# TODO remove pin when a new orun version is released on opam +opam pin add -n --yes --switch 5.2.0+trunk orun https://github.com/ocaml-bench/orun.git +Package orun does not exist, create as a NEW package? [Y/n] y +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev] synchronised from git+https://github.com/ocaml-bench/orun.git +orun is now pinned to git+https://github.com/ocaml-bench/orun.git (version 0.1) +# TODO remove pin when a new runtime_events_tools is released on opam +opam pin add -n --yes --switch 5.2.0+trunk runtime_events_tools https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +Package runtime_events_tools does not exist, create as a NEW package? [Y/n] y +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev] synchronised from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +runtime_events_tools is now pinned to git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 (version ~dev) +opam pin add -n --yes --switch 5.2.0+trunk ocamlfind https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +Package ocamlfind does not exist, create as a NEW package? [Y/n] y +[ocamlfind.~dev: http] +[ocamlfind.~dev] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +ocamlfind is now pinned to https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz (version 1.9.3.git) +opam pin add -n --yes --switch 5.2.0+trunk base.v0.14.3 https://github.com/janestreet/base.git#v0.14.3 +Package base does not exist, create as a NEW package? [Y/n] y +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3] synchronised from git+https://github.com/janestreet/base.git#v0.14.3 +base is now pinned to git+https://github.com/janestreet/base.git#v0.14.3 (version v0.14.3) +opam pin add -n --yes --switch 5.2.0+trunk coq-core https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +Package coq-core does not exist, create as a NEW package? [Y/n] y +[coq-core.~dev: http] +[coq-core.~dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +coq-core is now pinned to https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz (version dev) +opam pin add -n --yes --switch 5.2.0+trunk coq-stdlib https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +Package coq-stdlib does not exist, create as a NEW package? [Y/n] y +[coq-stdlib.~dev: http] +[coq-stdlib.~dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +coq-stdlib is now pinned to https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz (version dev) +Using default dune.3.5.0 +/home/sandmark/.opam/ocaml-base-compiler.4.13.1 +Linking to system dune files found at: /home/sandmark/.opam/ocaml-base-compiler.4.13.1 +/home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/dune --version = n/a +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/dune /tmp/sandmark/_opam/sys_dune/bin/dune +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/jbuilder /tmp/sandmark/_opam/sys_dune/bin/jbuilder +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/lib/dune /tmp/sandmark/_opam/sys_dune/lib/dune +opam repo add upstream "git+https://github.com/ocaml/opam-repository.git" --on-switch=5.2.0+trunk --rank 2 +[upstream] Initialised +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + +opam install --switch=5.2.0+trunk --yes ocamlfind + +<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz + +The following actions will be performed: + ∗ install ocamlfind 1.9.3.git* + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed ocamlfind.1.9.3.git +Done. +# Run eval $(opam env) to update the current shell environment +opam install --switch=5.2.0+trunk --yes "dune.3.5.0" "dune-configurator.3.5.0" +The following actions will be performed: + ∗ install dune 3.5.0 + ∗ install csexp 1.5.2 [required by dune-configurator] + ∗ install dune-configurator 3.5.0 +===== ∗ 3 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[csexp.1.5.2] downloaded from https://github.com/ocaml-dune/csexp/releases/download/1.5.2/csexp-1.5.2.tbz +[dune.3.5.0] downloaded from https://github.com/ocaml/dune/releases/download/3.5.0/dune-3.5.0.tbz +[dune-configurator.3.5.0] downloaded from https://github.com/ocaml/dune/releases/download/3.5.0/dune-3.5.0.tbz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed dune.3.5.0 +∗ installed csexp.1.5.2 +∗ installed dune-configurator.3.5.0 +Done. +# Run eval $(opam env) to update the current shell environment +# Pin the version so it doesn't change when installing packages +opam pin add --switch=5.2.0+trunk --yes -n dune "3.5.0" +dune is now pinned to version 3.5.0 +# Retrieve set of version constraints for chosen OCaml version +Using template/dev-5.2.0+trunk.opam +# Conditionally install runtime_events_tools for olly (pausetimes) +Enabling pausetimes for OCaml >= 5 +opam repo add alpha git+https://github.com/kit-ty-kate/opam-alpha-repository.git --on-switch=5.2.0+trunk --rank 2 +[alpha] Initialised +opam exec --switch 5.2.0+trunk -- opam update + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] no changes from file:///tmp/sandmark/dependencies +[alpha] no changes from git+https://github.com/kit-ty-kate/opam-alpha-repository.git +[upstream] no changes from git+https://github.com/ocaml/opam-repository.git +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + + +<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> +[base.v0.14.3] no changes from git+https://github.com/janestreet/base.git#v0.14.3 +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +[coq-stdlib.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[coq-core.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[orun.0.1] no changes from git+https://github.com/ocaml-bench/orun.git +[runtime_events_tools.~dev] no changes from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] no changes from git+https://github.com/shakthimaan/sexplib0.git#multicore +opam install --switch=5.2.0+trunk --yes "lru" "psq" +The following actions will be performed: + ∗ install seq base [required by psq] + ∗ install psq 0.2.1 + ∗ install lru 0.3.1 +===== ∗ 3 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[lru.0.3.1] downloaded from https://github.com/pqwy/lru/releases/download/v0.3.1/lru-0.3.1.tbz +[psq.0.2.1] downloaded from https://github.com/pqwy/psq/releases/download/v0.2.1/psq-0.2.1.tbz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed seq.base +∗ installed psq.0.2.1 +∗ installed lru.0.3.1 +Done. +# Run eval $(opam env) to update the current shell environment +opam exec --switch 5.2.0+trunk -- opam list +# Packages matching: installed +# Name # Installed # Synopsis +base-bigarray base +base-threads base +base-unix base +csexp 1.5.2 Parsing and printing of S-expressions in Canonical form +dune 3.5.0 pinned to version 3.5.0 +dune-configurator 3.5.0 Helper library for gathering system configuration +lru 0.3.1 Scalable LRU caches +ocaml 5.2.0+trunk The OCaml compiler (virtual package) +ocaml-base-compiler 5.2.0+trunk OCaml compiler +ocaml-config 1 OCaml Switch Configuration +ocamlfind 1.9.3.git pinned to version 1.9.3.git at https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +psq 0.2.1 Functional Priority Search Queues +seq base Compatibility package for OCaml's standard iterator type starting from 4.07. +opam update --switch=5.2.0+trunk + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] no changes from file:///tmp/sandmark/dependencies +[alpha] no changes from git+https://github.com/kit-ty-kate/opam-alpha-repository.git +[upstream] no changes from git+https://github.com/ocaml/opam-repository.git +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + + +<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> +[base.v0.14.3] no changes from git+https://github.com/janestreet/base.git#v0.14.3 +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +[coq-core.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[coq-stdlib.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[orun.0.1] no changes from git+https://github.com/ocaml-bench/orun.git +[runtime_events_tools.~dev] no changes from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] no changes from git+https://github.com/shakthimaan/sexplib0.git#multicore +The following actions will be performed: + ∗ install conf-gmp 1 + ∗ install cmdliner 1.2.0 + ∗ install conf-pkg-config 1.2 + ∗ install conf-findutils 1 + ∗ install conf-m4 1 + ∗ install ocaml-syntax-shims 1.0.0 + ∗ install re 1.10.4 + ∗ install conf-cmake 1 + ∗ install stdlib-shims 0.1.0 + ∗ install domainslib 0.4.2 + ∗ install either 1.0.0 + ∗ install menhirLib 20200612 + ∗ install stringext 1.6.0 + ∗ install menhirSdk 20200612 + ∗ install bigarray-compat 1.1.0 + ∗ install base-bytes base + ∗ install conf-perl 1 + ∗ install cppo 1.6.7 + ∗ install ocamlbuild 0.14.2 + ∗ install sexplib0 v0.15.0* + ∗ install minilight 1.6 + ∗ install num 1.3 + ∗ install camlp-streams 5.0 + ∗ install optint 0.3.0 + ∗ install result 1.5 + ∗ install conf-which 1 + ∗ install domain_shims 0.1.0 + ∗ install conf-zlib 1 + ∗ install conf-libffi 2.0.0 + ∗ install ocamlgraph 2.0.0 + ∗ install integers 0.7.0 + ∗ install menhir 20200612 + ∗ install bigstringaf 0.6.1 + ∗ install base64 3.4.0 + ∗ install zarith 1.10 + ∗ install yojson 2.1.0 + ∗ install ocplib-endian 1.2 + ∗ install topkg 1.0.7 + ∗ install nbcodec 20151119 + ∗ install cubicle 1.2.0 + ∗ install checkseum 0.3.4 + ∗ install conf-autoconf 0.1 + ∗ install camlzip 1.11 + ∗ install ctypes-foreign 0.18.0 + ∗ install psmt2-frontend 0.4.0 + ∗ install angstrom 0.15.0 + ∗ install rungen 0.0.1 + ∗ install orun 0.1* + ∗ install lwt 5.6.1 + ∗ install uutf 1.0.3 + ∗ install uuidm 0.9.8 + ∗ install rresult 0.6.0 + ∗ install react 1.2.2 + ∗ install mtime 1.2.0 + ∗ install fmt 0.9.0 + ∗ install astring 0.8.5 + ∗ install decompress 1.1.0 + ∗ install ocplib-simplex 0.4.1 + ∗ install ctypes 0.20.2 + ∗ install uri 4.1.0 + ∗ install jsonm 1.0.2 + ∗ install logs 0.7.0 + ∗ install cstruct 6.2.0 + ∗ install alcotest 1.7.0 + ∗ install alt-ergo-lib 2.4.2 + ∗ install hdr_histogram 0.0.2 + ∗ install repr 0.6.0 + ∗ install eqaf 0.9 + ∗ install lockfree 0.3.1 + ∗ install alt-ergo-parsers 2.4.2 + ∗ install runtime_events_tools ~dev* + ∗ install digestif 1.0.0 + ∗ install alt-ergo 2.4.2 +===== ∗ 73 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[alcotest.1.7.0] downloaded from https://github.com/mirage/alcotest/releases/download/1.7.0/alcotest-1.7.0.tbz +[alt-ergo-lib.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[alt-ergo-parsers.2.4.2] found in cache +[alt-ergo.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[angstrom.0.15.0] downloaded from cache at https://opam.ocaml.org/cache/ +[astring.0.8.5] downloaded from https://erratique.ch/software/astring/releases/astring-0.8.5.tbz +[base64.3.4.0] downloaded from https://github.com/mirage/ocaml-base64/releases/download/v3.4.0/base64-v3.4.0.tbz +[bigarray-compat.1.1.0] downloaded from https://github.com/mirage/bigarray-compat/releases/download/v1.1.0/bigarray-compat-1.1.0.tbz +[bigstringaf.0.6.1] downloaded from https://github.com/inhabitedtype/bigstringaf/archive/0.6.1.tar.gz +[camlp-streams.5.0] downloaded from https://github.com/ocaml/camlp-streams/archive/refs/tags/v5.0.tar.gz +[camlzip.1.11] downloaded from https://github.com/xavierleroy/camlzip/archive/rel111.tar.gz +[checkseum.0.3.4] downloaded from https://github.com/mirage/checkseum/releases/download/v0.3.4/checkseum-0.3.4.tbz +[cmdliner.1.2.0] downloaded from https://erratique.ch/software/cmdliner/releases/cmdliner-1.2.0.tbz +[cppo.1.6.7] downloaded from cache at https://opam.ocaml.org/cache/ +[cstruct.6.2.0] downloaded from https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz +[cubicle.1.2.0] downloaded from https://github.com/cubicle-model-checker/cubicle/releases/download/1.2.0/cubicle-1.2.0.tar.gz +[ctypes.0.20.2] downloaded from https://github.com/ocamllabs/ocaml-ctypes/archive/0.20.2.tar.gz +[decompress.1.1.0] downloaded from https://github.com/mirage/decompress/releases/download/v1.1.0/decompress-v1.1.0.tbz +[domainslib.0.4.2] downloaded from cache at https://opam.ocaml.org/cache/ +[domain_shims.0.1.0] downloaded from https://gitlab.com/gasche/domain-shims/-/archive/0.1.0/domain-shims-0.1.0.tar.gz +[digestif.1.0.0] downloaded from https://github.com/mirage/digestif/releases/download/v1.0.0/digestif-v1.0.0.tbz +[either.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[fmt.0.9.0] downloaded from https://erratique.ch/software/fmt/releases/fmt-0.9.0.tbz +[eqaf.0.9] downloaded from https://github.com/mirage/eqaf/releases/download/v0.9/eqaf-0.9.tbz +[hdr_histogram.0.0.2] downloaded from https://github.com/ocaml-multicore/hdr_histogram_ocaml/releases/download/v0.0.2/hdr_histogram-0.0.2.tbz +[jsonm.1.0.2] downloaded from https://erratique.ch/software/jsonm/releases/jsonm-1.0.2.tbz +[integers.0.7.0] downloaded from https://github.com/yallop/ocaml-integers/archive/0.7.0.tar.gz +[lockfree.0.3.1] downloaded from https://github.com/ocaml-multicore/lockfree/releases/download/0.3.1/lockfree-0.3.1.tbz +[logs.0.7.0] downloaded from https://erratique.ch/software/logs/releases/logs-0.7.0.tbz +[mtime.1.2.0] downloaded from cache at https://opam.ocaml.org/cache/ +[lwt.5.6.1] downloaded from https://github.com/ocsigen/lwt/archive/5.6.1.tar.gz +[minilight.1.6] downloaded from http://www.hxa.name/minilight/minilight16ocaml.tar.gz +[nbcodec.20151119] downloaded from https://github.com/dbuenzli/nbcodec/archive/54ede66d0f552628625c9e0599df592bda63ab2e.tar.gz +[num.1.3] downloaded from https://github.com/ocaml/num/archive/v1.3.tar.gz +[ocaml-syntax-shims.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[ocamlgraph.2.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[ocamlbuild.0.14.2] downloaded from https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.14.2.tar.gz +[ocplib-endian.1.2] downloaded from https://github.com/OCamlPro/ocplib-endian/archive/refs/tags/1.2.tar.gz +[optint.0.3.0] downloaded from https://github.com/mirage/optint/releases/download/v0.3.0/optint-0.3.0.tbz +[ocplib-simplex.0.4.1] downloaded from https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.4.1.tar.gz +[psmt2-frontend.0.4.0] downloaded from https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz +[react.1.2.2] downloaded from https://erratique.ch/software/react/releases/react-1.2.2.tbz +[re.1.10.4] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.10.4/re-1.10.4.tbz +[repr.0.6.0] downloaded from https://github.com/mirage/repr/releases/download/0.6.0/repr-fuzz-0.6.0.tbz +[result.1.5] downloaded from cache at https://opam.ocaml.org/cache/ +[rresult.0.6.0] downloaded from http://erratique.ch/software/rresult/releases/rresult-0.6.0.tbz +[rungen.0.0.1] downloaded from https://github.com/shakthimaan/rungen/releases/download/v0.0.1/rungen-v0.0.1.tbz +[stdlib-shims.0.1.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.1.0/stdlib-shims-0.1.0.tbz +[runtime_events_tools.~dev] synchronised from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] synchronised from git+https://github.com/shakthimaan/sexplib0.git#multicore +[topkg.1.0.7] downloaded from https://erratique.ch/software/topkg/releases/topkg-1.0.7.tbz +[stringext.1.6.0] downloaded from https://github.com/rgrinberg/stringext/releases/download/1.6.0/stringext-1.6.0.tbz +[uri.4.1.0] downloaded from cache at https://opam.ocaml.org/cache/ +[uuidm.0.9.8] downloaded from https://erratique.ch/software/uuidm/releases/uuidm-0.9.8.tbz +[uutf.1.0.3] downloaded from https://erratique.ch/software/uutf/releases/uutf-1.0.3.tbz +[yojson.2.1.0] downloaded from https://github.com/ocaml-community/yojson/releases/download/2.1.0/yojson-2.1.0.tbz +[zarith.1.10] downloaded from https://github.com/ocaml/Zarith/archive/release-1.10.tar.gz +[ERROR] The sources of the following couldn't be obtained, aborting: + - menhir.20200612: Curl failed + - menhirLib.20200612: Curl failed + - menhirSdk.20200612: Curl failed + +# Packages matching: installed +# Name # Installed # Synopsis +base-bigarray base +base-threads base +base-unix base +csexp 1.5.2 Parsing and printing of S-expressions in Canonical form +dune 3.5.0 pinned to version 3.5.0 +dune-configurator 3.5.0 Helper library for gathering system configuration +lru 0.3.1 Scalable LRU caches +ocaml 5.2.0+trunk The OCaml compiler (virtual package) +ocaml-base-compiler 5.2.0+trunk OCaml compiler +ocaml-config 1 OCaml Switch Configuration +ocamlfind 1.9.3.git pinned to version 1.9.3.git at https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +psq 0.2.1 Functional Priority Search Queues +seq base Compatibility package for OCaml's standard iterator type starting from 4.07. +git log -n 1 +commit 772341deec33729b85d6a98f323c337e6a757b2d +Author: fabbing +Date: Wed May 24 17:46:14 2023 +0200 + + Add @stedolan `markbench` benchmark for prefetching + + Co-authored-by: "Antonin Décimo " +opam exec --switch 5.2.0+trunk -- rungen _build/5.2.0+trunk_1 multicore_parallel_navajo_run_config_filtered.json > runs_dune.inc +[ERROR] Command not found 'rungen' +make: *** [Makefile:255: ocaml-versions/5.2.0+trunk.bench] Error 127 diff --git a/pausetimes_seq/navajo/20230703_003226/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+pausetimes_seq.20230703_003226.c7be43518c774549da354680064c540294081da1.log b/pausetimes_seq/navajo/20230703_003226/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+pausetimes_seq.20230703_003226.c7be43518c774549da354680064c540294081da1.log new file mode 100644 index 000000000..5a6a43dbb --- /dev/null +++ b/pausetimes_seq/navajo/20230703_003226/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+pausetimes_seq.20230703_003226.c7be43518c774549da354680064c540294081da1.log @@ -0,0 +1,396 @@ + intervaltree is not installed. Install using pip3 install. +5.2.0 +Filtering some benchmarks for OCaml 5.2.0 +opam init --bare --no-setup --no-opamrc --disable-sandboxing ./dependencies +[NOTE] Will configure from built-in defaults. +Checking for available remotes: rsync and local, git, mercurial. + - you won't be able to use darcs repositories unless you install the darcs command on your system. + + +<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> +[default] Initialised +rm -rf dependencies/packages/ocaml/ocaml.5.2.0+trunk +rm -rf dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk +mkdir -p dependencies/packages/ocaml/ocaml.5.2.0+trunk +cp -R dependencies/template/ocaml/* dependencies/packages/ocaml/ocaml.5.2.0+trunk/ +mkdir -p dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk +cp -R dependencies/template/ocaml-base-compiler/* \ + dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk/ +{ if [ "https://github.com/ocaml/ocaml/archive/trunk.tar.gz" == "" ]; then \ + url="$(jq -r '.url // empty' ocaml-versions/5.2.0+trunk.json)"; \ + else \ + url="https://github.com/ocaml/ocaml/archive/trunk.tar.gz"; \ + fi; \ + echo "url { src: \"$url\" }"; echo "setenv: [ [ ORUN_CONFIG_ocaml_url = \"$url\" ] ]"; } \ +>> dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk/opam; +# Read OCAML_CONFIG_OPTION from the ocaml-version/5.2.0+trunk.json file if env +# variable is not set already. The variable is read even if the +# environment variable is set to be empty. `run_all_custom.sh` always +# sets the OCAML_CONFIG_OPTION -- it is empty if no "configure" key is +# present in the sandmark nightly config file. +# Read OCAML_RUN_PARAM from the ocaml-version/5.2.0+trunk.json file if env +# variable is not set already. See comment above for +# OCAML_CONFIG_OPTION. +opam update + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] synchronised from file:///tmp/sandmark/dependencies +Now run 'opam upgrade' to apply any package updates. +OCAMLRUNPARAM="" OCAMLCONFIGOPTION="" opam switch create --keep-build-dir --yes 5.2.0+trunk ocaml-base-compiler.5.2.0+trunk + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[ocaml-base-compiler.5.2.0+trunk] downloaded from https://github.com/ocaml/ocaml/archive/trunk.tar.gz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed base-bigarray.base +∗ installed base-threads.base +∗ installed base-unix.base +∗ installed ocaml-base-compiler.5.2.0+trunk +∗ installed ocaml-config.1 +∗ installed ocaml.5.2.0+trunk +Done. +# Run eval $(opam env) to update the current shell environment +Package sexplib0 does not exist, create as a NEW package? [Y/n] y +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0] synchronised from git+https://github.com/shakthimaan/sexplib0.git#multicore +sexplib0 is now pinned to git+https://github.com/shakthimaan/sexplib0.git#multicore (version v0.15.0) +# TODO remove pin when a new orun version is released on opam +opam pin add -n --yes --switch 5.2.0+trunk orun https://github.com/ocaml-bench/orun.git +Package orun does not exist, create as a NEW package? [Y/n] y +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev] synchronised from git+https://github.com/ocaml-bench/orun.git +orun is now pinned to git+https://github.com/ocaml-bench/orun.git (version 0.1) +# TODO remove pin when a new runtime_events_tools is released on opam +opam pin add -n --yes --switch 5.2.0+trunk runtime_events_tools https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +Package runtime_events_tools does not exist, create as a NEW package? [Y/n] y +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev] synchronised from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +runtime_events_tools is now pinned to git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 (version ~dev) +opam pin add -n --yes --switch 5.2.0+trunk ocamlfind https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +Package ocamlfind does not exist, create as a NEW package? [Y/n] y +[ocamlfind.~dev: http] +[ocamlfind.~dev] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +ocamlfind is now pinned to https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz (version 1.9.3.git) +opam pin add -n --yes --switch 5.2.0+trunk base.v0.14.3 https://github.com/janestreet/base.git#v0.14.3 +Package base does not exist, create as a NEW package? [Y/n] y +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3] synchronised from git+https://github.com/janestreet/base.git#v0.14.3 +base is now pinned to git+https://github.com/janestreet/base.git#v0.14.3 (version v0.14.3) +opam pin add -n --yes --switch 5.2.0+trunk coq-core https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +Package coq-core does not exist, create as a NEW package? [Y/n] y +[coq-core.~dev: http] +[coq-core.~dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +coq-core is now pinned to https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz (version dev) +opam pin add -n --yes --switch 5.2.0+trunk coq-stdlib https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +Package coq-stdlib does not exist, create as a NEW package? [Y/n] y +[coq-stdlib.~dev: http] +[coq-stdlib.~dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +coq-stdlib is now pinned to https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz (version dev) +Using default dune.3.5.0 +/home/sandmark/.opam/ocaml-base-compiler.4.13.1 +Linking to system dune files found at: /home/sandmark/.opam/ocaml-base-compiler.4.13.1 +/home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/dune --version = n/a +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/dune /tmp/sandmark/_opam/sys_dune/bin/dune +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/jbuilder /tmp/sandmark/_opam/sys_dune/bin/jbuilder +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/lib/dune /tmp/sandmark/_opam/sys_dune/lib/dune +opam repo add upstream "git+https://github.com/ocaml/opam-repository.git" --on-switch=5.2.0+trunk --rank 2 +[upstream] Initialised +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + +opam install --switch=5.2.0+trunk --yes ocamlfind + +<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz + +The following actions will be performed: + ∗ install ocamlfind 1.9.3.git* + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed ocamlfind.1.9.3.git +Done. +# Run eval $(opam env) to update the current shell environment +opam install --switch=5.2.0+trunk --yes "dune.3.5.0" "dune-configurator.3.5.0" +The following actions will be performed: + ∗ install dune 3.5.0 + ∗ install csexp 1.5.2 [required by dune-configurator] + ∗ install dune-configurator 3.5.0 +===== ∗ 3 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[csexp.1.5.2] downloaded from https://github.com/ocaml-dune/csexp/releases/download/1.5.2/csexp-1.5.2.tbz +[dune.3.5.0] downloaded from https://github.com/ocaml/dune/releases/download/3.5.0/dune-3.5.0.tbz +[dune-configurator.3.5.0] downloaded from https://github.com/ocaml/dune/releases/download/3.5.0/dune-3.5.0.tbz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed dune.3.5.0 +∗ installed csexp.1.5.2 +∗ installed dune-configurator.3.5.0 +Done. +# Run eval $(opam env) to update the current shell environment +# Pin the version so it doesn't change when installing packages +opam pin add --switch=5.2.0+trunk --yes -n dune "3.5.0" +dune is now pinned to version 3.5.0 +# Retrieve set of version constraints for chosen OCaml version +Using template/dev-5.2.0+trunk.opam +# Conditionally install runtime_events_tools for olly (pausetimes) +Enabling pausetimes for OCaml >= 5 +opam repo add alpha git+https://github.com/kit-ty-kate/opam-alpha-repository.git --on-switch=5.2.0+trunk --rank 2 +[alpha] Initialised +opam exec --switch 5.2.0+trunk -- opam update + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] no changes from file:///tmp/sandmark/dependencies +[alpha] no changes from git+https://github.com/kit-ty-kate/opam-alpha-repository.git +[upstream] no changes from git+https://github.com/ocaml/opam-repository.git +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + + +<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> +[base.v0.14.3] no changes from git+https://github.com/janestreet/base.git#v0.14.3 +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +[coq-core.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[coq-stdlib.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[orun.0.1] no changes from git+https://github.com/ocaml-bench/orun.git +[sexplib0.v0.15.0] no changes from git+https://github.com/shakthimaan/sexplib0.git#multicore +[runtime_events_tools.~dev] no changes from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +opam install --switch=5.2.0+trunk --yes "lru" "psq" +The following actions will be performed: + ∗ install seq base [required by psq] + ∗ install psq 0.2.1 + ∗ install lru 0.3.1 +===== ∗ 3 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[lru.0.3.1] downloaded from https://github.com/pqwy/lru/releases/download/v0.3.1/lru-0.3.1.tbz +[psq.0.2.1] downloaded from https://github.com/pqwy/psq/releases/download/v0.2.1/psq-0.2.1.tbz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed seq.base +∗ installed psq.0.2.1 +∗ installed lru.0.3.1 +Done. +# Run eval $(opam env) to update the current shell environment +opam exec --switch 5.2.0+trunk -- opam list +# Packages matching: installed +# Name # Installed # Synopsis +base-bigarray base +base-threads base +base-unix base +csexp 1.5.2 Parsing and printing of S-expressions in Canonical form +dune 3.5.0 pinned to version 3.5.0 +dune-configurator 3.5.0 Helper library for gathering system configuration +lru 0.3.1 Scalable LRU caches +ocaml 5.2.0+trunk The OCaml compiler (virtual package) +ocaml-base-compiler 5.2.0+trunk OCaml compiler +ocaml-config 1 OCaml Switch Configuration +ocamlfind 1.9.3.git pinned to version 1.9.3.git at https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +psq 0.2.1 Functional Priority Search Queues +seq base Compatibility package for OCaml's standard iterator type starting from 4.07. +opam update --switch=5.2.0+trunk + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] no changes from file:///tmp/sandmark/dependencies +[alpha] no changes from git+https://github.com/kit-ty-kate/opam-alpha-repository.git +[upstream] no changes from git+https://github.com/ocaml/opam-repository.git +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + + +<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> +[base.v0.14.3] no changes from git+https://github.com/janestreet/base.git#v0.14.3 +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +[coq-stdlib.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[coq-core.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[runtime_events_tools.~dev] no changes from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[orun.0.1] no changes from git+https://github.com/ocaml-bench/orun.git +[sexplib0.v0.15.0] no changes from git+https://github.com/shakthimaan/sexplib0.git#multicore +The following actions will be performed: + ∗ install conf-gmp 1 + ∗ install cmdliner 1.2.0 + ∗ install conf-pkg-config 1.2 + ∗ install conf-findutils 1 + ∗ install conf-m4 1 + ∗ install ocaml-syntax-shims 1.0.0 + ∗ install re 1.10.4 + ∗ install conf-cmake 1 + ∗ install stdlib-shims 0.1.0 + ∗ install domainslib 0.4.2 + ∗ install either 1.0.0 + ∗ install menhirLib 20200612 + ∗ install stringext 1.6.0 + ∗ install menhirSdk 20200612 + ∗ install bigarray-compat 1.1.0 + ∗ install base-bytes base + ∗ install conf-perl 1 + ∗ install cppo 1.6.7 + ∗ install ocamlbuild 0.14.2 + ∗ install sexplib0 v0.15.0* + ∗ install minilight 1.6 + ∗ install num 1.3 + ∗ install camlp-streams 5.0 + ∗ install optint 0.3.0 + ∗ install result 1.5 + ∗ install conf-which 1 + ∗ install conf-zlib 1 + ∗ install conf-libffi 2.0.0 + ∗ install ocamlgraph 2.0.0 + ∗ install integers 0.7.0 + ∗ install menhir 20200612 + ∗ install bigstringaf 0.6.1 + ∗ install base64 3.4.0 + ∗ install zarith 1.10 + ∗ install yojson 2.1.0 + ∗ install ocplib-endian 1.2 + ∗ install topkg 1.0.7 + ∗ install nbcodec 20151119 + ∗ install cubicle 1.2.0 + ∗ install checkseum 0.3.4 + ∗ install conf-autoconf 0.1 + ∗ install camlzip 1.11 + ∗ install ctypes-foreign 0.18.0 + ∗ install psmt2-frontend 0.4.0 + ∗ install angstrom 0.15.0 + ∗ install rungen 0.0.1 + ∗ install orun 0.1* + ∗ install lwt 5.6.1 + ∗ install uutf 1.0.3 + ∗ install uuidm 0.9.8 + ∗ install rresult 0.6.0 + ∗ install react 1.2.2 + ∗ install mtime 1.2.0 + ∗ install fmt 0.9.0 + ∗ install astring 0.8.5 + ∗ install decompress 1.1.0 + ∗ install ocplib-simplex 0.4.1 + ∗ install ctypes 0.20.2 + ∗ install uri 4.1.0 + ∗ install jsonm 1.0.2 + ∗ install logs 0.7.0 + ∗ install cstruct 6.2.0 + ∗ install alt-ergo-lib 2.4.2 + ∗ install hdr_histogram 0.0.2 + ∗ install repr 0.6.0 + ∗ install eqaf 0.9 + ∗ install alt-ergo-parsers 2.4.2 + ∗ install runtime_events_tools ~dev* + ∗ install digestif 1.0.0 + ∗ install alt-ergo 2.4.2 +===== ∗ 70 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[alt-ergo-lib.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[alt-ergo.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[alt-ergo-parsers.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[angstrom.0.15.0] downloaded from cache at https://opam.ocaml.org/cache/ +[astring.0.8.5] downloaded from https://erratique.ch/software/astring/releases/astring-0.8.5.tbz +[base64.3.4.0] downloaded from https://github.com/mirage/ocaml-base64/releases/download/v3.4.0/base64-v3.4.0.tbz +[bigarray-compat.1.1.0] downloaded from https://github.com/mirage/bigarray-compat/releases/download/v1.1.0/bigarray-compat-1.1.0.tbz +[bigstringaf.0.6.1] downloaded from https://github.com/inhabitedtype/bigstringaf/archive/0.6.1.tar.gz +[checkseum.0.3.4] downloaded from https://github.com/mirage/checkseum/releases/download/v0.3.4/checkseum-0.3.4.tbz +[camlp-streams.5.0] downloaded from https://github.com/ocaml/camlp-streams/archive/refs/tags/v5.0.tar.gz +[camlzip.1.11] downloaded from https://github.com/xavierleroy/camlzip/archive/rel111.tar.gz +[cmdliner.1.2.0] downloaded from https://erratique.ch/software/cmdliner/releases/cmdliner-1.2.0.tbz +[cppo.1.6.7] downloaded from cache at https://opam.ocaml.org/cache/ +[cstruct.6.2.0] downloaded from https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz +[cubicle.1.2.0] downloaded from https://github.com/cubicle-model-checker/cubicle/releases/download/1.2.0/cubicle-1.2.0.tar.gz +[decompress.1.1.0] downloaded from https://github.com/mirage/decompress/releases/download/v1.1.0/decompress-v1.1.0.tbz +[ctypes.0.20.2] downloaded from https://github.com/ocamllabs/ocaml-ctypes/archive/0.20.2.tar.gz +[domainslib.0.4.2] downloaded from cache at https://opam.ocaml.org/cache/ +[either.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[digestif.1.0.0] downloaded from https://github.com/mirage/digestif/releases/download/v1.0.0/digestif-v1.0.0.tbz +[fmt.0.9.0] downloaded from https://erratique.ch/software/fmt/releases/fmt-0.9.0.tbz +[eqaf.0.9] downloaded from https://github.com/mirage/eqaf/releases/download/v0.9/eqaf-0.9.tbz +[hdr_histogram.0.0.2] downloaded from https://github.com/ocaml-multicore/hdr_histogram_ocaml/releases/download/v0.0.2/hdr_histogram-0.0.2.tbz +[integers.0.7.0] downloaded from https://github.com/yallop/ocaml-integers/archive/0.7.0.tar.gz +[jsonm.1.0.2] downloaded from https://erratique.ch/software/jsonm/releases/jsonm-1.0.2.tbz +[logs.0.7.0] downloaded from https://erratique.ch/software/logs/releases/logs-0.7.0.tbz +[mtime.1.2.0] downloaded from cache at https://opam.ocaml.org/cache/ +[lwt.5.6.1] downloaded from https://github.com/ocsigen/lwt/archive/5.6.1.tar.gz +[minilight.1.6] downloaded from http://www.hxa.name/minilight/minilight16ocaml.tar.gz +[ocaml-syntax-shims.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[num.1.3] downloaded from https://github.com/ocaml/num/archive/v1.3.tar.gz +[nbcodec.20151119] downloaded from https://github.com/dbuenzli/nbcodec/archive/54ede66d0f552628625c9e0599df592bda63ab2e.tar.gz +[ocamlgraph.2.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[ocamlbuild.0.14.2] downloaded from https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.14.2.tar.gz +[ocplib-endian.1.2] downloaded from https://github.com/OCamlPro/ocplib-endian/archive/refs/tags/1.2.tar.gz +[ocplib-simplex.0.4.1] downloaded from https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.4.1.tar.gz +[optint.0.3.0] downloaded from https://github.com/mirage/optint/releases/download/v0.3.0/optint-0.3.0.tbz +[psmt2-frontend.0.4.0] downloaded from https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz +[react.1.2.2] downloaded from https://erratique.ch/software/react/releases/react-1.2.2.tbz +[re.1.10.4] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.10.4/re-1.10.4.tbz +[repr.0.6.0] downloaded from https://github.com/mirage/repr/releases/download/0.6.0/repr-fuzz-0.6.0.tbz +[result.1.5] downloaded from cache at https://opam.ocaml.org/cache/ +[rresult.0.6.0] downloaded from http://erratique.ch/software/rresult/releases/rresult-0.6.0.tbz +[rungen.0.0.1] downloaded from https://github.com/shakthimaan/rungen/releases/download/v0.0.1/rungen-v0.0.1.tbz +[stdlib-shims.0.1.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.1.0/stdlib-shims-0.1.0.tbz +[runtime_events_tools.~dev] synchronised from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] synchronised from git+https://github.com/shakthimaan/sexplib0.git#multicore +[topkg.1.0.7] downloaded from https://erratique.ch/software/topkg/releases/topkg-1.0.7.tbz +[uri.4.1.0] downloaded from cache at https://opam.ocaml.org/cache/ +[stringext.1.6.0] downloaded from https://github.com/rgrinberg/stringext/releases/download/1.6.0/stringext-1.6.0.tbz +[uuidm.0.9.8] downloaded from https://erratique.ch/software/uuidm/releases/uuidm-0.9.8.tbz +[uutf.1.0.3] downloaded from https://erratique.ch/software/uutf/releases/uutf-1.0.3.tbz +[yojson.2.1.0] downloaded from https://github.com/ocaml-community/yojson/releases/download/2.1.0/yojson-2.1.0.tbz +[zarith.1.10] downloaded from https://github.com/ocaml/Zarith/archive/release-1.10.tar.gz +[ERROR] The sources of the following couldn't be obtained, aborting: + - menhir.20200612: Curl failed + - menhirLib.20200612: Curl failed + - menhirSdk.20200612: Curl failed + +# Packages matching: installed +# Name # Installed # Synopsis +base-bigarray base +base-threads base +base-unix base +csexp 1.5.2 Parsing and printing of S-expressions in Canonical form +dune 3.5.0 pinned to version 3.5.0 +dune-configurator 3.5.0 Helper library for gathering system configuration +lru 0.3.1 Scalable LRU caches +ocaml 5.2.0+trunk The OCaml compiler (virtual package) +ocaml-base-compiler 5.2.0+trunk OCaml compiler +ocaml-config 1 OCaml Switch Configuration +ocamlfind 1.9.3.git pinned to version 1.9.3.git at https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +psq 0.2.1 Functional Priority Search Queues +seq base Compatibility package for OCaml's standard iterator type starting from 4.07. +git log -n 1 +commit 772341deec33729b85d6a98f323c337e6a757b2d +Author: fabbing +Date: Wed May 24 17:46:14 2023 +0200 + + Add @stedolan `markbench` benchmark for prefetching + + Co-authored-by: "Antonin Décimo " +opam exec --switch 5.2.0+trunk -- rungen _build/5.2.0+trunk_1 run_config_filtered.json > runs_dune.inc +[ERROR] Command not found 'rungen' +make: *** [Makefile:255: ocaml-versions/5.2.0+trunk.bench] Error 127 diff --git a/perfstat/navajo/20230703_002459/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+perfstat.20230703_002459.c7be43518c774549da354680064c540294081da1.log b/perfstat/navajo/20230703_002459/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+perfstat.20230703_002459.c7be43518c774549da354680064c540294081da1.log new file mode 100644 index 000000000..e3890b93f --- /dev/null +++ b/perfstat/navajo/20230703_002459/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+perfstat.20230703_002459.c7be43518c774549da354680064c540294081da1.log @@ -0,0 +1,396 @@ + intervaltree is not installed. Install using pip3 install. +5.2.0 +Filtering some benchmarks for OCaml 5.2.0 +opam init --bare --no-setup --no-opamrc --disable-sandboxing ./dependencies +[NOTE] Will configure from built-in defaults. +Checking for available remotes: rsync and local, git, mercurial. + - you won't be able to use darcs repositories unless you install the darcs command on your system. + + +<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> +[default] Initialised +rm -rf dependencies/packages/ocaml/ocaml.5.2.0+trunk +rm -rf dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk +mkdir -p dependencies/packages/ocaml/ocaml.5.2.0+trunk +cp -R dependencies/template/ocaml/* dependencies/packages/ocaml/ocaml.5.2.0+trunk/ +mkdir -p dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk +cp -R dependencies/template/ocaml-base-compiler/* \ + dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk/ +{ if [ "https://github.com/ocaml/ocaml/archive/trunk.tar.gz" == "" ]; then \ + url="$(jq -r '.url // empty' ocaml-versions/5.2.0+trunk.json)"; \ + else \ + url="https://github.com/ocaml/ocaml/archive/trunk.tar.gz"; \ + fi; \ + echo "url { src: \"$url\" }"; echo "setenv: [ [ ORUN_CONFIG_ocaml_url = \"$url\" ] ]"; } \ +>> dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk/opam; +# Read OCAML_CONFIG_OPTION from the ocaml-version/5.2.0+trunk.json file if env +# variable is not set already. The variable is read even if the +# environment variable is set to be empty. `run_all_custom.sh` always +# sets the OCAML_CONFIG_OPTION -- it is empty if no "configure" key is +# present in the sandmark nightly config file. +# Read OCAML_RUN_PARAM from the ocaml-version/5.2.0+trunk.json file if env +# variable is not set already. See comment above for +# OCAML_CONFIG_OPTION. +opam update + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] synchronised from file:///tmp/sandmark/dependencies +Now run 'opam upgrade' to apply any package updates. +OCAMLRUNPARAM="" OCAMLCONFIGOPTION="" opam switch create --keep-build-dir --yes 5.2.0+trunk ocaml-base-compiler.5.2.0+trunk + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[ocaml-base-compiler.5.2.0+trunk] downloaded from https://github.com/ocaml/ocaml/archive/trunk.tar.gz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed base-bigarray.base +∗ installed base-threads.base +∗ installed base-unix.base +∗ installed ocaml-base-compiler.5.2.0+trunk +∗ installed ocaml-config.1 +∗ installed ocaml.5.2.0+trunk +Done. +# Run eval $(opam env) to update the current shell environment +Package sexplib0 does not exist, create as a NEW package? [Y/n] y +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0] synchronised from git+https://github.com/shakthimaan/sexplib0.git#multicore +sexplib0 is now pinned to git+https://github.com/shakthimaan/sexplib0.git#multicore (version v0.15.0) +# TODO remove pin when a new orun version is released on opam +opam pin add -n --yes --switch 5.2.0+trunk orun https://github.com/ocaml-bench/orun.git +Package orun does not exist, create as a NEW package? [Y/n] y +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev] synchronised from git+https://github.com/ocaml-bench/orun.git +orun is now pinned to git+https://github.com/ocaml-bench/orun.git (version 0.1) +# TODO remove pin when a new runtime_events_tools is released on opam +opam pin add -n --yes --switch 5.2.0+trunk runtime_events_tools https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +Package runtime_events_tools does not exist, create as a NEW package? [Y/n] y +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev] synchronised from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +runtime_events_tools is now pinned to git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 (version ~dev) +opam pin add -n --yes --switch 5.2.0+trunk ocamlfind https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +Package ocamlfind does not exist, create as a NEW package? [Y/n] y +[ocamlfind.~dev: http] +[ocamlfind.~dev] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +ocamlfind is now pinned to https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz (version 1.9.3.git) +opam pin add -n --yes --switch 5.2.0+trunk base.v0.14.3 https://github.com/janestreet/base.git#v0.14.3 +Package base does not exist, create as a NEW package? [Y/n] y +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3] synchronised from git+https://github.com/janestreet/base.git#v0.14.3 +base is now pinned to git+https://github.com/janestreet/base.git#v0.14.3 (version v0.14.3) +opam pin add -n --yes --switch 5.2.0+trunk coq-core https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +Package coq-core does not exist, create as a NEW package? [Y/n] y +[coq-core.~dev: http] +[coq-core.~dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +coq-core is now pinned to https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz (version dev) +opam pin add -n --yes --switch 5.2.0+trunk coq-stdlib https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +Package coq-stdlib does not exist, create as a NEW package? [Y/n] y +[coq-stdlib.~dev: http] +[coq-stdlib.~dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +coq-stdlib is now pinned to https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz (version dev) +Using default dune.3.5.0 +/home/sandmark/.opam/ocaml-base-compiler.4.13.1 +Linking to system dune files found at: /home/sandmark/.opam/ocaml-base-compiler.4.13.1 +/home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/dune --version = n/a +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/dune /tmp/sandmark/_opam/sys_dune/bin/dune +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/jbuilder /tmp/sandmark/_opam/sys_dune/bin/jbuilder +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/lib/dune /tmp/sandmark/_opam/sys_dune/lib/dune +opam repo add upstream "git+https://github.com/ocaml/opam-repository.git" --on-switch=5.2.0+trunk --rank 2 +[upstream] Initialised +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + +opam install --switch=5.2.0+trunk --yes ocamlfind + +<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz + +The following actions will be performed: + ∗ install ocamlfind 1.9.3.git* + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed ocamlfind.1.9.3.git +Done. +# Run eval $(opam env) to update the current shell environment +opam install --switch=5.2.0+trunk --yes "dune.3.5.0" "dune-configurator.3.5.0" +The following actions will be performed: + ∗ install dune 3.5.0 + ∗ install csexp 1.5.2 [required by dune-configurator] + ∗ install dune-configurator 3.5.0 +===== ∗ 3 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[dune-configurator.3.5.0] downloaded from https://github.com/ocaml/dune/releases/download/3.5.0/dune-3.5.0.tbz +[csexp.1.5.2] downloaded from https://github.com/ocaml-dune/csexp/releases/download/1.5.2/csexp-1.5.2.tbz +[dune.3.5.0] downloaded from https://github.com/ocaml/dune/releases/download/3.5.0/dune-3.5.0.tbz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed dune.3.5.0 +∗ installed csexp.1.5.2 +∗ installed dune-configurator.3.5.0 +Done. +# Run eval $(opam env) to update the current shell environment +# Pin the version so it doesn't change when installing packages +opam pin add --switch=5.2.0+trunk --yes -n dune "3.5.0" +dune is now pinned to version 3.5.0 +# Retrieve set of version constraints for chosen OCaml version +Using template/dev-5.2.0+trunk.opam +# Conditionally install runtime_events_tools for olly (pausetimes) +Enabling pausetimes for OCaml >= 5 +opam repo add alpha git+https://github.com/kit-ty-kate/opam-alpha-repository.git --on-switch=5.2.0+trunk --rank 2 +[alpha] Initialised +opam exec --switch 5.2.0+trunk -- opam update + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] no changes from file:///tmp/sandmark/dependencies +[alpha] no changes from git+https://github.com/kit-ty-kate/opam-alpha-repository.git +[upstream] no changes from git+https://github.com/ocaml/opam-repository.git +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + + +<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> +[base.v0.14.3] no changes from git+https://github.com/janestreet/base.git#v0.14.3 +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +[coq-core.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[coq-stdlib.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[orun.0.1] no changes from git+https://github.com/ocaml-bench/orun.git +[runtime_events_tools.~dev] no changes from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] no changes from git+https://github.com/shakthimaan/sexplib0.git#multicore +opam install --switch=5.2.0+trunk --yes "lru" "psq" +The following actions will be performed: + ∗ install seq base [required by psq] + ∗ install psq 0.2.1 + ∗ install lru 0.3.1 +===== ∗ 3 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[lru.0.3.1] downloaded from https://github.com/pqwy/lru/releases/download/v0.3.1/lru-0.3.1.tbz +[psq.0.2.1] downloaded from https://github.com/pqwy/psq/releases/download/v0.2.1/psq-0.2.1.tbz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed seq.base +∗ installed psq.0.2.1 +∗ installed lru.0.3.1 +Done. +# Run eval $(opam env) to update the current shell environment +opam exec --switch 5.2.0+trunk -- opam list +# Packages matching: installed +# Name # Installed # Synopsis +base-bigarray base +base-threads base +base-unix base +csexp 1.5.2 Parsing and printing of S-expressions in Canonical form +dune 3.5.0 pinned to version 3.5.0 +dune-configurator 3.5.0 Helper library for gathering system configuration +lru 0.3.1 Scalable LRU caches +ocaml 5.2.0+trunk The OCaml compiler (virtual package) +ocaml-base-compiler 5.2.0+trunk OCaml compiler +ocaml-config 1 OCaml Switch Configuration +ocamlfind 1.9.3.git pinned to version 1.9.3.git at https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +psq 0.2.1 Functional Priority Search Queues +seq base Compatibility package for OCaml's standard iterator type starting from 4.07. +opam update --switch=5.2.0+trunk + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] no changes from file:///tmp/sandmark/dependencies +[alpha] no changes from git+https://github.com/kit-ty-kate/opam-alpha-repository.git +[upstream] no changes from git+https://github.com/ocaml/opam-repository.git +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + + +<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> +[base.v0.14.3] no changes from git+https://github.com/janestreet/base.git#v0.14.3 +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +[coq-core.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[orun.0.1] no changes from git+https://github.com/ocaml-bench/orun.git +[coq-stdlib.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[runtime_events_tools.~dev] no changes from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] no changes from git+https://github.com/shakthimaan/sexplib0.git#multicore +The following actions will be performed: + ∗ install conf-gmp 1 + ∗ install cmdliner 1.2.0 + ∗ install conf-pkg-config 1.2 + ∗ install conf-findutils 1 + ∗ install conf-m4 1 + ∗ install ocaml-syntax-shims 1.0.0 + ∗ install re 1.10.4 + ∗ install conf-cmake 1 + ∗ install stdlib-shims 0.1.0 + ∗ install domainslib 0.4.2 + ∗ install either 1.0.0 + ∗ install menhirLib 20200612 + ∗ install stringext 1.6.0 + ∗ install menhirSdk 20200612 + ∗ install bigarray-compat 1.1.0 + ∗ install base-bytes base + ∗ install conf-perl 1 + ∗ install cppo 1.6.7 + ∗ install ocamlbuild 0.14.2 + ∗ install sexplib0 v0.15.0* + ∗ install minilight 1.6 + ∗ install num 1.3 + ∗ install camlp-streams 5.0 + ∗ install optint 0.3.0 + ∗ install result 1.5 + ∗ install conf-which 1 + ∗ install conf-zlib 1 + ∗ install conf-libffi 2.0.0 + ∗ install ocamlgraph 2.0.0 + ∗ install integers 0.7.0 + ∗ install menhir 20200612 + ∗ install bigstringaf 0.6.1 + ∗ install base64 3.4.0 + ∗ install zarith 1.10 + ∗ install yojson 2.1.0 + ∗ install ocplib-endian 1.2 + ∗ install topkg 1.0.7 + ∗ install nbcodec 20151119 + ∗ install cubicle 1.2.0 + ∗ install checkseum 0.3.4 + ∗ install conf-autoconf 0.1 + ∗ install camlzip 1.11 + ∗ install ctypes-foreign 0.18.0 + ∗ install psmt2-frontend 0.4.0 + ∗ install angstrom 0.15.0 + ∗ install rungen 0.0.1 + ∗ install orun 0.1* + ∗ install lwt 5.6.1 + ∗ install uutf 1.0.3 + ∗ install uuidm 0.9.8 + ∗ install rresult 0.6.0 + ∗ install react 1.2.2 + ∗ install mtime 1.2.0 + ∗ install fmt 0.9.0 + ∗ install astring 0.8.5 + ∗ install decompress 1.1.0 + ∗ install ocplib-simplex 0.4.1 + ∗ install ctypes 0.20.2 + ∗ install uri 4.1.0 + ∗ install jsonm 1.0.2 + ∗ install logs 0.7.0 + ∗ install cstruct 6.2.0 + ∗ install alt-ergo-lib 2.4.2 + ∗ install hdr_histogram 0.0.2 + ∗ install repr 0.6.0 + ∗ install eqaf 0.9 + ∗ install alt-ergo-parsers 2.4.2 + ∗ install runtime_events_tools ~dev* + ∗ install digestif 1.0.0 + ∗ install alt-ergo 2.4.2 +===== ∗ 70 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[alt-ergo.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[alt-ergo-lib.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[alt-ergo-parsers.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[angstrom.0.15.0] downloaded from cache at https://opam.ocaml.org/cache/ +[astring.0.8.5] downloaded from https://erratique.ch/software/astring/releases/astring-0.8.5.tbz +[base64.3.4.0] downloaded from https://github.com/mirage/ocaml-base64/releases/download/v3.4.0/base64-v3.4.0.tbz +[bigarray-compat.1.1.0] downloaded from https://github.com/mirage/bigarray-compat/releases/download/v1.1.0/bigarray-compat-1.1.0.tbz +[bigstringaf.0.6.1] downloaded from https://github.com/inhabitedtype/bigstringaf/archive/0.6.1.tar.gz +[camlp-streams.5.0] downloaded from https://github.com/ocaml/camlp-streams/archive/refs/tags/v5.0.tar.gz +[cmdliner.1.2.0] downloaded from https://erratique.ch/software/cmdliner/releases/cmdliner-1.2.0.tbz +[camlzip.1.11] downloaded from https://github.com/xavierleroy/camlzip/archive/rel111.tar.gz +[checkseum.0.3.4] downloaded from https://github.com/mirage/checkseum/releases/download/v0.3.4/checkseum-0.3.4.tbz +[cppo.1.6.7] downloaded from cache at https://opam.ocaml.org/cache/ +[cstruct.6.2.0] downloaded from https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz +[ctypes.0.20.2] downloaded from https://github.com/ocamllabs/ocaml-ctypes/archive/0.20.2.tar.gz +[cubicle.1.2.0] downloaded from https://github.com/cubicle-model-checker/cubicle/releases/download/1.2.0/cubicle-1.2.0.tar.gz +[decompress.1.1.0] downloaded from https://github.com/mirage/decompress/releases/download/v1.1.0/decompress-v1.1.0.tbz +[domainslib.0.4.2] downloaded from cache at https://opam.ocaml.org/cache/ +[either.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[digestif.1.0.0] downloaded from https://github.com/mirage/digestif/releases/download/v1.0.0/digestif-v1.0.0.tbz +[fmt.0.9.0] downloaded from https://erratique.ch/software/fmt/releases/fmt-0.9.0.tbz +[eqaf.0.9] downloaded from https://github.com/mirage/eqaf/releases/download/v0.9/eqaf-0.9.tbz +[hdr_histogram.0.0.2] downloaded from https://github.com/ocaml-multicore/hdr_histogram_ocaml/releases/download/v0.0.2/hdr_histogram-0.0.2.tbz +[jsonm.1.0.2] downloaded from https://erratique.ch/software/jsonm/releases/jsonm-1.0.2.tbz +[integers.0.7.0] downloaded from https://github.com/yallop/ocaml-integers/archive/0.7.0.tar.gz +[logs.0.7.0] downloaded from https://erratique.ch/software/logs/releases/logs-0.7.0.tbz +[mtime.1.2.0] downloaded from cache at https://opam.ocaml.org/cache/ +[lwt.5.6.1] downloaded from https://github.com/ocsigen/lwt/archive/5.6.1.tar.gz +[minilight.1.6] downloaded from http://www.hxa.name/minilight/minilight16ocaml.tar.gz +[ocaml-syntax-shims.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[num.1.3] downloaded from https://github.com/ocaml/num/archive/v1.3.tar.gz +[nbcodec.20151119] downloaded from https://github.com/dbuenzli/nbcodec/archive/54ede66d0f552628625c9e0599df592bda63ab2e.tar.gz +[ocamlgraph.2.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[ocamlbuild.0.14.2] downloaded from https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.14.2.tar.gz +[ocplib-endian.1.2] downloaded from https://github.com/OCamlPro/ocplib-endian/archive/refs/tags/1.2.tar.gz +[optint.0.3.0] downloaded from https://github.com/mirage/optint/releases/download/v0.3.0/optint-0.3.0.tbz +[ocplib-simplex.0.4.1] downloaded from https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.4.1.tar.gz +[psmt2-frontend.0.4.0] downloaded from https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz +[react.1.2.2] downloaded from https://erratique.ch/software/react/releases/react-1.2.2.tbz +[re.1.10.4] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.10.4/re-1.10.4.tbz +[repr.0.6.0] downloaded from https://github.com/mirage/repr/releases/download/0.6.0/repr-fuzz-0.6.0.tbz +[result.1.5] downloaded from cache at https://opam.ocaml.org/cache/ +[rresult.0.6.0] downloaded from http://erratique.ch/software/rresult/releases/rresult-0.6.0.tbz +[rungen.0.0.1] downloaded from https://github.com/shakthimaan/rungen/releases/download/v0.0.1/rungen-v0.0.1.tbz +[stdlib-shims.0.1.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.1.0/stdlib-shims-0.1.0.tbz +[runtime_events_tools.~dev] synchronised from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] synchronised from git+https://github.com/shakthimaan/sexplib0.git#multicore +[topkg.1.0.7] downloaded from https://erratique.ch/software/topkg/releases/topkg-1.0.7.tbz +[stringext.1.6.0] downloaded from https://github.com/rgrinberg/stringext/releases/download/1.6.0/stringext-1.6.0.tbz +[uri.4.1.0] downloaded from cache at https://opam.ocaml.org/cache/ +[uuidm.0.9.8] downloaded from https://erratique.ch/software/uuidm/releases/uuidm-0.9.8.tbz +[uutf.1.0.3] downloaded from https://erratique.ch/software/uutf/releases/uutf-1.0.3.tbz +[yojson.2.1.0] downloaded from https://github.com/ocaml-community/yojson/releases/download/2.1.0/yojson-2.1.0.tbz +[zarith.1.10] downloaded from https://github.com/ocaml/Zarith/archive/release-1.10.tar.gz +[ERROR] The sources of the following couldn't be obtained, aborting: + - menhir.20200612: Curl failed + - menhirLib.20200612: Curl failed + - menhirSdk.20200612: Curl failed + +# Packages matching: installed +# Name # Installed # Synopsis +base-bigarray base +base-threads base +base-unix base +csexp 1.5.2 Parsing and printing of S-expressions in Canonical form +dune 3.5.0 pinned to version 3.5.0 +dune-configurator 3.5.0 Helper library for gathering system configuration +lru 0.3.1 Scalable LRU caches +ocaml 5.2.0+trunk The OCaml compiler (virtual package) +ocaml-base-compiler 5.2.0+trunk OCaml compiler +ocaml-config 1 OCaml Switch Configuration +ocamlfind 1.9.3.git pinned to version 1.9.3.git at https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +psq 0.2.1 Functional Priority Search Queues +seq base Compatibility package for OCaml's standard iterator type starting from 4.07. +git log -n 1 +commit 772341deec33729b85d6a98f323c337e6a757b2d +Author: fabbing +Date: Wed May 24 17:46:14 2023 +0200 + + Add @stedolan `markbench` benchmark for prefetching + + Co-authored-by: "Antonin Décimo " +opam exec --switch 5.2.0+trunk -- rungen _build/5.2.0+trunk_1 run_config_filtered.json > runs_dune.inc +[ERROR] Command not found 'rungen' +make: *** [Makefile:255: ocaml-versions/5.2.0+trunk.bench] Error 127 diff --git a/sequential/navajo/20230703_001002/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+sequential.20230703_001002.c7be43518c774549da354680064c540294081da1.log b/sequential/navajo/20230703_001002/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+sequential.20230703_001002.c7be43518c774549da354680064c540294081da1.log new file mode 100644 index 000000000..f9a884a4b --- /dev/null +++ b/sequential/navajo/20230703_001002/c7be43518c774549da354680064c540294081da1/5.2.0+trunk+sequential.20230703_001002.c7be43518c774549da354680064c540294081da1.log @@ -0,0 +1,396 @@ + intervaltree is not installed. Install using pip3 install. +5.2.0 +Filtering some benchmarks for OCaml 5.2.0 +opam init --bare --no-setup --no-opamrc --disable-sandboxing ./dependencies +[NOTE] Will configure from built-in defaults. +Checking for available remotes: rsync and local, git, mercurial. + - you won't be able to use darcs repositories unless you install the darcs command on your system. + + +<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> +[default] Initialised +rm -rf dependencies/packages/ocaml/ocaml.5.2.0+trunk +rm -rf dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk +mkdir -p dependencies/packages/ocaml/ocaml.5.2.0+trunk +cp -R dependencies/template/ocaml/* dependencies/packages/ocaml/ocaml.5.2.0+trunk/ +mkdir -p dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk +cp -R dependencies/template/ocaml-base-compiler/* \ + dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk/ +{ if [ "https://github.com/ocaml/ocaml/archive/trunk.tar.gz" == "" ]; then \ + url="$(jq -r '.url // empty' ocaml-versions/5.2.0+trunk.json)"; \ + else \ + url="https://github.com/ocaml/ocaml/archive/trunk.tar.gz"; \ + fi; \ + echo "url { src: \"$url\" }"; echo "setenv: [ [ ORUN_CONFIG_ocaml_url = \"$url\" ] ]"; } \ +>> dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0+trunk/opam; +# Read OCAML_CONFIG_OPTION from the ocaml-version/5.2.0+trunk.json file if env +# variable is not set already. The variable is read even if the +# environment variable is set to be empty. `run_all_custom.sh` always +# sets the OCAML_CONFIG_OPTION -- it is empty if no "configure" key is +# present in the sandmark nightly config file. +# Read OCAML_RUN_PARAM from the ocaml-version/5.2.0+trunk.json file if env +# variable is not set already. See comment above for +# OCAML_CONFIG_OPTION. +opam update + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] synchronised from file:///tmp/sandmark/dependencies +Now run 'opam upgrade' to apply any package updates. +OCAMLRUNPARAM="" OCAMLCONFIGOPTION="" opam switch create --keep-build-dir --yes 5.2.0+trunk ocaml-base-compiler.5.2.0+trunk + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[ocaml-base-compiler.5.2.0+trunk] downloaded from https://github.com/ocaml/ocaml/archive/trunk.tar.gz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed base-bigarray.base +∗ installed base-threads.base +∗ installed base-unix.base +∗ installed ocaml-base-compiler.5.2.0+trunk +∗ installed ocaml-config.1 +∗ installed ocaml.5.2.0+trunk +Done. +# Run eval $(opam env) to update the current shell environment +Package sexplib0 does not exist, create as a NEW package? [Y/n] y +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0: git] +[sexplib0.v0.15.0] synchronised from git+https://github.com/shakthimaan/sexplib0.git#multicore +sexplib0 is now pinned to git+https://github.com/shakthimaan/sexplib0.git#multicore (version v0.15.0) +# TODO remove pin when a new orun version is released on opam +opam pin add -n --yes --switch 5.2.0+trunk orun https://github.com/ocaml-bench/orun.git +Package orun does not exist, create as a NEW package? [Y/n] y +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev: git] +[orun.~dev] synchronised from git+https://github.com/ocaml-bench/orun.git +orun is now pinned to git+https://github.com/ocaml-bench/orun.git (version 0.1) +# TODO remove pin when a new runtime_events_tools is released on opam +opam pin add -n --yes --switch 5.2.0+trunk runtime_events_tools https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +Package runtime_events_tools does not exist, create as a NEW package? [Y/n] y +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev: git] +[runtime_events_tools.~dev] synchronised from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +runtime_events_tools is now pinned to git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 (version ~dev) +opam pin add -n --yes --switch 5.2.0+trunk ocamlfind https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +Package ocamlfind does not exist, create as a NEW package? [Y/n] y +[ocamlfind.~dev: http] +[ocamlfind.~dev] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +ocamlfind is now pinned to https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz (version 1.9.3.git) +opam pin add -n --yes --switch 5.2.0+trunk base.v0.14.3 https://github.com/janestreet/base.git#v0.14.3 +Package base does not exist, create as a NEW package? [Y/n] y +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3: git] +[base.v0.14.3] synchronised from git+https://github.com/janestreet/base.git#v0.14.3 +base is now pinned to git+https://github.com/janestreet/base.git#v0.14.3 (version v0.14.3) +opam pin add -n --yes --switch 5.2.0+trunk coq-core https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +Package coq-core does not exist, create as a NEW package? [Y/n] y +[coq-core.~dev: http] +[coq-core.~dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +coq-core is now pinned to https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz (version dev) +opam pin add -n --yes --switch 5.2.0+trunk coq-stdlib https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +Package coq-stdlib does not exist, create as a NEW package? [Y/n] y +[coq-stdlib.~dev: http] +[coq-stdlib.~dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +coq-stdlib is now pinned to https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz (version dev) +Using default dune.3.5.0 +/home/sandmark/.opam/ocaml-base-compiler.4.13.1 +Linking to system dune files found at: /home/sandmark/.opam/ocaml-base-compiler.4.13.1 +/home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/dune --version = n/a +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/dune /tmp/sandmark/_opam/sys_dune/bin/dune +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/bin/jbuilder /tmp/sandmark/_opam/sys_dune/bin/jbuilder +ln -s /home/sandmark/.opam/ocaml-base-compiler.4.13.1/lib/dune /tmp/sandmark/_opam/sys_dune/lib/dune +opam repo add upstream "git+https://github.com/ocaml/opam-repository.git" --on-switch=5.2.0+trunk --rank 2 +[upstream] Initialised +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + +opam install --switch=5.2.0+trunk --yes ocamlfind + +<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz + +The following actions will be performed: + ∗ install ocamlfind 1.9.3.git* + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed ocamlfind.1.9.3.git +Done. +# Run eval $(opam env) to update the current shell environment +opam install --switch=5.2.0+trunk --yes "dune.3.5.0" "dune-configurator.3.5.0" +The following actions will be performed: + ∗ install dune 3.5.0 + ∗ install csexp 1.5.2 [required by dune-configurator] + ∗ install dune-configurator 3.5.0 +===== ∗ 3 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[csexp.1.5.2] downloaded from https://github.com/ocaml-dune/csexp/releases/download/1.5.2/csexp-1.5.2.tbz +[dune.3.5.0] downloaded from https://github.com/ocaml/dune/releases/download/3.5.0/dune-3.5.0.tbz +[dune-configurator.3.5.0] downloaded from https://github.com/ocaml/dune/releases/download/3.5.0/dune-3.5.0.tbz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed dune.3.5.0 +∗ installed csexp.1.5.2 +∗ installed dune-configurator.3.5.0 +Done. +# Run eval $(opam env) to update the current shell environment +# Pin the version so it doesn't change when installing packages +opam pin add --switch=5.2.0+trunk --yes -n dune "3.5.0" +dune is now pinned to version 3.5.0 +# Retrieve set of version constraints for chosen OCaml version +Using template/dev-5.2.0+trunk.opam +# Conditionally install runtime_events_tools for olly (pausetimes) +Enabling pausetimes for OCaml >= 5 +opam repo add alpha git+https://github.com/kit-ty-kate/opam-alpha-repository.git --on-switch=5.2.0+trunk --rank 2 +[alpha] Initialised +opam exec --switch 5.2.0+trunk -- opam update + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] no changes from file:///tmp/sandmark/dependencies +[alpha] no changes from git+https://github.com/kit-ty-kate/opam-alpha-repository.git +[upstream] no changes from git+https://github.com/ocaml/opam-repository.git +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + + +<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> +[base.v0.14.3] no changes from git+https://github.com/janestreet/base.git#v0.14.3 +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +[coq-core.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[coq-stdlib.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[orun.0.1] no changes from git+https://github.com/ocaml-bench/orun.git +[runtime_events_tools.~dev] no changes from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] no changes from git+https://github.com/shakthimaan/sexplib0.git#multicore +opam install --switch=5.2.0+trunk --yes "lru" "psq" +The following actions will be performed: + ∗ install seq base [required by psq] + ∗ install psq 0.2.1 + ∗ install lru 0.3.1 +===== ∗ 3 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[lru.0.3.1] downloaded from https://github.com/pqwy/lru/releases/download/v0.3.1/lru-0.3.1.tbz +[psq.0.2.1] downloaded from https://github.com/pqwy/psq/releases/download/v0.2.1/psq-0.2.1.tbz + +<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> +∗ installed seq.base +∗ installed psq.0.2.1 +∗ installed lru.0.3.1 +Done. +# Run eval $(opam env) to update the current shell environment +opam exec --switch 5.2.0+trunk -- opam list +# Packages matching: installed +# Name # Installed # Synopsis +base-bigarray base +base-threads base +base-unix base +csexp 1.5.2 Parsing and printing of S-expressions in Canonical form +dune 3.5.0 pinned to version 3.5.0 +dune-configurator 3.5.0 Helper library for gathering system configuration +lru 0.3.1 Scalable LRU caches +ocaml 5.2.0+trunk The OCaml compiler (virtual package) +ocaml-base-compiler 5.2.0+trunk OCaml compiler +ocaml-config 1 OCaml Switch Configuration +ocamlfind 1.9.3.git pinned to version 1.9.3.git at https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +psq 0.2.1 Functional Priority Search Queues +seq base Compatibility package for OCaml's standard iterator type starting from 4.07. +opam update --switch=5.2.0+trunk + +<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> +[default] no changes from file:///tmp/sandmark/dependencies +[alpha] no changes from git+https://github.com/kit-ty-kate/opam-alpha-repository.git +[upstream] no changes from git+https://github.com/ocaml/opam-repository.git +upstream (at git+https://github.com/ocaml/opam-repository.git): + [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) + + +<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> +[base.v0.14.3] no changes from git+https://github.com/janestreet/base.git#v0.14.3 +[ocamlfind.1.9.3.git] downloaded from https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +[coq-stdlib.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[coq-core.dev] downloaded from https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz +[orun.0.1] no changes from git+https://github.com/ocaml-bench/orun.git +[runtime_events_tools.~dev] no changes from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] no changes from git+https://github.com/shakthimaan/sexplib0.git#multicore +The following actions will be performed: + ∗ install conf-gmp 1 + ∗ install cmdliner 1.2.0 + ∗ install conf-pkg-config 1.2 + ∗ install conf-findutils 1 + ∗ install conf-m4 1 + ∗ install ocaml-syntax-shims 1.0.0 + ∗ install re 1.10.4 + ∗ install conf-cmake 1 + ∗ install stdlib-shims 0.1.0 + ∗ install domainslib 0.4.2 + ∗ install either 1.0.0 + ∗ install menhirLib 20200612 + ∗ install stringext 1.6.0 + ∗ install menhirSdk 20200612 + ∗ install bigarray-compat 1.1.0 + ∗ install base-bytes base + ∗ install conf-perl 1 + ∗ install cppo 1.6.7 + ∗ install ocamlbuild 0.14.2 + ∗ install sexplib0 v0.15.0* + ∗ install minilight 1.6 + ∗ install num 1.3 + ∗ install camlp-streams 5.0 + ∗ install optint 0.3.0 + ∗ install result 1.5 + ∗ install conf-which 1 + ∗ install conf-zlib 1 + ∗ install conf-libffi 2.0.0 + ∗ install ocamlgraph 2.0.0 + ∗ install integers 0.7.0 + ∗ install menhir 20200612 + ∗ install bigstringaf 0.6.1 + ∗ install base64 3.4.0 + ∗ install zarith 1.10 + ∗ install yojson 2.1.0 + ∗ install ocplib-endian 1.2 + ∗ install topkg 1.0.7 + ∗ install nbcodec 20151119 + ∗ install cubicle 1.2.0 + ∗ install checkseum 0.3.4 + ∗ install conf-autoconf 0.1 + ∗ install camlzip 1.11 + ∗ install ctypes-foreign 0.18.0 + ∗ install psmt2-frontend 0.4.0 + ∗ install angstrom 0.15.0 + ∗ install rungen 0.0.1 + ∗ install orun 0.1* + ∗ install lwt 5.6.1 + ∗ install uutf 1.0.3 + ∗ install uuidm 0.9.8 + ∗ install rresult 0.6.0 + ∗ install react 1.2.2 + ∗ install mtime 1.2.0 + ∗ install fmt 0.9.0 + ∗ install astring 0.8.5 + ∗ install decompress 1.1.0 + ∗ install ocplib-simplex 0.4.1 + ∗ install ctypes 0.20.2 + ∗ install uri 4.1.0 + ∗ install jsonm 1.0.2 + ∗ install logs 0.7.0 + ∗ install cstruct 6.2.0 + ∗ install alt-ergo-lib 2.4.2 + ∗ install hdr_histogram 0.0.2 + ∗ install repr 0.6.0 + ∗ install eqaf 0.9 + ∗ install alt-ergo-parsers 2.4.2 + ∗ install runtime_events_tools ~dev* + ∗ install digestif 1.0.0 + ∗ install alt-ergo 2.4.2 +===== ∗ 70 ===== + +<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +[alt-ergo-parsers.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[alt-ergo.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[alt-ergo-lib.2.4.2] downloaded from https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz +[angstrom.0.15.0] downloaded from cache at https://opam.ocaml.org/cache/ +[astring.0.8.5] downloaded from https://erratique.ch/software/astring/releases/astring-0.8.5.tbz +[base64.3.4.0] downloaded from https://github.com/mirage/ocaml-base64/releases/download/v3.4.0/base64-v3.4.0.tbz +[bigarray-compat.1.1.0] downloaded from https://github.com/mirage/bigarray-compat/releases/download/v1.1.0/bigarray-compat-1.1.0.tbz +[bigstringaf.0.6.1] downloaded from https://github.com/inhabitedtype/bigstringaf/archive/0.6.1.tar.gz +[camlp-streams.5.0] downloaded from https://github.com/ocaml/camlp-streams/archive/refs/tags/v5.0.tar.gz +[camlzip.1.11] downloaded from https://github.com/xavierleroy/camlzip/archive/rel111.tar.gz +[checkseum.0.3.4] downloaded from https://github.com/mirage/checkseum/releases/download/v0.3.4/checkseum-0.3.4.tbz +[cmdliner.1.2.0] downloaded from https://erratique.ch/software/cmdliner/releases/cmdliner-1.2.0.tbz +[cppo.1.6.7] downloaded from cache at https://opam.ocaml.org/cache/ +[cstruct.6.2.0] downloaded from https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz +[cubicle.1.2.0] downloaded from https://github.com/cubicle-model-checker/cubicle/releases/download/1.2.0/cubicle-1.2.0.tar.gz +[ctypes.0.20.2] downloaded from https://github.com/ocamllabs/ocaml-ctypes/archive/0.20.2.tar.gz +[domainslib.0.4.2] downloaded from cache at https://opam.ocaml.org/cache/ +[decompress.1.1.0] downloaded from https://github.com/mirage/decompress/releases/download/v1.1.0/decompress-v1.1.0.tbz +[digestif.1.0.0] downloaded from https://github.com/mirage/digestif/releases/download/v1.0.0/digestif-v1.0.0.tbz +[either.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[fmt.0.9.0] downloaded from https://erratique.ch/software/fmt/releases/fmt-0.9.0.tbz +[hdr_histogram.0.0.2] downloaded from https://github.com/ocaml-multicore/hdr_histogram_ocaml/releases/download/v0.0.2/hdr_histogram-0.0.2.tbz +[eqaf.0.9] downloaded from https://github.com/mirage/eqaf/releases/download/v0.9/eqaf-0.9.tbz +[integers.0.7.0] downloaded from https://github.com/yallop/ocaml-integers/archive/0.7.0.tar.gz +[jsonm.1.0.2] downloaded from https://erratique.ch/software/jsonm/releases/jsonm-1.0.2.tbz +[logs.0.7.0] downloaded from https://erratique.ch/software/logs/releases/logs-0.7.0.tbz +[lwt.5.6.1] downloaded from https://github.com/ocsigen/lwt/archive/5.6.1.tar.gz +[mtime.1.2.0] downloaded from cache at https://opam.ocaml.org/cache/ +[nbcodec.20151119] downloaded from https://github.com/dbuenzli/nbcodec/archive/54ede66d0f552628625c9e0599df592bda63ab2e.tar.gz +[num.1.3] downloaded from https://github.com/ocaml/num/archive/v1.3.tar.gz +[minilight.1.6] downloaded from http://www.hxa.name/minilight/minilight16ocaml.tar.gz +[ocaml-syntax-shims.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[ocamlbuild.0.14.2] downloaded from https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.14.2.tar.gz +[ocamlgraph.2.0.0] downloaded from cache at https://opam.ocaml.org/cache/ +[ocplib-endian.1.2] downloaded from https://github.com/OCamlPro/ocplib-endian/archive/refs/tags/1.2.tar.gz +[optint.0.3.0] downloaded from https://github.com/mirage/optint/releases/download/v0.3.0/optint-0.3.0.tbz +[ocplib-simplex.0.4.1] downloaded from https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.4.1.tar.gz +[psmt2-frontend.0.4.0] downloaded from https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz +[react.1.2.2] downloaded from https://erratique.ch/software/react/releases/react-1.2.2.tbz +[re.1.10.4] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.10.4/re-1.10.4.tbz +[repr.0.6.0] downloaded from https://github.com/mirage/repr/releases/download/0.6.0/repr-fuzz-0.6.0.tbz +[result.1.5] downloaded from cache at https://opam.ocaml.org/cache/ +[rresult.0.6.0] downloaded from http://erratique.ch/software/rresult/releases/rresult-0.6.0.tbz +[rungen.0.0.1] downloaded from https://github.com/shakthimaan/rungen/releases/download/v0.0.1/rungen-v0.0.1.tbz +[stdlib-shims.0.1.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.1.0/stdlib-shims-0.1.0.tbz +[runtime_events_tools.~dev] synchronised from git+https://github.com/sadiqj/runtime_events_tools.git#09630b67b82f7d3226736793dd7bfc33999f4b25 +[sexplib0.v0.15.0] synchronised from git+https://github.com/shakthimaan/sexplib0.git#multicore +[topkg.1.0.7] downloaded from https://erratique.ch/software/topkg/releases/topkg-1.0.7.tbz +[uri.4.1.0] downloaded from cache at https://opam.ocaml.org/cache/ +[stringext.1.6.0] downloaded from https://github.com/rgrinberg/stringext/releases/download/1.6.0/stringext-1.6.0.tbz +[uuidm.0.9.8] downloaded from https://erratique.ch/software/uuidm/releases/uuidm-0.9.8.tbz +[uutf.1.0.3] downloaded from https://erratique.ch/software/uutf/releases/uutf-1.0.3.tbz +[yojson.2.1.0] downloaded from https://github.com/ocaml-community/yojson/releases/download/2.1.0/yojson-2.1.0.tbz +[zarith.1.10] downloaded from https://github.com/ocaml/Zarith/archive/release-1.10.tar.gz +[ERROR] The sources of the following couldn't be obtained, aborting: + - menhir.20200612: Curl failed + - menhirLib.20200612: Curl failed + - menhirSdk.20200612: Curl failed + +# Packages matching: installed +# Name # Installed # Synopsis +base-bigarray base +base-threads base +base-unix base +csexp 1.5.2 Parsing and printing of S-expressions in Canonical form +dune 3.5.0 pinned to version 3.5.0 +dune-configurator 3.5.0 Helper library for gathering system configuration +lru 0.3.1 Scalable LRU caches +ocaml 5.2.0+trunk The OCaml compiler (virtual package) +ocaml-base-compiler 5.2.0+trunk OCaml compiler +ocaml-config 1 OCaml Switch Configuration +ocamlfind 1.9.3.git pinned to version 1.9.3.git at https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz +psq 0.2.1 Functional Priority Search Queues +seq base Compatibility package for OCaml's standard iterator type starting from 4.07. +git log -n 1 +commit 772341deec33729b85d6a98f323c337e6a757b2d +Author: fabbing +Date: Wed May 24 17:46:14 2023 +0200 + + Add @stedolan `markbench` benchmark for prefetching + + Co-authored-by: "Antonin Décimo " +opam exec --switch 5.2.0+trunk -- rungen _build/5.2.0+trunk_1 run_config_filtered.json > runs_dune.inc +[ERROR] Command not found 'rungen' +make: *** [Makefile:255: ocaml-versions/5.2.0+trunk.bench] Error 127