CI_TARGETS=ci-bignums \
    ci-color \
    ci-compcert \
    ci-coq-dpdgraph \
    ci-coquelicot \
    ci-corn \
    ci-cpdt \
    ci-equations \
    ci-fiat-crypto \
    ci-fiat-parsers \
    ci-flocq \
    ci-formal-topology \
    ci-geocoq \
    ci-hott \
    ci-iris-lambda-rust \
    ci-ltac2 \
    ci-math-classes \
    ci-math-comp \
    ci-metacoq \
    ci-sf \
    ci-tlc \
    ci-unimath \
    ci-vst

.PHONY: ci-all $(CI_TARGETS)

ci-color: ci-bignums

ci-math-classes: ci-bignums

ci-corn: ci-math-classes

ci-formal-topology: ci-corn

# Generic rule, we use make to ease travis integration with mixed rules
$(CI_TARGETS): ci-%:
	+./dev/ci/ci-wrapper.sh $*

ci-all: $(CI_TARGETS)

# For emacs:
# Local Variables:
# mode: makefile
# End: