From 8221038c7cac18f2feba1987048285c0669ffd45 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 3f25607e3b..c5bf06813f 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 "" >> $@