Insert GAP_VERSION into sysinfo.gap

This is useful for package build systems which want to verify the GAP version.
gap-system · Nov 19, 2019 · 77a7c42 · 77a7c42
1 parent 643013c
commit 77a7c42
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile.rules b/Makefile.rules
@@ -720,6 +720,7 @@ sysinfo.gap: config.status $(srcdir)/Makefile.rules cnf/GAP-CFLAGS cnf/GAP-CPPFL
 	@echo "GAP_ABI=$(ABI)" >> $@
 	@echo "GAP_HPCGAP=$(HPCGAP)" >> $@
 	@echo "" >> $@
+	@echo "GAP_VERSION=\"$(GAP_VERSION)\"" >> $@
 	@echo "GAP_KERNEL_MAJOR_VERSION=$(GAP_KERNEL_MAJOR_VERSION)" >> $@
 	@echo "GAP_KERNEL_MINOR_VERSION=$(GAP_KERNEL_MINOR_VERSION)" >> $@
 	@echo "" >> $@