From f1f5dc553485638d36329b442b0b0386b55fffa7 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 18 Nov 2019 13:36:28 +0100 Subject: [PATCH] Insert GAP_VERSION into sysinfo.gap This is useful for package build systems which want to verify the GAP version. --- Makefile.rules | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.rules b/Makefile.rules index 1ffd23d0fc..c2971b2458 100644 --- 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 "" >> $@