From f8cfbc1bc22c06835e9ea7b0cab41a8f25b523ba Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 2 Jul 2020 14:52:34 +0200
Subject: Introduce additional "branch" build information.

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index d91c5f37..5e97ebbf 100644
--- a/Makefile
+++ b/Makefile
@@ -19,6 +19,7 @@ include VERSION
 BUILDVERSION ?= $(version)
 BUILDNR ?= $(buildnr)
 TAG ?= $(tag)
+BRANCH ?= $(branch)
 
 ifeq ($(wildcard $(ARCH)_$(BITSIZE)),)
 ARCHDIRS=$(ARCH)
@@ -238,12 +239,14 @@ compcert.config: Makefile.config
         echo "COMPCERT_VERSION=$(BUILDVERSION)"; \
         echo "COMPCERT_BUILDNR=$(BUILDNR)"; \
         echo "COMPCERT_TAG=$(TAG)" \
+        echo "COMPCERT_BRANCH=$(BRANCH)" \
         ) > compcert.config
 
 driver/Version.ml: VERSION
 	(echo 'let version = "$(BUILDVERSION)"'; \
          echo 'let buildnr = "$(BUILDNR)"'; \
-         echo 'let tag = "$(TAG)"';) > driver/Version.ml
+         echo 'let tag = "$(TAG)"'; \
+         echo 'let branch = "$(BRANCH)"') > driver/Version.ml
 
 cparser/Parser.v: cparser/Parser.vy
 	@rm -f $@
-- 
cgit