gap-system / gap / 11614

4%

push

travis-ci

Put the GAP version into repository

So far, the GAP version and release date are injected into the GAP sources by
a script during the release process. This is in stark contrast to how this is
handled by (almost) all GAP packages using git.

This design makes it difficult to test certain effects of the GAP release
process as part of our CI. It also means that source snapshots of the GAP
repository have little information about the underlying version.

This patch changes things by putting the GAP version and release date into
configure.ac, from where it is distributed into all files that need them. Thus
to change either, one only needs to change a single file.

In addition, we get rid of NeedKernelVersion, and also remove a PostRestore
method which compared the GAP library and kernel version and reported if there
was a mismatch. These days, we never release GAP library and kernel
separately, and the two versions are always identical.

Finally, for non-release builds, when starting GAP we show the build date and
time instead of useless string "today".

9 of 12 new or added lines in 3 files covered. (75.0%)

278141 of 329936 relevant lines covered (84.3%)

30008017.81 hits per line