From fc1756508a6cc5f756e08cdc7c108117025d4194 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Wed, 16 Jan 2019 17:02:12 -0500
Subject: [ci] Update fiat-crypto to the new pipeline

We're recently reorganized fiat-crypto.  This should fix the OOM CI
issues.

Fixes #9338
---
 dev/ci/ci-fiat-crypto.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/ci/ci-fiat-crypto.sh b/dev/ci/ci-fiat-crypto.sh
index 7e8013be9b..bba17314f7 100755
--- a/dev/ci/ci-fiat-crypto.sh
+++ b/dev/ci/ci-fiat-crypto.sh
@@ -10,5 +10,9 @@ git_download fiat_crypto
 # building the executables.
 # c.f. https://github.com/coq/coq/pull/8313#issuecomment-416650241
 
+fiat_crypto_CI_TARGETS1="c-files printlite lite"
+fiat_crypto_CI_TARGETS2="print-nobigmem nobigmem"
+
 ( cd "${CI_BUILD_DIR}/fiat_crypto" && git submodule update --init --recursive && \
-  ulimit -s 32768 && make new-pipeline c-files )
+        ulimit -s 32768 && \
+        make ${fiat_crypto_CI_TARGETS1} && make -j 1 ${fiat_crypto_CI_TARGETS2} )
-- 
cgit v1.2.3