From 16fc1dc48db795630999e732946350fd5449569b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 5 Dec 2018 08:42:02 +0100
Subject: [ci] Add four color theorem proof to CI

---
 dev/ci/ci-math-comp.sh | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'dev/ci/ci-math-comp.sh')

diff --git a/dev/ci/ci-math-comp.sh b/dev/ci/ci-math-comp.sh
index a74f9fa4d3..cae127ee7b 100755
--- a/dev/ci/ci-math-comp.sh
+++ b/dev/ci/ci-math-comp.sh
@@ -8,6 +8,10 @@ git_download mathcomp
 
 ( cd "${CI_BUILD_DIR}/mathcomp/mathcomp" && make && make install )
 
+git_download fourcolor
+
+( cd "${CI_BUILD_DIR}/fourcolor" && make && make install )
+
 git_download oddorder
 
 ( cd "${CI_BUILD_DIR}/oddorder" && make )
-- 
cgit v1.2.3