Don't consider submodule mlang-deps by default

MLanguage · Apr 12, 2024 · 4e40d0b · 4e40d0b
1 parent 2f82b8a
commit 4e40d0b
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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
 
 ##################################################