Created
July 25, 2021 17:55
-
-
Save shubhamkumar13/6e680d46c23c5f9e6806c06d323a0904 to your computer and use it in GitHub Desktop.
sandmark run on my local laptop testing coq
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| jq '{wrappers : .wrappers, benchmarks: [.benchmarks | .[] | select(.tags | index("macro_bench") != null)]}' < run_config.json > run_config_filtered.json | |
| intervaltree is not installed. Install using pip3 install. | |
| git log -n 1 | |
| commit f1d0104bd599efea109071db82c6a06808dc44ac | |
| Merge: 9da9b70 1770b7d | |
| Author: KC Sivaramakrishnan <[email protected]> | |
| Date: Thu Jul 8 15:12:35 2021 +0530 | |
| Merge pull request #242 from Sudha247/grammatrix_commentary | |
| Add commentary on grammatrix | |
| opam init --bare --no-setup --no-opamrc ./dependencies | |
| [NOTE] Will configure from built-in defaults. | |
| Checking for available remotes: rsync and local, git, mercurial, darcs. Perfect! | |
| <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> | |
| [default] Initialised | |
| Linking to system dune files found at: /home/sk/.opam/4.12.0+domains+effects | |
| /home/sk/.opam/4.12.0+domains+effects/bin/dune --version = 2.8.1 | |
| ln -s /home/sk/.opam/4.12.0+domains+effects/bin/dune /home/sk/sandmark/_opam/sys_dune/bin/dune | |
| ln -s /home/sk/.opam/4.12.0+domains+effects/bin/jbuilder /home/sk/sandmark/_opam/sys_dune/bin/jbuilder | |
| ln -s /home/sk/.opam/4.12.0+domains+effects/lib/dune /home/sk/sandmark/_opam/sys_dune/lib/dune | |
| rm -rf dependencies/packages/ocaml/ocaml.4.12.0+domains+effects | |
| rm -rf dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0+domains+effects | |
| mkdir -p dependencies/packages/ocaml/ocaml.4.12.0+domains+effects | |
| cp -R dependencies/template/ocaml/* dependencies/packages/ocaml/ocaml.4.12.0+domains+effects/ | |
| mkdir -p dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0+domains+effects | |
| cp -R dependencies/template/ocaml-base-compiler/* \ | |
| dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0+domains+effects/ | |
| { url="$(jq -r '.url // empty' ocaml-versions/4.12.0+domains+effects.json)"; echo "url { src: \"$url\" }"; echo "setenv: [ [ ORUN_CONFIG_ocaml_url = \"$url\" ] ]"; } \ | |
| >> dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0+domains+effects/opam | |
| opam update | |
| <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> | |
| [default] synchronised from file:///home/sk/sandmark/dependencies | |
| Now run 'opam upgrade' to apply any package updates. | |
| OCAMLRUNPARAM="" OCAMLCONFIGOPTION="" opam switch create --keep-build-dir --yes 4.12.0+domains+effects ocaml-base-compiler.4.12.0+domains+effects | |
| <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| [ocaml-base-compiler.4.12.0+domains+effects] downloaded from https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz | |
| <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| ∗ installed base-bigarray.base | |
| ∗ installed base-threads.base | |
| ∗ installed base-unix.base | |
| ∗ installed ocaml-base-compiler.4.12.0+domains+effects | |
| ∗ installed ocaml-config.1 | |
| ∗ installed ocaml.4.12.0+domains+effects | |
| Done. | |
| # Run eval $(opam env) to update the current shell environment | |
| opam pin add -n --yes --switch 4.12.0+domains+effects eventlog-tools https://github.com/ocaml-multicore/eventlog-tools.git#multicore | |
| Package eventlog-tools does not exist, create as a NEW package? [Y/n] y | |
| [eventlog-tools.~dev: git] | |
| [eventlog-tools.~dev: git] | |
| [eventlog-tools.~dev: git] | |
| [eventlog-tools.~dev: git] | |
| [eventlog-tools.~dev: git] | |
| [eventlog-tools.~dev: git] | |
| [eventlog-tools.~dev: git] | |
| [eventlog-tools.~dev: git] | |
| [eventlog-tools.~dev: git] | |
| [eventlog-tools.~dev] synchronised from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore | |
| [WARNING] Failed checks on eventlog-tools package definition from source at git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore: | |
| warning 58: Found `test` variable, predefined one is `with-test` | |
| eventlog-tools is now pinned to git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore (version ~dev) | |
| opam pin add -n --yes --switch 4.12.0+domains+effects orun orun/ | |
| Package orun does not exist, create as a NEW package? [Y/n] y | |
| [orun.~dev: rsync] | |
| [orun.~dev] synchronised from file:///home/sk/sandmark/orun | |
| [WARNING] Failed checks on orun package definition from source at file:///home/sk/sandmark/orun: | |
| warning 35: Missing field 'homepage' | |
| warning 36: Missing field 'bug-reports' | |
| orun is now pinned to file:///home/sk/sandmark/orun (version 0.1) | |
| opam pin add -n --yes --switch 4.12.0+domains+effects rungen rungen/ | |
| Package rungen does not exist, create as a NEW package? [Y/n] y | |
| [rungen.~dev: rsync] | |
| [rungen.~dev] synchronised from file:///home/sk/sandmark/rungen | |
| [WARNING] Failed checks on rungen package definition from source at file:///home/sk/sandmark/rungen: | |
| warning 35: Missing field 'homepage' | |
| warning 36: Missing field 'bug-reports' | |
| rungen is now pinned to file:///home/sk/sandmark/rungen (version 0.1) | |
| <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> | |
| [default] no changes from file:///home/sk/sandmark/dependencies | |
| <><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> | |
| [orun.0.1] no changes from file:///home/sk/sandmark/orun | |
| [rungen.0.1] no changes from file:///home/sk/sandmark/rungen | |
| [eventlog-tools.~dev] no changes from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore | |
| opam install --switch=4.12.0+domains+effects --keep-build-dir --yes rungen orun | |
| <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> | |
| [orun.0.1] no changes from file:///home/sk/sandmark/orun | |
| [rungen.0.1] no changes from file:///home/sk/sandmark/rungen | |
| The following actions will be performed: | |
| ∗ install seq base [required by re] | |
| ∗ install dune 2.8.1 [required by yojson, re, sexplib0] | |
| ∗ install cmdliner 1.0.4 [required by orun] | |
| ∗ install result 1.5 [required by dune-configurator] | |
| ∗ install re 1.9.0 [required by orun] | |
| ∗ install easy-format 1.3.2 [required by yojson] | |
| ∗ install cppo 1.6.7 [required by yojson] | |
| ∗ install csexp 1.3.2 [required by dune-configurator] | |
| ∗ install biniou 1.2.1 [required by yojson] | |
| ∗ install dune-configurator 2.8.1 [required by sexplib0] | |
| ∗ install yojson 1.7.0 [required by orun, rungen] | |
| ∗ install sexplib0 v0.14.0 [required by rungen] | |
| ∗ install orun 0.1* | |
| ∗ install rungen 0.1* | |
| ===== ∗ 14 ===== | |
| <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| [cmdliner.1.0.4] downloaded from https://github.com/dbuenzli/cmdliner/archive/v1.0.4.tar.gz | |
| [cppo.1.6.7] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [biniou.1.2.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [csexp.1.3.2] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [easy-format.1.3.2] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [re.1.9.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [dune.2.8.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [result.1.5] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [sexplib0.v0.14.0] downloaded from https://github.com/janestreet/sexplib0/archive/v0.14.0.tar.gz | |
| [yojson.1.7.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [dune-configurator.2.8.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| ∗ installed seq.base | |
| ∗ installed cmdliner.1.0.4 | |
| ∗ installed dune.2.8.1 | |
| ∗ installed easy-format.1.3.2 | |
| ∗ installed result.1.5 | |
| ∗ installed csexp.1.3.2 | |
| ∗ installed re.1.9.0 | |
| ∗ installed cppo.1.6.7 | |
| ∗ installed biniou.1.2.1 | |
| ∗ installed dune-configurator.2.8.1 | |
| ∗ installed sexplib0.v0.14.0 | |
| ∗ installed yojson.1.7.0 | |
| ∗ installed rungen.0.1 | |
| ∗ installed orun.0.1 | |
| Done. | |
| # Run eval $(opam env) to update the current shell environment | |
| The following actions will be performed: | |
| ∗ install stdlib-shims 0.1.0 [required by ppxlib] | |
| ∗ install ppx_derivers 1.2.1 [required by ppxlib] | |
| ∗ install ocaml-compiler-libs v0.12.3 [required by ppxlib] | |
| ∗ install ocaml-migrate-parsetree 2.1.0+multicore | |
| ∗ install ppxlib 0.22.0+multicore | |
| ===== ∗ 5 ===== | |
| <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| [ocaml-compiler-libs.v0.12.3] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ppx_derivers.1.2.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ocaml-migrate-parsetree.2.1.0+multicore] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [stdlib-shims.0.1.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ppxlib.0.22.0+multicore] downloaded from cache at https://opam.ocaml.org/cache/ | |
| <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| ∗ installed ppx_derivers.1.2.1 | |
| ∗ installed stdlib-shims.0.1.0 | |
| ∗ installed ocaml-compiler-libs.v0.12.3 | |
| ∗ installed ocaml-migrate-parsetree.2.1.0+multicore | |
| ∗ installed ppxlib.0.22.0+multicore | |
| Done. | |
| # Run eval $(opam env) to update the current shell environment | |
| <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> | |
| [eventlog-tools.~dev] no changes from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore | |
| [NOTE] Package sexplib0 is already installed (current version is v0.14.0). | |
| [NOTE] Package yojson is already installed (current version is 1.7.0). | |
| [NOTE] Package dune-configurator is already installed (current version is 2.8.1). | |
| The following actions will be performed: | |
| ∗ install ocamlgraph 2.0.0 [required by irmin] | |
| ∗ install terminal_size 0.1.4 [required by progress] | |
| ∗ install conf-gmp 1 [required by zarith] | |
| ∗ install conf-findutils 1 | |
| ∗ install conf-m4 1 [required by ocamlfind] | |
| ∗ install owl-base 1.0.1 [required by eventlog-tools] | |
| ∗ install ocaml-syntax-shims 1.0.0 [required by lwt] | |
| ∗ install semaphore-compat 1.0.1 [required by index] | |
| ∗ install integers 0.4.0 | |
| ∗ install bheap 2.0.0 [required by irmin] | |
| ∗ install conf-pkg-config 1.2 | |
| ∗ install menhirSdk 20200612 [required by menhir] | |
| ∗ install interval-map 0.2.0 [required by eventlog-tools] | |
| ∗ install menhirLib 20200612 | |
| ∗ install base v0.14.1 | |
| ∗ install conf-perl 1 [required by zarith] | |
| ∗ install mmap 1.1.0 [required by lwt] | |
| ∗ install minilight 1.6 | |
| ∗ install ocamlbuild 0.14.0 [required by react, mtime, logs, etc.] | |
| ∗ install optint 0.0.4 [required by checkseum, decompress] | |
| ∗ install either 1.0.0 [required by repr] | |
| ∗ install bigarray-compat 1.0.0 [required by checkseum, bigstringaf, decompress] | |
| ∗ install dune-private-libs 2.6.0 | |
| ∗ install ocamlfind 1.8.1 [required by uuidm, ppx_deriving, mtime, etc.] | |
| ∗ install conf-zlib 1 | |
| ∗ install menhir 20200612 | |
| ∗ install stdio v0.14.0 | |
| ∗ install uchar 0.0.2 [required by jsonm] | |
| ∗ install eqaf 0.7 [required by digestif] | |
| ∗ install bigstringaf 0.6.1 | |
| ∗ install zarith 1.9 | |
| ∗ install topkg 1.0.3 [required by react, logs, mtime, uuidm] | |
| ∗ install ppx_deriving 5.2.1 | |
| ∗ install num 1.3 [required by coq, cubicle] | |
| ∗ install nbcodec 20151119 | |
| ∗ install camlpdf 2.3 [required by cpdf] | |
| ∗ install base-bytes base [required by decompress, checkseum, ocplib-endian] | |
| ∗ install camlzip 1.10 | |
| ∗ install psmt2-frontend 0.2 [required by alt-ergo-parsers] | |
| ∗ install camlimages 5.0.3 | |
| ∗ install angstrom 0.15.0 [required by eventlog-tools] | |
| ∗ install uutf 1.0.2 [required by irmin, repr] | |
| ∗ install uuidm 0.9.7 | |
| ∗ install rresult 0.6.0 [required by eventlog-tools] | |
| ∗ install react 1.2.1 | |
| ∗ install mtime 1.2.0 | |
| ∗ install fmt 0.8.9 [required by logs, irmin, eventlog-tools, etc.] | |
| ∗ install astring 0.8.5 [required by irmin] | |
| ∗ install ppx_deriving_yojson 3.6.1 | |
| ∗ install ocplib-simplex 0.4 [required by alt-ergo-lib] | |
| ∗ install cubicle 1.1.2 | |
| ∗ install coq dev | |
| ∗ install cpdf 2.3 | |
| ∗ install stringext 1.6.0 [required by uri] | |
| ∗ install ocplib-endian 1.1 | |
| ∗ install digestif 1.0.0 [required by irmin] | |
| ∗ install checkseum 0.2.1 | |
| ∗ install base64 3.4.0 [required by repr] | |
| ∗ install jsonm 1.0.1 [required by irmin, eventlog-tools, index, repr] | |
| ∗ install progress 0.1.1 [required by index] | |
| ∗ install fpath 0.7.3 [required by eventlog-tools] | |
| ∗ install alt-ergo-lib 2.3.2 [required by alt-ergo] | |
| ∗ install fraplib dev | |
| ∗ install uri 4.1.0 [required by irmin] | |
| ∗ install lwt 5.4.0 | |
| ∗ install decompress 1.1.0 | |
| ∗ install repr 0.2.1 | |
| ∗ install alt-ergo-parsers 2.3.2 [required by alt-ergo] | |
| ∗ install logs 0.7.0 | |
| ∗ install ppx_repr 0.2.1 | |
| ∗ install alt-ergo 2.3.2 | |
| ∗ install bos 0.2.0 [required by eventlog-tools] | |
| ∗ install ppx_irmin 2.4.0 | |
| ∗ install index 1.3.0 | |
| ∗ install eventlog-tools ~dev* | |
| ∗ install irmin 2.4.0 | |
| ∗ install irmin-layers 2.4.0 | |
| ∗ install irmin-pack 2.4.0 | |
| ===== ∗ 78 ===== | |
| <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| [alt-ergo.2.3.2] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [angstrom.0.15.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [alt-ergo-lib.2.3.2] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [astring.0.8.5] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [base64.3.4.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [base.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [bheap.2.0.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [alt-ergo-parsers.2.3.2] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [bigarray-compat.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [bigstringaf.0.6.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [bos.0.2.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [camlimages.5.0.3] downloaded from https://gitlab.com/camlspotter/camlimages/-/archive/5.0.3/camlimages-5.0.3.tar.bz2 | |
| [camlzip.1.10] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [checkseum.0.2.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [camlpdf.2.3] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [cubicle.1.1.2] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [cpdf.2.3] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [decompress.1.1.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [coq.dev] downloaded from https://github.com/ejgallego/coq/archive/multicore-t01.zip | |
| [either.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [dune-private-libs.2.6.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [eventlog-tools.~dev] synchronised from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore | |
| [eqaf.0.7] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [digestif.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [fmt.0.8.9] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [fpath.0.7.3] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [fraplib.dev] downloaded from https://github.com/kayceesrk/fraplib/archive/master.zip | |
| [integers.0.4.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [interval-map.0.2.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [index.1.3.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [irmin.2.4.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [jsonm.1.0.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [logs.0.7.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [irmin-layers.2.4.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [lwt.5.4.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [irmin-pack.2.4.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [menhir.20200612] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [minilight.1.6] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [mmap.1.1.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [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 | |
| [menhirLib.20200612] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ocaml-syntax-shims.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [num.1.3] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ocamlbuild.0.14.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ocamlfind.1.8.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ocplib-endian.1.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [menhirSdk.20200612] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ocplib-simplex.0.4] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ocamlgraph.2.0.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [optint.0.0.4] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ppx_deriving.5.2.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ppx_irmin.2.4.0] found in cache | |
| [ppx_deriving_yojson.3.6.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [ppx_repr.0.2.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [progress.0.1.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [psmt2-frontend.0.2] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [repr.0.2.1] found in cache | |
| [react.1.2.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [rresult.0.6.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [semaphore-compat.1.0.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [stdio.v0.14.0] downloaded from https://github.com/janestreet/stdio/archive/v0.14.0.tar.gz | |
| [stringext.1.6.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [owl-base.1.0.1] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [terminal_size.0.1.4] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [topkg.1.0.3] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [uchar.0.0.2] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [uuidm.0.9.7] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [uutf.1.0.2] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [uri.4.1.0] downloaded from cache at https://opam.ocaml.org/cache/ | |
| [zarith.1.9] downloaded from cache at https://opam.ocaml.org/cache/ | |
| <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| ∗ installed bheap.2.0.0 | |
| ∗ installed bigarray-compat.1.0.0 | |
| ∗ installed bigstringaf.0.6.1 | |
| ∗ installed conf-findutils.1 | |
| ∗ installed conf-gmp.1 | |
| ∗ installed conf-m4.1 | |
| ∗ installed conf-perl.1 | |
| ∗ installed conf-pkg-config.1.2 | |
| ∗ installed conf-zlib.1 | |
| ∗ installed either.1.0.0 | |
| ∗ installed eqaf.0.7 | |
| ∗ installed integers.0.4.0 | |
| ∗ installed interval-map.0.2.0 | |
| ∗ installed menhirLib.20200612 | |
| ∗ installed menhirSdk.20200612 | |
| ∗ installed dune-private-libs.2.6.0 | |
| ∗ installed minilight.1.6 | |
| ∗ installed mmap.1.1.0 | |
| ∗ installed ocaml-syntax-shims.1.0.0 | |
| ∗ installed base.v0.14.1 | |
| ∗ installed ocamlgraph.2.0.0 | |
| ∗ installed optint.0.0.4 | |
| ∗ installed semaphore-compat.1.0.1 | |
| ∗ installed terminal_size.0.1.4 | |
| ∗ installed ocamlbuild.0.14.0 | |
| ∗ installed owl-base.1.0.1 | |
| ∗ installed menhir.20200612 | |
| ∗ installed angstrom.0.15.0 | |
| ∗ installed stdio.v0.14.0 | |
| ∗ installed uchar.0.0.2 | |
| ∗ installed ocamlfind.1.8.1 | |
| ∗ installed base-bytes.base | |
| ∗ installed base64.3.4.0 | |
| ∗ installed camlimages.5.0.3 | |
| ∗ installed camlzip.1.10 | |
| ∗ installed checkseum.0.2.1 | |
| ∗ installed nbcodec.20151119 | |
| ∗ installed num.1.3 | |
| ∗ installed digestif.1.0.0 | |
| ∗ installed ocplib-endian.1.1 | |
| ∗ installed ppx_deriving.5.2.1 | |
| ∗ installed decompress.1.1.0 | |
| ∗ installed psmt2-frontend.0.2 | |
| ∗ installed camlpdf.2.3 | |
| ∗ installed stringext.1.6.0 | |
| ∗ installed ppx_deriving_yojson.3.6.1 | |
| ∗ installed topkg.1.0.3 | |
| ∗ installed astring.0.8.5 | |
| ∗ installed fmt.0.8.9 | |
| ∗ installed lwt.5.4.0 | |
| ∗ installed cpdf.2.3 | |
| ∗ installed fpath.0.7.3 | |
| ∗ installed mtime.1.2.0 | |
| ∗ installed ocplib-simplex.0.4 | |
| ∗ installed cubicle.1.1.2 | |
| ∗ installed react.1.2.1 | |
| ∗ installed rresult.0.6.0 | |
| ∗ installed uri.4.1.0 | |
| ∗ installed uuidm.0.9.7 | |
| ∗ installed uutf.1.0.2 | |
| ∗ installed zarith.1.9 | |
| ∗ installed logs.0.7.0 | |
| ∗ installed progress.0.1.1 | |
| ∗ installed jsonm.1.0.1 | |
| ∗ installed repr.0.2.1 | |
| ∗ installed bos.0.2.0 | |
| ∗ installed eventlog-tools.~dev | |
| ∗ installed ppx_repr.0.2.1 | |
| ∗ installed alt-ergo-lib.2.3.2 | |
| ∗ installed index.1.3.0 | |
| ∗ installed ppx_irmin.2.4.0 | |
| ∗ installed alt-ergo-parsers.2.3.2 | |
| ∗ installed alt-ergo.2.3.2 | |
| ∗ installed irmin.2.4.0 | |
| ∗ installed irmin-layers.2.4.0 | |
| ∗ installed irmin-pack.2.4.0 | |
| [ERROR] The compilation of coq failed at "/home/sk/sandmark/_opam/opam-init/hooks/sandbox.sh build dune build -p coq -j 7". | |
| #=== ERROR while compiling coq.dev ============================================# | |
| # context 2.0.8 | linux/x86_64 | ocaml-base-compiler.4.12.0+domains+effects | file:///home/sk/sandmark/dependencies | |
| # path ~/sandmark/_opam/4.12.0+domains+effects/.opam-switch/build/coq.dev | |
| # command ~/sandmark/_opam/opam-init/hooks/sandbox.sh build dune build -p coq -j 7 | |
| # exit-code 137 | |
| # env-file ~/sandmark/_opam/log/coq-35860-f4f63e.env | |
| # output-file ~/sandmark/_opam/log/coq-35860-f4f63e.out | |
| ### output ### | |
| # 265 | let declare_coercion coef ?(local = false) ~isid ~src:cls ~target:clt ~params:ps = | |
| # [...] | |
| # Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. | |
| # ocamlopt stm/.stm.objs/native/stm.{cmx,o} | |
| # File "stm/stm.ml", line 1759, characters 24-27: | |
| # 1759 | let build_proof ~doc ?loc ~drop_pt ~exn_info ~block_start ~block_stop ~name:pname = | |
| # ^^^ | |
| # Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. | |
| # ocamlopt plugins/ssr/.ssreflect_plugin.objs/native/ssreflect_plugin__Ssrview.{cmx,o} | |
| # File "plugins/ssr/ssrview.ml", line 396, characters 30-47: | |
| # 396 | let tclIPAT_VIEWS ~views:vs ?(clear_if_id=false) ~conclusion = | |
| # ^^^^^^^^^^^^^^^^^ | |
| # Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. | |
| <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| ┌─ The following actions failed | |
| │ λ build coq dev | |
| └─ | |
| ┌─ The following changes have been performed (the rest was aborted) | |
| │ ∗ install alt-ergo 2.3.2 | |
| │ ∗ install alt-ergo-lib 2.3.2 | |
| │ ∗ install alt-ergo-parsers 2.3.2 | |
| │ ∗ install angstrom 0.15.0 | |
| │ ∗ install astring 0.8.5 | |
| │ ∗ install base v0.14.1 | |
| │ ∗ install base-bytes base | |
| │ ∗ install base64 3.4.0 | |
| │ ∗ install bheap 2.0.0 | |
| │ ∗ install bigarray-compat 1.0.0 | |
| │ ∗ install bigstringaf 0.6.1 | |
| │ ∗ install bos 0.2.0 | |
| │ ∗ install camlimages 5.0.3 | |
| │ ∗ install camlpdf 2.3 | |
| │ ∗ install camlzip 1.10 | |
| │ ∗ install checkseum 0.2.1 | |
| │ ∗ install conf-findutils 1 | |
| │ ∗ install conf-gmp 1 | |
| │ ∗ install conf-m4 1 | |
| │ ∗ install conf-perl 1 | |
| │ ∗ install conf-pkg-config 1.2 | |
| │ ∗ install conf-zlib 1 | |
| │ ∗ install cpdf 2.3 | |
| │ ∗ install cubicle 1.1.2 | |
| │ ∗ install decompress 1.1.0 | |
| │ ∗ install digestif 1.0.0 | |
| │ ∗ install dune-private-libs 2.6.0 | |
| │ ∗ install either 1.0.0 | |
| │ ∗ install eqaf 0.7 | |
| │ ∗ install eventlog-tools ~dev | |
| │ ∗ install fmt 0.8.9 | |
| │ ∗ install fpath 0.7.3 | |
| │ ∗ install index 1.3.0 | |
| │ ∗ install integers 0.4.0 | |
| │ ∗ install interval-map 0.2.0 | |
| │ ∗ install irmin 2.4.0 | |
| │ ∗ install irmin-layers 2.4.0 | |
| │ ∗ install irmin-pack 2.4.0 | |
| │ ∗ install jsonm 1.0.1 | |
| │ ∗ install logs 0.7.0 | |
| │ ∗ install lwt 5.4.0 | |
| │ ∗ install menhir 20200612 | |
| │ ∗ install menhirLib 20200612 | |
| │ ∗ install menhirSdk 20200612 | |
| │ ∗ install minilight 1.6 | |
| │ ∗ install mmap 1.1.0 | |
| │ ∗ install mtime 1.2.0 | |
| │ ∗ install nbcodec 20151119 | |
| │ ∗ install num 1.3 | |
| │ ∗ install ocaml-syntax-shims 1.0.0 | |
| │ ∗ install ocamlbuild 0.14.0 | |
| │ ∗ install ocamlfind 1.8.1 | |
| │ ∗ install ocamlgraph 2.0.0 | |
| │ ∗ install ocplib-endian 1.1 | |
| │ ∗ install ocplib-simplex 0.4 | |
| │ ∗ install optint 0.0.4 | |
| │ ∗ install owl-base 1.0.1 | |
| │ ∗ install ppx_deriving 5.2.1 | |
| │ ∗ install ppx_deriving_yojson 3.6.1 | |
| │ ∗ install ppx_irmin 2.4.0 | |
| │ ∗ install ppx_repr 0.2.1 | |
| │ ∗ install progress 0.1.1 | |
| │ ∗ install psmt2-frontend 0.2 | |
| │ ∗ install react 1.2.1 | |
| │ ∗ install repr 0.2.1 | |
| │ ∗ install rresult 0.6.0 | |
| │ ∗ install semaphore-compat 1.0.1 | |
| │ ∗ install stdio v0.14.0 | |
| │ ∗ install stringext 1.6.0 | |
| │ ∗ install terminal_size 0.1.4 | |
| │ ∗ install topkg 1.0.3 | |
| │ ∗ install uchar 0.0.2 | |
| │ ∗ install uri 4.1.0 | |
| │ ∗ install uuidm 0.9.7 | |
| │ ∗ install uutf 1.0.2 | |
| │ ∗ install zarith 1.9 | |
| └─ | |
| # Run eval $(opam env) to update the current shell environment | |
| The former state can be restored with: | |
| opam switch import "/home/sk/sandmark/_opam/4.12.0+domains+effects/.opam-switch/backup/state-20210725171205.export" | |
| opam exec --switch 4.12.0+domains+effects -- opam list | |
| # Packages matching: installed | |
| # Name # Installed # Synopsis | |
| alt-ergo 2.3.2 The Alt-Ergo SMT prover | |
| alt-ergo-lib 2.3.2 The Alt-Ergo SMT prover library | |
| alt-ergo-parsers 2.3.2 The Alt-Ergo SMT prover parser library | |
| angstrom 0.15.0 Parser combinators built for speed and memory-efficiency | |
| astring 0.8.5 Alternative String module for OCaml | |
| base v0.14.1 Full standard library replacement for OCaml | |
| base-bigarray base | |
| base-bytes base Bytes library distributed with the OCaml compiler | |
| base-threads base | |
| base-unix base | |
| base64 3.4.0 Base64 encoding for OCaml | |
| bheap 2.0.0 Priority queues | |
| bigarray-compat 1.0.0 Compatibility library to use Stdlib.Bigarray when possible | |
| bigstringaf 0.6.1 Bigstring intrinsics and fast blits based on memcpy/memmove | |
| biniou 1.2.1 Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve | |
| bos 0.2.0 Basic OS interaction for OCaml | |
| camlimages 5.0.3 Image processing library | |
| camlpdf 2.3 Read, write and modify PDF files | |
| camlzip 1.10 Provides easy access to compressed files in ZIP, GZIP and JAR format | |
| checkseum 0.2.1 Adler-32, CRC32 and CRC32-C implementation in C and OCaml | |
| cmdliner 1.0.4 Declarative definition of command line interfaces for OCaml | |
| conf-findutils 1 Virtual package relying on findutils | |
| conf-gmp 1 Virtual package relying on a GMP lib system installation | |
| conf-m4 1 Virtual package relying on m4 | |
| conf-perl 1 Virtual package relying on perl | |
| conf-pkg-config 1.2 Virtual package relying on pkg-config installation | |
| conf-zlib 1 Virtual package relying on zlib | |
| cpdf 2.3 High-level pdf tools based on CamlPDF | |
| cppo 1.6.7 Code preprocessor like cpp for OCaml | |
| csexp 1.3.2 Parsing and printing of S-expressions in Canonical form | |
| cubicle 1.1.2 SMT based model checker for parameterized systems | |
| decompress 1.1.0 Implementation of Zlib and GZip in OCaml | |
| digestif 1.0.0 Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5) | |
| dune 2.8.1 Fast, portable, and opinionated build system | |
| dune-configurator 2.8.1 Helper library for gathering system configuration | |
| dune-private-libs 2.6.0 Private libraries of Dune | |
| easy-format 1.3.2 High-level and functional interface to the Format module of the OCaml standard library | |
| either 1.0.0 Compatibility Either module | |
| eqaf 0.7 Constant-time equal function on string | |
| eventlog-tools ~dev pinned to version ~dev at git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore | |
| fmt 0.8.9 OCaml Format pretty-printer combinators | |
| fpath 0.7.3 File system paths for OCaml | |
| index 1.3.0 A platform-agnostic multi-level index for OCaml | |
| integers 0.4.0 Various signed and unsigned integer types for OCaml | |
| interval-map 0.2.0 An immutable interval map data structure | |
| irmin 2.4.0 Irmin, a distributed database that follows the same design principles as Git | |
| irmin-layers 2.4.0 Combine different Irmin stores into a single, layered store | |
| irmin-pack 2.4.0 Irmin backend which stores values in a pack file | |
| jsonm 1.0.1 Non-blocking streaming JSON codec for OCaml | |
| logs 0.7.0 Logging infrastructure for OCaml | |
| lwt 5.4.0 Promises and event-driven I/O | |
| menhir 20200612 An LR(1) parser generator | |
| menhirLib 20200612 Runtime support library for parsers generated by Menhir | |
| menhirSdk 20200612 Compile-time library for auxiliary tools related to Menhir | |
| minilight 1.6 Minimal global illumination renderer. | |
| mmap 1.1.0 File mapping functionality | |
| mtime 1.2.0 Monotonic wall-clock time for OCaml | |
| nbcodec 20151119 non-blocking IO interface design | |
| num 1.3 The legacy Num library for arbitrary-precision integer and rational arithmetic | |
| ocaml 4.12.0+domains+effects The OCaml compiler (virtual package) | |
| ocaml-base-compiler 4.12.0+domains+effects OCaml compiler | |
| ocaml-compiler-libs v0.12.3 OCaml compiler libraries repackaged | |
| ocaml-config 1 OCaml Switch Configuration | |
| ocaml-migrate-parsetree 2.1.0+multicore Convert OCaml parsetrees between different versions | |
| ocaml-syntax-shims 1.0.0 Backport new syntax to older OCaml versions | |
| ocamlbuild 0.14.0 OCamlbuild is a build system with builtin rules to easily build most OCaml projects. | |
| ocamlfind 1.8.1 A library manager for OCaml | |
| ocamlgraph 2.0.0 A generic graph library for OCaml | |
| ocplib-endian 1.1 Optimised functions to read and write int16/32/64 from strings and bigarrays | |
| ocplib-simplex 0.4 A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions | |
| optint 0.0.4 Abstract type on integer between x64 and x86 architecture | |
| orun 0.1 pinned to version 0.1 at file:///home/sk/sandmark/orun | |
| owl-base 1.0.1 OCaml Scientific and Engineering Computing - Base | |
| ppx_derivers 1.2.1 Shared [@@deriving] plugin registry | |
| ppx_deriving 5.2.1 Type-driven code generation for OCaml | |
| ppx_deriving_yojson 3.6.1 JSON codec generator for OCaml | |
| ppx_irmin 2.4.0 PPX deriver for Irmin type representations | |
| ppx_repr 0.2.1 PPX deriver for type representations | |
| ppxlib 0.22.0+multicore Standard library for ppx rewriters | |
| progress 0.1.1 User-definable progress bars | |
| psmt2-frontend 0.2 A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism | |
| re 1.9.0 RE is a regular expression library for OCaml | |
| react 1.2.1 Declarative events and signals for OCaml | |
| repr 0.2.1 Dynamic type representations. Provides no stability guarantee | |
| result 1.5 Compatibility Result module | |
| rresult 0.6.0 Result value combinators for OCaml | |
| rungen 0.1 pinned to version 0.1 at file:///home/sk/sandmark/rungen | |
| semaphore-compat 1.0.1 Compatibility Semaphore module | |
| seq base Compatibility package for OCaml's standard iterator type starting from 4.07. | |
| sexplib0 v0.14.0 Library containing the definition of S-expressions and some base converters | |
| stdio v0.14.0 Standard IO library for OCaml | |
| stdlib-shims 0.1.0 Backport some of the new stdlib features to older compiler | |
| stringext 1.6.0 Extra string functions for OCaml | |
| terminal_size 0.1.4 Get the dimensions of the terminal | |
| topkg 1.0.3 The transitory OCaml software packager | |
| uchar 0.0.2 Compatibility library for OCaml's Uchar module | |
| uri 4.1.0 An RFC3986 URI/URL parsing library | |
| uuidm 0.9.7 Universally unique identifiers (UUIDs) for OCaml | |
| uutf 1.0.2 Non-blocking streaming Unicode codec for OCaml | |
| yojson 1.7.0 Yojson is an optimized parsing and printing library for the JSON format | |
| zarith 1.9 Implements arithmetic and logical operations over arbitrary-precision integers | |
| opam exec --switch 4.12.0+domains+effects -- cp pausetimes/* $(opam config var bin) | |
| opam exec --switch 4.12.0+domains+effects -- rungen _build/4.12.0+domains+effects_1 run_config_filtered.json > runs_dune.inc; | |
| opam exec --switch 4.12.0+domains+effects -- dune build --profile=release --workspace=ocaml-versions/.workspace.4.12.0+domains+effects @buildbench; | |
| Executing benchmarks with: | |
| RUN_CONFIG_JSON=run_config_filtered.json | |
| RUN_BENCH_TARGET=run_orun (WRAPPER=orun) | |
| PRE_BENCH_EXEC= | |
| orun coq.AbstractInterpretation.v.orun.bench [4.12.0+domains+effects_1] (exit 1) | |
| (cd _build/4.12.0+domains+effects_1 && /home/sk/sandmark/_opam/4.12.0+domains+effects/bin/orun -o ./coq.AbstractInterpretation.v.orun.bench -- taskset --cpu-list 5 coqc benchmarks/coq/AbstractInterpretation.v &> /dev/null | |
| orun coq.BasicSyntax.v.orun.bench [4.12.0+domains+effects_1] (exit 1) | |
| (cd _build/4.12.0+domains+effects_1 && /home/sk/sandmark/_opam/4.12.0+domains+effects/bin/orun -o ./coq.BasicSyntax.v.orun.bench -- taskset --cpu-list 5 coqc benchmarks/coq/BasicSyntax.v &> /dev/null | |
| make: *** [Makefile:122: ocaml-versions/4.12.0+domains+effects.bench] Error 1 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment