From 424ae427197126a2fcbd5f07eaa181fb6f81ad84 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 28 Sep 2020 09:15:49 +0200
Subject: CI script wrapper now requires Python

---
 dev/ci/nix/default.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'dev/ci')

diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix
index 741cb89eed..7863af842a 100644
--- a/dev/ci/nix/default.nix
+++ b/dev/ci/nix/default.nix
@@ -131,7 +131,8 @@ stdenv.mkDerivation {
   name = "shell-for-${project}-in-${branch}";
 
   buildInputs =
-    optional withCoq coq
+    [ python ]
+  ++  optional withCoq coq
   ++ (prj.buildInputs or [])
   ++ optionals withCoq (prj.coqBuildInputs or [])
   ;
-- 
cgit v1.2.3