Merge pull request #587 from ejgallego/update_submodules_script

[build] [vendor] Bump submodules + make submodules-update script
ejgallego · Oct 25, 2023 · f42d517 · f42d517
2 parents d66060e + cb40780
commit f42d517
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -108,6 +108,12 @@ submodules-init:
 submodules-deinit:
 	git submodule deinit -f --all
 
+# Update submodules from upstream
+.PHONY: submodules-update
+submodules-update:
+	(cd vendor/coq && git checkout master && git pull upstream master)
+	(cd vendor/coq-serapi && git checkout main && git pull upstream main)
+
 # Build the vscode extension
 .PHONY: extension
 extension:

diff --git a/vendor/coq b/vendor/coq
diff --git a/vendor/coq-serapi b/vendor/coq-serapi