From 86f23d20af6444d2837dc3d74a0265f47e8a571c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 6 Feb 2017 22:57:16 +0100
Subject: [travis] Build 70% of FT proof.

I'm afraid we cannot reliably build more with the 50 minutes timeout.
---
 .travis.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index b7f69d9..2a18a54 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -46,8 +46,12 @@ script:
 - echo 'Building Mathcomp...' && echo -en 'travis_fold:start:mathcomp.build\\r'
 - export PATH=`pwd`/coq-${TEST_TARGET}/bin:$PATH
 - cd mathcomp
-# Full build takes too much time.
-- sed -i.bak '/odd_order/d' Make
+# We lack a few minutes to be able to build the whole theorem.
+- sed -i.bak '/stripped_odd_order_theorem/d' Make
+- sed -i.bak '/PFsection7.v/d'               Make
+- sed -i.bak '/PFsection8.v/d'               Make
+- sed -i.bak '/PFsection9.v/d'               Make
+- sed -i.bak '/PFsection1.\.v/d'             Make
 - make Makefile.coq
 - make -f Makefile.coq -j ${NJOBS} all
 - echo -en 'travis_fold:end:mathcomp.build\\r'
-- 
cgit v1.2.3