From 6636af02b99cb3abfb636a1115502c01c234a782 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 17 Jan 2023 08:16:26 +0100
Subject: [PATCH] [ci] fix internal tests
---
nix/internal-tests.nix | 2 ++
1 file changed, 2 insertions(+)
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 716760c0caa..40dc80c45ce 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -23,6 +23,7 @@
, lablgtk3
, lablgtk3-sourceview3
, ltl2ba
+, menhir
, menhirLib
, mlmpfr
, ocaml
@@ -78,6 +79,7 @@ stdenvNoCC.mkDerivation rec {
lablgtk3
lablgtk3-sourceview3
ltl2ba
+ menhir
menhirLib
mlmpfr
ocaml
--
GitLab