Makefile.ci


1
2
3
4
5
6
7
8
9
10
11
12
13

.PHONY: ci-all ci-hott ci-math-comp ci-compcert

ci-all: ci-hott ci-math-comp ci-compcert

# TODO Do generic rule
ci-hott:
	./tools/ci/ci-hott.sh

ci-math-comp:
	./tools/ci/ci-math-comp.sh

ci-compcert:
	./tools/ci/ci-compcert.sh