diff --git a/Makefile b/Makefile index 61e7ac514..8ef5d6cbf 100644 --- a/Makefile +++ b/Makefile @@ -135,15 +135,9 @@ _opam/%: _opam/opam-init/init.sh ocaml-versions/%.json @{ case "$*" in \ *5.0*) opam pin add -n --yes --switch $* sexplib0.v0.15.0 https://github.com/shakthimaan/sexplib0.git#multicore; \ esac }; -<<<<<<< HEAD - opam pin add -n --yes --switch $* base.v0.14.3 https://github.com/janestreet/base.git#v0.14.3 -======= - opam pin add -n --yes --switch $* base.v0.15.0 https://github.com/janestreet/base.git#v0.15.0 - opam pin add -n --yes --switch $* eventlog-tools https://github.com/ocaml-multicore/eventlog-tools.git#multicore ->>>>>>> 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 + opam pin add -n --yes --switch $* eventlog-tools https://github.com/ocaml-multicore/eventlog-tools.git#multicore override_packages/%: setup_sys_dune/% $(eval CONFIG_SWITCH_NAME = $*)