Merge pull request #402 from lefessan/z-2025-02-04-ease-of-build

Add 'make' target 'build master' to remember what to update when buil…
OCamlPro · Feb 5, 2025 · 5d794f5 · 5d794f5
2 parents 63ac90c + 6b5831a
commit 5d794f5
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/Makefile.header b/Makefile.header
@@ -285,3 +285,15 @@ test-syntax: superbol-lsp-server
 test-syntax-promote:
 	-$(MAKE) test-syntax	# To avoid promoting past tests
 	\! opam exec -- autofonce 2>/dev/null || opam exec -- autofonce promote -t syntax --apply
+
+MASTER_REMOTE ?= origin
+
+.PHONY: build-master
+build-master:
+	git checkout master
+	git checkout .
+	git pull $(MASTER_REMOTE) master
+	git submodule update --recursive --init
+	$(MAKE) build-deps
+	$(MAKE) clean
+	$(MAKE)