From c5dabed1c1f33005fe942882ea0fcf008d52784a Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Thu, 15 Jun 2017 11:45:45 +0200
Subject: Remove bedrock from test suite.

Bedrock relies on the 8.4 compat flag that we are removing, and we heard
from MIT that they did not plan to port bedrock to more recent versions
of Coq.
---
 Makefile.ci | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 2f7fcd48a..3be90c0a3 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -1,7 +1,5 @@
 CI_TARGETS=ci-all \
     ci-bignums \
-    ci-bedrock-facade \
-    ci-bedrock-src \
     ci-color \
     ci-compcert \
     ci-coq-dpdgraph \
-- 
cgit v1.2.3