From 5f26ee547a9976d1ccfe7cff22d886f7d7df1eef Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 26 Nov 2019 15:36:56 -0500
Subject: [ci] Split out the dependencies of fiat-crypto

---
 Makefile.ci | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index e9f7fa2db5..8315c16c64 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -19,6 +19,7 @@ CI_TARGETS= \
     ci-coquelicot \
     ci-corn \
     ci-cross-crypto \
+    ci-coqprime \
     ci-elpi \
     ci-ext-lib \
     ci-equations \
@@ -38,6 +39,7 @@ CI_TARGETS= \
     ci-perennial \
     ci-quickchick \
     ci-relation_algebra \
+    ci-rewriter \
     ci-sf \
     ci-simple-io \
     ci-stdlib2 \
@@ -56,10 +58,14 @@ ci-all: $(CI_TARGETS)
 
 ci-color: ci-bignums
 
+ci-coqprime: ci-bignums
+
 ci-math-classes: ci-bignums
 
 ci-corn: ci-math-classes
 
+ci-fiat-crypto: ci-bedrock2 ci-coqprime ci-rewriter
+
 ci-simple-io: ci-ext-lib
 ci-quickchick: ci-ext-lib ci-simple-io
 
-- 
cgit v1.2.3