From b7018056182f9092f2993a7798af2c56249fe271 Mon Sep 17 00:00:00 2001 From: Puneeth Chaganti Date: Mon, 2 Jan 2023 12:38:32 +0530 Subject: [PATCH] DBG: Failures --- .github/workflows/main.yml | 45 -------------------------------------- Makefile | 2 +- 2 files changed, 1 insertion(+), 46 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 69756d2e73..a072e975b2 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -35,51 +35,6 @@ jobs: - run: opam install . --deps-only --with-test # Runs a set of commands using the runners shell - - name: 5.1.0+stable - run: | - # TODO: Add gnuplot-x11 when irmin benchmarks are enabled - sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo gnuplot-x11 libgmp-dev - pip3 install intervaltree - eval $(opam env) - export ITER=1 - export OPAM_DISABLE_SANDBOXING=true - TAG='"run_in_ci"' make run_config_filtered.json - sed -i 's/--cpu-list 5/--cpu-list 1/g' run_config_filtered.json - OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.1.0+stable.bench - ls _results - cat _results/* - make json - - - name: 5.1.0+stable+parallel - run: | - sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev - pip3 install intervaltree - eval $(opam env) - export ITER=1 - export OPAM_DISABLE_SANDBOXING=true - TAG='"run_in_ci"' make multicore_parallel_run_config_filtered.json - sed -i 's/--cpu-list 5/--cpu-list 1/g' multicore_parallel_run_config_filtered.json - TAG='"macro_bench"' make multicore_parallel_run_config_filtered_filtered.json - make multicore_parallel_run_config_filtered_filtered_2domains.json - OPT_WAIT=0 USE_SYS_DUNE_HACK=1 BUILD_BENCH_TARGET=multibench_parallel RUN_CONFIG_JSON=multicore_parallel_run_config_filtered_filtered_2domains.json make ocaml-versions/5.1.0+stable.bench - ls _results - cat _results/* - make json - - - name: 5.1.0+trunk+serial - run: | - sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev - pip3 install intervaltree - eval $(opam env) - export ITER=1 - export OPAM_DISABLE_SANDBOXING=true - TAG='"run_in_ci"' make run_config_filtered.json - sed -i 's/--cpu-list 5/--cpu-list 1/g' run_config_filtered.json - OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.1.0+trunk.bench - ls _results - cat _results/* - make json - - name: 5.1.0+trunk+parallel run: | sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev diff --git a/Makefile b/Makefile index a50d6d64db..92854ffd1c 100644 --- a/Makefile +++ b/Makefile @@ -244,7 +244,7 @@ ocaml-versions/%.bench: depend check-parallel/% filter/% override_packages/% log echo "(context (opam (switch $(CONFIG_SWITCH_NAME)) (name $(CONFIG_SWITCH_NAME)_$$i)))"; \ done } > ocaml-versions/.workspace.$(CONFIG_SWITCH_NAME) opam exec --switch $(CONFIG_SWITCH_NAME) -- rungen _build/$(CONFIG_SWITCH_NAME)_1 $(RUN_CONFIG_JSON) > runs_dune.inc - opam exec --switch $(CONFIG_SWITCH_NAME) -- dune build --profile=release --workspace=ocaml-versions/.workspace.$(CONFIG_SWITCH_NAME) @$(BUILD_BENCH_TARGET); + opam exec --switch $(CONFIG_SWITCH_NAME) -- dune build --verbose --profile=release --workspace=ocaml-versions/.workspace.$(CONFIG_SWITCH_NAME) @$(BUILD_BENCH_TARGET); @{ if [ "$(BUILD_ONLY)" -eq 0 ]; then \ echo "Executing benchmarks with:"; \ echo " RUN_CONFIG_JSON=${RUN_CONFIG_JSON}"; \