From 8189dfb40b0a61a424962734d773bb9407403cba Mon Sep 17 00:00:00 2001 From: Anton Trunov Date: Wed, 23 Jun 2021 14:38:54 +0300 Subject: [PATCH] Allow opam depext to fail Looks like Ubuntu change libboost-devel package to something else That is why opam fails on conf-boost package --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c7c4bc160..43ca6ac23 100644 --- a/Makefile +++ b/Makefile @@ -157,7 +157,7 @@ dev-deps: opamdep-ci: opam init --disable-sandboxing --compiler=$(OCAML_VERSION) --yes eval $$(opam env) - opam install ./scilla.opam --deps-only --with-test --yes + opam install ./scilla.opam --deps-only --with-test --no-depexts --yes opam install ocamlformat.$(OCAMLFORMAT_VERSION) --yes .PHONY : coverage