From 3e07baa69f1e7de02670dd20dd7577d70c2f2653 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 4 Feb 2017 21:25:14 +0100
Subject: [travis] [External CI] compcert HoTT math-comp

- Improve the setup to support external contribs.
  We use a more minimalistic Coq build, gaining a few extra minutes.
- [math-comp] workaround `make -j` bug to enable parallel building.
---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0f9619c01b..25a97f9bb1 100644
--- a/Makefile
+++ b/Makefile
@@ -245,6 +245,11 @@ devdocclean:
 	rm -f $(OCAMLDOCDIR)/ocamldoc.sty $(OCAMLDOCDIR)/coq.tex 
 	rm -f $(OCAMLDOCDIR)/html/*.html
 
+###########################################################################
+# Contrib tests
+###########################################################################
+include Makefile.contrib
+
 ###########################################################################
 # Emacs tags
 ###########################################################################
-- 
cgit v1.2.3