From b60bd369730ba929d3244bad5a36a88c20680712 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Javier=20Ch=C3=A1varri?= Date: Thu, 15 Aug 2024 14:57:10 +0200 Subject: [PATCH] update compiler version in makefile cmd (#851) --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 9cf988a8e..3512619a7 100644 --- a/Makefile +++ b/Makefile @@ -58,7 +58,7 @@ install: ## Update the package dependencies when new deps are added to dune-proj .PHONY: init create-switch: ## Create a local opam switch - @opam switch create . 5.1.1 --no-install + @opam switch create . 5.2.0 --no-install .PHONY: init init: create-switch install ## Create a local opam switch, install deps