Skip to main content

Browse the archive

Revision 03634529075a5ddee04e7499e712b0148113cac1 authored by Mohamed Barakat on 19 May 2020, 20:39:47 UTC, committed by Mohamed Barakat on 19 May 2020, 20:39:47 UTC 
raise and error on nonempty stderr string caused by 4ti2
1 parent 8a56552
Raw File
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
back to top