From 4e40d0be8f5245542de6e61af368945502730afd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?No=C3=A9=20Ensarguet?= Date: Fri, 12 Apr 2024 16:49:18 +0200 Subject: [PATCH] Don't consider submodule mlang-deps by default --- makefiles/mlang.mk | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/makefiles/mlang.mk b/makefiles/mlang.mk index d38db657..a8de5428 100644 --- a/makefiles/mlang.mk +++ b/makefiles/mlang.mk @@ -20,7 +20,8 @@ ifeq ($(call is_in,),) $(call make_in,,$@) else opam install . --deps-only - git submodule update --init + git submodule init ir-calcul + git submodule update ir-calcul endif init: FORCE create-switch init-without-switch @@ -30,7 +31,7 @@ ifeq ($(call is_in,),) $(call make_in,,$@) else opam switch reinstall --deps-only - git submodule update + git submodule update ir-calcul endif ##################################################