From 0a5d20dc9dbe8bb0bbebf87d5f482dcd6ce12120 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Mon, 4 Nov 2019 16:09:30 +0000
Subject: [Nix/CI] Update fiat_crypto

---
 dev/ci/nix/fiat_crypto.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dev')

diff --git a/dev/ci/nix/fiat_crypto.nix b/dev/ci/nix/fiat_crypto.nix
index 0f0ee91387..1105fba7a6 100644
--- a/dev/ci/nix/fiat_crypto.nix
+++ b/dev/ci/nix/fiat_crypto.nix
@@ -1,6 +1,6 @@
-{ coqprime }:
+{ ocamlPackages }:
 {
-  coqBuildInputs = [ coqprime ];
+  buildInputs = with ocamlPackages; [ ocaml findlib ];
   configure = "git submodule update --init --recursive && ulimit -s 32768";
-  make = "make new-pipeline c-files";
+  make = "make c-files printlite lite && make -j 1 coq";
 }
-- 
cgit v1.2.3