From 487e19a495b8727b0d3f11a8f0238d17aa9e9303 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 5 Feb 2017 01:02:39 +0100
Subject: [travis] [External CI] C-Corn color coquelicot cpdt fiat-crypto floqc
 iris-coq math-classes sf

- [TLC] [metacoq] not ready for 8.6 yet
---
 Makefile.ci | 17 +++++++----------
 1 file changed, 7 insertions(+), 10 deletions(-)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index ada698e0a6..d10ff3ad96 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -1,13 +1,10 @@
-.PHONY: ci-all ci-hott ci-math-comp ci-compcert
+CI_TARGETS=ci-all ci-hott ci-math-comp ci-compcert ci-sf ci-cpdt	\
+           ci-color ci-math-classes ci-tlc ci-fiat-crypto		\
+           ci-coquelicot ci-flocq ci-iris-coq ci-metacoq
 
-ci-all: ci-hott ci-math-comp ci-compcert
+.PHONY: $(CI_TARGETS)
 
-# TODO Do generic rule
-ci-hott:
-	./tools/ci/ci-hott.sh
+# Generic rule, we use make to easy travis integraton with mixed rules
+$(CI_TARGETS): ci-%:
+	./tools/ci/ci-$*.sh
 
-ci-math-comp:
-	./tools/ci/ci-math-comp.sh
-
-ci-compcert:
-	./tools/ci/ci-compcert.sh
-- 
cgit v1.2.3