From 5318a76db4f1a693edff00d7c166ba54a4b3872a Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 5 Jun 2023 09:24:53 +0200
Subject: [PATCH] [ci] add clang to tests dependencies
---
nix/internal-tests.nix | 2 ++
nix/mk_tests.nix | 2 ++
2 files changed, 4 insertions(+)
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 9e71c73b64f..4bbf098618c 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -15,6 +15,7 @@
, apron
, camlzip
, camomile
+, clang
, dune_3
, dune-configurator
, dune-site
@@ -73,6 +74,7 @@ stdenvNoCC.mkDerivation rec {
alt-ergo
camlzip
camomile
+ clang
dune_3
dune-configurator
dune-site
diff --git a/nix/mk_tests.nix b/nix/mk_tests.nix
index 81813dc7c9d..d56dc7155dc 100644
--- a/nix/mk_tests.nix
+++ b/nix/mk_tests.nix
@@ -20,6 +20,7 @@
{ lib
, alt-ergo
+, clang
, frama-c
, perl
, stdenvNoCC
@@ -43,6 +44,7 @@ stdenvNoCC.mkDerivation {
sourceRoot = ".";
buildInputs = frama-c.buildInputs ++ [
+ clang
frama-c
perl
time
--
GitLab