Created
July 29, 2021 14:33
-
-
Save shubhamkumar13/c22ce84323050355a8d347eb62007281 to your computer and use it in GitHub Desktop.
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
| make: 'multicore_parallel_run_config_filtered.json' is up to date. | |
| make: 'multicore_parallel_run_config_filtered_filtered.json' is up to date. | |
| make: 'multicore_parallel_run_config_filtered_filtered_2domains.json' is up to date. | |
| intervaltree is not installed. Install using pip3 install. | |
| git log -n 1 | |
| commit a419843226837b55cae8482b489dedfd58ff8865 | |
| Author: Shakthi Kannan <[email protected]> | |
| Date: Thu May 27 22:19:18 2021 +0530 | |
| 56 benchmarks build for 4.13.0+trunk with dune.2.8.1 | |
| <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> | |
| [default] no changes from file:///home/sk/sandmark/dependencies | |
| <><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><> | |
| [rungen.0.1] no changes from file:///home/sk/sandmark/rungen | |
| [orun.0.1] no changes from file:///home/sk/sandmark/orun | |
| opam install --switch=4.12.0+domains --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 | |
| [NOTE] Package orun is already installed (current version is 0.1). | |
| [NOTE] Package rungen is already installed (current version is 0.1). | |
| [NOTE] Package ppxlib is already installed (current version is 0.22.0+stock). | |
| [NOTE] Package ocaml-migrate-parsetree is already installed (current version is 2.1.0+stock). | |
| [NOTE] Package kcas is already installed (current version is 0.1.4). | |
| [NOTE] Package lockfree is already installed (current version is 0.1.3). | |
| [NOTE] Package irmin-pack is already installed (current version is 2.4.0). | |
| [NOTE] Package irmin-layers is already installed (current version is 2.4.0). | |
| [NOTE] Package ppx_repr is already installed (current version is 0.2.1). | |
| [NOTE] Package repr is already installed (current version is 0.2.1). | |
| [NOTE] Package ppx_irmin is already installed (current version is 2.4.0). | |
| [NOTE] Package ppx_deriving_yojson is already installed (current version is 3.6.1). | |
| [NOTE] Package ppx_deriving is already installed (current version is 5.2.1). | |
| [NOTE] Package mtime is already installed (current version is 1.2.0). | |
| [NOTE] Package logs is already installed (current version is 0.7.0). | |
| [NOTE] Package index is already installed (current version is 1.3.0). | |
| [NOTE] Package conf-findutils is already installed (current version is 1). | |
| [NOTE] Package cubicle is already installed (current version is 1.1.2). | |
| [NOTE] Package irmin is already installed (current version is 2.4.0). | |
| [NOTE] Package sexplib0 is already installed (current version is v0.14.0). | |
| [NOTE] Package checkseum is already installed (current version is 0.2.1). | |
| [NOTE] Package nbcodec is already installed (current version is 20151119). | |
| [NOTE] Package ocplib-endian is already installed (current version is 1.1). | |
| [NOTE] Package react is already installed (current version is 1.2.1). | |
| [NOTE] Package uuidm is already installed (current version is 0.9.7). | |
| [NOTE] Package integers is already installed (current version is 0.4.0). | |
| [NOTE] Package zarith is already installed (current version is 1.9). | |
| [NOTE] Package lwt is already installed (current version is 5.4.0). | |
| [NOTE] Package yojson is already installed (current version is 1.7.0). | |
| [NOTE] Package camlimages is already installed (current version is 5.0.3). | |
| [NOTE] Package dune-configurator is already installed (current version is 2.8.1). | |
| [NOTE] Package dune-private-libs is already installed (current version is 2.8.1). | |
| [NOTE] Package stdio is already installed (current version is v0.14.0). | |
| [NOTE] Package base is already installed (current version is v0.14.1). | |
| [NOTE] Package minilight is already installed (current version is 1.6). | |
| [NOTE] Package menhir is already installed (current version is 20200612). | |
| [NOTE] Package menhirLib is already installed (current version is 20200612). | |
| [NOTE] Package camlzip is already installed (current version is 1.10). | |
| [NOTE] Package decompress is already installed (current version is 1.1.0). | |
| [NOTE] Package bigstringaf is already installed (current version is 0.6.1). | |
| [NOTE] Package conf-zlib is already installed (current version is 1). | |
| [NOTE] Package conf-pkg-config is already installed (current version is 1.2). | |
| [NOTE] Package cpdf is already installed (current version is 2.3). | |
| The following actions will be performed: | |
| ∗ install domainslib 0.2.2 | |
| <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| [domainslib.0.2.2] found in cache | |
| <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| [ERROR] The compilation of domainslib failed at "/home/sk/sandmark/_opam/opam-init/hooks/sandbox.sh build dune build -p domainslib". | |
| #=== ERROR while compiling domainslib.0.2.2 ===================================# | |
| # context 2.0.8 | linux/x86_64 | ocaml-base-compiler.4.12.0+domains | file:///home/sk/sandmark/dependencies | |
| # path ~/sandmark/_opam/4.12.0+domains/.opam-switch/build/domainslib.0.2.2 | |
| # command ~/sandmark/_opam/opam-init/hooks/sandbox.sh build dune build -p domainslib | |
| # exit-code 1 | |
| # env-file ~/sandmark/_opam/log/domainslib-752707-05296d.env | |
| # output-file ~/sandmark/_opam/log/domainslib-752707-05296d.out | |
| ### output ### | |
| # [...] | |
| # ocamlc lib/.domainslib.objs/byte/domainslib__Chan.{cmo,cmt} (exit 2) | |
| # (cd _build/default && /home/sk/sandmark/_opam/4.12.0+domains/bin/ocamlc.opt -w -40 -g -bin-annot -I lib/.domainslib.objs/byte -intf-suffix .ml -no-alias-deps -open Domainslib__ -o lib/.domainslib.objs/byte/domainslib__Chan.cmo -c -impl lib/chan.ml) | |
| # File "lib/chan.ml", line 38, characters 20-36: | |
| # 38 | then (Domain.Sync.wait (); true) | |
| # ^^^^^^^^^^^^^^^^ | |
| # Error: Unbound value Domain.Sync.wait | |
| # ocamlopt lib/.domainslib.objs/native/domainslib__Chan.{cmx,o} (exit 2) | |
| # (cd _build/default && /home/sk/sandmark/_opam/4.12.0+domains/bin/ocamlopt.opt -w -40 -g -I lib/.domainslib.objs/byte -I lib/.domainslib.objs/native -intf-suffix .ml -no-alias-deps -open Domainslib__ -o lib/.domainslib.objs/native/domainslib__Chan.cmx -c -impl lib/chan.ml) | |
| # File "lib/chan.ml", line 38, characters 20-36: | |
| # 38 | then (Domain.Sync.wait (); true) | |
| # ^^^^^^^^^^^^^^^^ | |
| # Error: Unbound value Domain.Sync.wait | |
| <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| ┌─ The following actions failed | |
| │ λ build domainslib 0.2.2 | |
| └─ | |
| ╶─ No changes have been performed | |
| # Run eval $(opam env) to update the current shell environment | |
| opam exec --switch 4.12.0+domains -- 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 | |
| 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-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.8.1 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 | |
| fmt 0.8.9 OCaml Format pretty-printer combinators | |
| index 1.3.0 A platform-agnostic multi-level index for OCaml | |
| integers 0.4.0 Various signed and unsigned integer types for OCaml | |
| 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 | |
| kcas 0.1.4 Multi-word compare-and-swap library | |
| lockfree 0.1.3 Lock-free data structures for multicore 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 The OCaml compiler (virtual package) | |
| ocaml-base-compiler 4.12.0+domains OCaml compiler | |
| ocaml-compiler-libs v0.12.3 OCaml compiler libraries repackaged | |
| ocaml-config 1 OCaml Switch Configuration | |
| ocaml-migrate-parsetree 2.1.0+stock 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.9.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 | |
| 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+stock 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 | |
| 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 -- cp pausetimes/* $(opam config var bin) | |
| opam exec --switch 4.12.0+domains -- rungen _build/4.12.0+domains_1 multicore_parallel_run_config_filtered_filtered_2domains.json > runs_dune.inc; | |
| opam exec --switch 4.12.0+domains -- dune build --profile=release --workspace=ocaml-versions/.workspace.4.12.0+domains @multibench_parallel; | |
| File "benchmarks/decompress/dune", line 9, characters 55-65: | |
| 9 | (libraries bigstringaf checkseum.ocaml decompress.zl domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-gcroots/dune", line 9, characters 12-22: | |
| 9 | (libraries domainslib globroots)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-grammatrix/dune", line 9, characters 17-27: | |
| 9 | (libraries unix domainslib utls)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-minilight/parallel/dune", line 4, characters 13-23: | |
| 4 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-minilight/sequential/dune", line 4, characters 13-23: | |
| 4 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 4, characters 12-22: | |
| 4 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 14, characters 12-22: | |
| 14 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 23, characters 12-22: | |
| 23 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 28, characters 12-22: | |
| 28 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 37, characters 12-22: | |
| 37 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 46, characters 12-22: | |
| 46 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 51, characters 12-22: | |
| 51 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 60, characters 12-22: | |
| 60 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 69, characters 12-22: | |
| 69 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 78, characters 12-22: | |
| 78 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 83, characters 12-22: | |
| 83 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/multicore-numerical/dune", line 96, characters 12-22: | |
| 96 | (libraries domainslib)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| File "benchmarks/simple-tests/dune", line 16, characters 39-49: | |
| 16 | (names pingpong_multicore) (libraries domainslib) (modules pingpong_multicore)) | |
| ^^^^^^^^^^ | |
| Error: Library "domainslib" not found. | |
| Hint: try: | |
| dune external-lib-deps --missing --profile release --workspace ocaml-versions/.workspace.4.12.0+domains @multibench_parallel | |
| make: *** [Makefile:120: ocaml-versions/4.12.0+domains.bench] Error 1 |
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
| make: 'run_config_filtered.json' is up to date. | |
| intervaltree is not installed. Install using pip3 install. | |
| git log -n 1 | |
| commit a419843226837b55cae8482b489dedfd58ff8865 | |
| Author: Shakthi Kannan <[email protected]> | |
| Date: Thu May 27 22:19:18 2021 +0530 | |
| 56 benchmarks build for 4.13.0+trunk with dune.2.8.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 | |
| opam install --switch=4.12.0+stock --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 | |
| [NOTE] Package orun is already installed (current version is 0.1). | |
| [NOTE] Package rungen is already installed (current version is 0.1). | |
| [NOTE] Package ppxlib is already installed (current version is 0.22.0+stock). | |
| [NOTE] Package ocaml-migrate-parsetree is already installed (current version is 2.1.0+stock). | |
| [NOTE] Package alt-ergo is already installed (current version is 2.3.2). | |
| [NOTE] Package fraplib is already installed (current version is dev). | |
| [NOTE] Package coq is already installed (current version is dev). | |
| [NOTE] Package irmin-pack is already installed (current version is 2.4.0). | |
| [NOTE] Package irmin-layers is already installed (current version is 2.4.0). | |
| [NOTE] Package ppx_repr is already installed (current version is 0.2.1). | |
| [NOTE] Package repr is already installed (current version is 0.2.1). | |
| [NOTE] Package ppx_irmin is already installed (current version is 2.4.0). | |
| [NOTE] Package ppx_deriving_yojson is already installed (current version is 3.6.1). | |
| [NOTE] Package ppx_deriving is already installed (current version is 5.2.1). | |
| [NOTE] Package mtime is already installed (current version is 1.2.0). | |
| [NOTE] Package logs is already installed (current version is 0.7.0). | |
| [NOTE] Package index is already installed (current version is 1.3.0). | |
| [NOTE] Package conf-findutils is already installed (current version is 1). | |
| [NOTE] Package cubicle is already installed (current version is 1.1.2). | |
| [NOTE] Package irmin is already installed (current version is 2.4.0). | |
| [NOTE] Package sexplib0 is already installed (current version is v0.14.0). | |
| [NOTE] Package checkseum is already installed (current version is 0.2.1). | |
| [NOTE] Package nbcodec is already installed (current version is 20151119). | |
| [NOTE] Package ocplib-endian is already installed (current version is 1.1). | |
| [NOTE] Package react is already installed (current version is 1.2.1). | |
| [NOTE] Package uuidm is already installed (current version is 0.9.7). | |
| [NOTE] Package integers is already installed (current version is 0.4.0). | |
| [NOTE] Package zarith is already installed (current version is 1.9). | |
| [NOTE] Package lwt is already installed (current version is 5.4.0). | |
| [NOTE] Package yojson is already installed (current version is 1.7.0). | |
| [NOTE] Package camlimages is already installed (current version is 5.0.3). | |
| [NOTE] Package dune-configurator is already installed (current version is 2.8.1). | |
| [NOTE] Package dune-private-libs is already installed (current version is 2.8.1). | |
| [NOTE] Package stdio is already installed (current version is v0.14.0). | |
| [NOTE] Package base is already installed (current version is v0.14.1). | |
| [NOTE] Package minilight is already installed (current version is 1.6). | |
| [NOTE] Package menhir is already installed (current version is 20200612). | |
| [NOTE] Package menhirLib is already installed (current version is 20200612). | |
| [NOTE] Package camlzip is already installed (current version is 1.10). | |
| [NOTE] Package decompress is already installed (current version is 1.1.0). | |
| [NOTE] Package bigstringaf is already installed (current version is 0.6.1). | |
| [NOTE] Package conf-zlib is already installed (current version is 1). | |
| [NOTE] Package conf-pkg-config is already installed (current version is 1.2). | |
| [NOTE] Package cpdf is already installed (current version is 2.3). | |
| Nothing to do. | |
| opam exec --switch 4.12.0+stock -- 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 | |
| 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-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.8.1 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 | |
| fmt 0.8.9 OCaml Format pretty-printer combinators | |
| index 1.3.0 A platform-agnostic multi-level index for OCaml | |
| integers 0.4.0 Various signed and unsigned integer types for OCaml | |
| 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 | |
| kcas 0.1.4 Multi-word compare-and-swap library | |
| lockfree 0.1.3 Lock-free data structures for multicore 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 The OCaml compiler (virtual package) | |
| ocaml-base-compiler 4.12.0+domains OCaml compiler | |
| ocaml-compiler-libs v0.12.3 OCaml compiler libraries repackaged | |
| ocaml-config 1 OCaml Switch Configuration | |
| ocaml-migrate-parsetree 2.1.0+stock 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.9.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 | |
| 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+stock 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 | |
| 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+stock -- cp pausetimes/* $(opam config var bin) | |
| opam exec --switch 4.12.0+stock -- rungen _build/4.12.0+stock_1 run_config_filtered.json > runs_dune.inc; | |
| opam exec --switch 4.12.0+stock -- dune build --profile=release --workspace=ocaml-versions/.workspace.4.12.0+stock @buildbench; | |
| Executing benchmarks with: | |
| RUN_CONFIG_JSON=run_config_filtered.json | |
| RUN_BENCH_TARGET=run_orun (WRAPPER=orun) | |
| PRE_BENCH_EXEC= | |
| intervaltree is not installed. Install using pip3 install. | |
| git log -n 1 | |
| commit a419843226837b55cae8482b489dedfd58ff8865 | |
| Author: Shakthi Kannan <[email protected]> | |
| Date: Thu May 27 22:19:18 2021 +0530 | |
| 56 benchmarks build for 4.13.0+trunk with dune.2.8.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 | |
| opam install --switch=4.12.0+domains --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 | |
| [NOTE] Package orun is already installed (current version is 0.1). | |
| [NOTE] Package rungen is already installed (current version is 0.1). | |
| [NOTE] Package ppxlib is already installed (current version is 0.22.0+stock). | |
| [NOTE] Package ocaml-migrate-parsetree is already installed (current version is 2.1.0+stock). | |
| [NOTE] Package alt-ergo is already installed (current version is 2.3.2). | |
| [NOTE] Package irmin-pack is already installed (current version is 2.4.0). | |
| [NOTE] Package irmin-layers is already installed (current version is 2.4.0). | |
| [NOTE] Package ppx_repr is already installed (current version is 0.2.1). | |
| [NOTE] Package repr is already installed (current version is 0.2.1). | |
| [NOTE] Package ppx_irmin is already installed (current version is 2.4.0). | |
| [NOTE] Package ppx_deriving_yojson is already installed (current version is 3.6.1). | |
| [NOTE] Package ppx_deriving is already installed (current version is 5.2.1). | |
| [NOTE] Package mtime is already installed (current version is 1.2.0). | |
| [NOTE] Package logs is already installed (current version is 0.7.0). | |
| [NOTE] Package index is already installed (current version is 1.3.0). | |
| [NOTE] Package conf-findutils is already installed (current version is 1). | |
| [NOTE] Package cubicle is already installed (current version is 1.1.2). | |
| [NOTE] Package irmin is already installed (current version is 2.4.0). | |
| [NOTE] Package sexplib0 is already installed (current version is v0.14.0). | |
| [NOTE] Package checkseum is already installed (current version is 0.2.1). | |
| [NOTE] Package nbcodec is already installed (current version is 20151119). | |
| [NOTE] Package ocplib-endian is already installed (current version is 1.1). | |
| [NOTE] Package react is already installed (current version is 1.2.1). | |
| [NOTE] Package uuidm is already installed (current version is 0.9.7). | |
| [NOTE] Package integers is already installed (current version is 0.4.0). | |
| [NOTE] Package zarith is already installed (current version is 1.9). | |
| [NOTE] Package lwt is already installed (current version is 5.4.0). | |
| [NOTE] Package yojson is already installed (current version is 1.7.0). | |
| [NOTE] Package camlimages is already installed (current version is 5.0.3). | |
| [NOTE] Package dune-configurator is already installed (current version is 2.8.1). | |
| [NOTE] Package dune-private-libs is already installed (current version is 2.8.1). | |
| [NOTE] Package stdio is already installed (current version is v0.14.0). | |
| [NOTE] Package base is already installed (current version is v0.14.1). | |
| [NOTE] Package minilight is already installed (current version is 1.6). | |
| [NOTE] Package menhir is already installed (current version is 20200612). | |
| [NOTE] Package menhirLib is already installed (current version is 20200612). | |
| [NOTE] Package camlzip is already installed (current version is 1.10). | |
| [NOTE] Package decompress is already installed (current version is 1.1.0). | |
| [NOTE] Package bigstringaf is already installed (current version is 0.6.1). | |
| [NOTE] Package conf-zlib is already installed (current version is 1). | |
| [NOTE] Package conf-pkg-config is already installed (current version is 1.2). | |
| [NOTE] Package cpdf is already installed (current version is 2.3). | |
| The following actions will be performed: | |
| ∗ install coq dev | |
| ∗ install fraplib dev | |
| ===== ∗ 2 ===== | |
| <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| [coq.dev] found in cache | |
| [fraplib.dev] downloaded from https://github.com/kayceesrk/fraplib/archive/master.zip | |
| <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| [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 | file:///home/sk/sandmark/dependencies | |
| # path ~/sandmark/_opam/4.12.0+domains/.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-705199-335865.env | |
| # output-file ~/sandmark/_opam/log/coq-705199-335865.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 | |
| └─ | |
| ╶─ No changes have been performed | |
| # Run eval $(opam env) to update the current shell environment | |
| opam exec --switch 4.12.0+domains -- 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 | |
| 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-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.8.1 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 | |
| fmt 0.8.9 OCaml Format pretty-printer combinators | |
| index 1.3.0 A platform-agnostic multi-level index for OCaml | |
| integers 0.4.0 Various signed and unsigned integer types for OCaml | |
| 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 | |
| kcas 0.1.4 Multi-word compare-and-swap library | |
| lockfree 0.1.3 Lock-free data structures for multicore 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 The OCaml compiler (virtual package) | |
| ocaml-base-compiler 4.12.0+domains OCaml compiler | |
| ocaml-compiler-libs v0.12.3 OCaml compiler libraries repackaged | |
| ocaml-config 1 OCaml Switch Configuration | |
| ocaml-migrate-parsetree 2.1.0+stock 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.9.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 | |
| 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+stock 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 | |
| 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 -- cp pausetimes/* $(opam config var bin) | |
| opam exec --switch 4.12.0+domains -- rungen _build/4.12.0+domains_1 run_config_filtered.json > runs_dune.inc; | |
| opam exec --switch 4.12.0+domains -- dune build --profile=release --workspace=ocaml-versions/.workspace.4.12.0+domains @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_1] (exit 127) | |
| (cd _build/4.12.0+domains_1 && /home/sk/sandmark/_opam/4.12.0+domains/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_1] (exit 127) | |
| (cd _build/4.12.0+domains_1 && /home/sk/sandmark/_opam/4.12.0+domains/bin/orun -o ./coq.BasicSyntax.v.orun.bench -- taskset --cpu-list 5 coqc benchmarks/coq/BasicSyntax.v &> /dev/null | |
| make: *** [Makefile:121: ocaml-versions/4.12.0+domains.bench] Error 1 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment