From 5a6afa0acfdf575b818d7d88588cb2fad5b813b8 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 10 Jul 2020 13:47:56 +0200
Subject: Fix fiat_crypto(_ocaml) needs/dependencies

It seems gitlab has issues with missing transitive dependencies, for
instance in https://gitlab.com/coq/coq/-/pipelines/164834444 rewriter
failed (missing overlay), fiat_crypto was skipped and
fiat_crypto_ocaml was incorrectly started and so failed.

May also fix (intermittent?) issue where it doesn't download the
rewriter or bignum artifact and gets incompatible ocaml when compiling.
---
 .gitlab-ci.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 819ad8a214..3b95800f0d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -751,6 +751,7 @@ library:ci-fiat_crypto:
   dependencies:
   - build:edge+flambda
   - library:ci-coqprime
+  - plugin:ci-bignums
   - plugin:ci-rewriter
 
 library:ci-fiat_crypto_legacy:
@@ -765,9 +766,15 @@ library:ci-fiat_crypto_ocaml:
   stage: stage-5
   needs:
   - build:edge+flambda
+  - library:ci-coqprime
+  - plugin:ci-bignums
+  - plugin:ci-rewriter
   - library:ci-fiat_crypto
   dependencies:
   - build:edge+flambda
+  - library:ci-coqprime
+  - plugin:ci-bignums
+  - plugin:ci-rewriter
   - library:ci-fiat_crypto
 
 library:ci-flocq:
-- 
cgit v1.2.3