From b07f7a2ac4f23a29d1762b4f78fc1506925a5019 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 19 Apr 2017 17:41:31 -0400
Subject: Add bedrock targets src and facade

---
 Makefile.ci | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index b055ada8e..4c4606aff 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -1,11 +1,10 @@
 CI_TARGETS=ci-all ci-hott ci-math-comp ci-compcert ci-sf ci-cpdt \
            ci-color ci-math-classes ci-tlc ci-fiat-crypto ci-fiat-parsers \
            ci-coquelicot ci-flocq ci-iris-coq ci-metacoq ci-geocoq \
-           ci-unimath ci-vst
+           ci-unimath ci-vst ci-bedrock-src ci-bedrock-facade
 
 .PHONY: $(CI_TARGETS)
 
 # Generic rule, we use make to easy travis integraton with mixed rules
 $(CI_TARGETS): ci-%:
 	./dev/ci/ci-$*.sh
-
-- 
cgit v1.2.3