From 575bbed527977aee520a3954a196f5b59ae947c5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 11 Feb 2017 02:06:01 +0100
Subject: [travis] [External CI] CompCert official 8.6 support + UniMath

---
 Makefile.ci | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 040144e6e8..e4b5832f60 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -1,6 +1,7 @@
-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-geocoq
+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-geocoq \
+           ci-unimath
 
 .PHONY: $(CI_TARGETS)
 
-- 
cgit v1.2.3