File tree Expand file tree Collapse file tree 2 files changed +2
-1
lines changed Expand file tree Collapse file tree 2 files changed +2
-1
lines changed Original file line number Diff line number Diff line change @@ -143,6 +143,7 @@ _opam/%: _opam/opam-init/init.sh ocaml-versions/%.json
143143>>>>>>> be86e47 (Require owl dependencies to be installed)
144144 opam pin add -n --yes --switch $* coq-core https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz
145145 opam pin add -n --yes --switch $* coq-stdlib https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz
146+ opam pin add -n --yes --switch $* base.0.15.0 git+https://github.com/patricoferris/base.git# 500+random
146147
147148override_packages/% : setup_sys_dune/%
148149 $(eval CONFIG_SWITCH_NAME = $* )
Original file line number Diff line number Diff line change 22
33TAG=' "macro_bench"' make run_config_filtered.json
44
5- OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.0.0+stable.bench
5+ USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.0.0+stable.bench
You can’t perform that action at this time.
0 commit comments