8
85%
master: 4%

Ran 15 Nov 2019 04:25PM UTC

Files 643

Run time 54s

Badge

Embed ▾

Committed 15 Nov 2019 03:19PM UTC coverage: 71.831% (-0.005%) from 71.836%

Job # TEST_SUITES=testmanuals

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

kernel: add new header gap_all.h

So far, most package kernel extensions `#include "compiled.h"` in order
to conveniently get access to (almost) all source headers of GAP at once
(which is nice for us because it means we are free to rename headers or
move stuff around between them without breaking kernel extensions).

But the result is rather counterintuitive: if one is not familiar with
this, seeing `#include "compiled.h"` in code is not at all clear. Also,
the original of `compiled.h` was to be included by C code generated by
`gac`, and it contains stuff we'd rather not encourage others to use.

Thus, add a new header `gap_all.h` containing all `#include` statements
formerly found in `compiled.h` -- this resolves all concerns.

Coverage Stats

213964 of 297873 relevant lines covered (71.83%)

4691534.82 hits per line

gap-system / gap / 10925 / 8
85%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10925.8 (TEST_SUITES=testmanuals)

gap-system / gap / 10925 / 8 85% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10925.8 (TEST_SUITES=testmanuals)

gap-system / gap / 10925 / 8
85%
master: 4%

README BADGES
x