Revision b134331f84aeaed5ea4c8f1cea5a7a760128385c authored by Mohamed Barakat on 11 March 2022, 08:23:45 UTC, committed by GitHub on 11 March 2022, 08:23:45 UTC
Apply PackageJanitor
makefile
all: doc test
doc: doc/manual.six
doc/manual.six: makedoc.g \
PackageInfo.g \
gap/*.gd gap/*.gi examples/*.g examples/doc/*.g
gap makedoc.g
docclean:
(cd doc ; ./clean)
test: doc
gap maketest.g
test-with-coverage: doc
OUTPUT=$$(/usr/bin/time --quiet --format="%U %S\n%e" --output=performance.out gap --banner --quitonbreak --cover stats maketest.g 2>&1); \
echo "$$OUTPUT"; \
! echo "$$OUTPUT" | sed "s/\r//" | grep -v "Running list" | grep -v "^#I " | grep "" > /dev/null
echo 'LoadPackage("profiling"); OutputJsonCoverage("stats", "coverage.json");' | gap
ci-test: test-with-coverage
.PHONY: all doc docclean test
Computing file changes ...
