From 357d0672e7332b0b1ba586216a336378d9b4fb80 Mon Sep 17 00:00:00 2001 From: Puneeth Chaganti Date: Mon, 19 Dec 2022 17:47:46 +0530 Subject: [PATCH] Remove sexplib0 pin for 5.1 --- Makefile | 3 --- 1 file changed, 3 deletions(-) diff --git a/Makefile b/Makefile index 0f6a8debe..6a154b9af 100644 --- a/Makefile +++ b/Makefile @@ -135,9 +135,6 @@ _opam/%: _opam/opam-init/init.sh ocaml-versions/%.json $(eval OCAML_RUN_PARAM = $(shell jq -r '.runparams // empty' ocaml-versions/$*.json)) opam update OCAMLRUNPARAM="$(OCAML_RUN_PARAM)" OCAMLCONFIGOPTION="$(OCAML_CONFIG_OPTION)" opam switch create --keep-build-dir --yes $* ocaml-base-compiler.$* - @{ case "$*" in \ - *5.1*) opam pin add -n --yes --switch $* sexplib0.v0.15.0 https://github.com/shakthimaan/sexplib0.git#multicore; \ - esac }; # TODO remove pin when a new orun version is released on opam opam pin add -n --yes --switch $* orun https://github.com/ocaml-bench/orun.git # TODO remove pin when a new runtime_events_tools is released on opam