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-basic-overlay.sh | 4 ++++
 dev/ci/ci-math-comp.sh     | 4 ++++
 2 files changed, 8 insertions(+)

(limited to 'dev/ci')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index 688472836e..9727d42a90 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -13,6 +13,10 @@
 : "${mathcomp_CI_GITURL:=https://github.com/math-comp/math-comp}"
 : "${mathcomp_CI_ARCHIVEURL:=${mathcomp_CI_GITURL}/archive}"
 
+: "${fourcolor_CI_REF:=master}"
+: "${fourcolor_CI_GITURL:=https://github.com/math-comp/fourcolor}"
+: "${fourcolor_CI_ARCHIVEURL:=${fourcolor_CI_GITURL}/archive}"
+
 : "${oddorder_CI_REF:=master}"
 : "${oddorder_CI_GITURL:=https://github.com/math-comp/odd-order}"
 : "${oddorder_CI_ARCHIVEURL:=${oddorder_CI_GITURL}/archive}"
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