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 "" >> $@