Skip to content

Commit

Permalink
Pin base to patched version
Browse files Browse the repository at this point in the history
  • Loading branch information
moazzammoriani committed Jun 3, 2022
1 parent 7a635f2 commit 950bbe8
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -143,6 +143,7 @@ _opam/%: _opam/opam-init/init.sh ocaml-versions/%.json
>>>>>>> be86e47 (Require owl dependencies to be installed)
opam pin add -n --yes --switch $* coq-core https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz
opam pin add -n --yes --switch $* coq-stdlib https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz
opam pin add -n --yes --switch $* base.0.15.0 git+https://github.com/patricoferris/base.git#500+random

override_packages/%: setup_sys_dune/%
$(eval CONFIG_SWITCH_NAME = $*)
Expand Down
2 changes: 1 addition & 1 deletion run_all_serial.sh
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@

TAG='"macro_bench"' make run_config_filtered.json

OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.0.0+stable.bench
USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.0.0+stable.bench

0 comments on commit 950bbe8

Please sign in to comment.