From 78e70a842a12e691d7bc298e7a32bc7c67b41b54 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 15 Jun 2022 16:08:09 +0200
Subject: [PATCH] [ci] add clang 10 to Frama-C checkers
---
nix/frama-c-checkers-shell.nix | 2 ++
1 file changed, 2 insertions(+)
diff --git a/nix/frama-c-checkers-shell.nix b/nix/frama-c-checkers-shell.nix
index a9322dcc9fd..9ccc398534f 100644
--- a/nix/frama-c-checkers-shell.nix
+++ b/nix/frama-c-checkers-shell.nix
@@ -1,5 +1,6 @@
{ lib
, stdenv
+, clang_10
, frama-c-hdrck
, git
, gnumake
@@ -9,6 +10,7 @@
stdenv.mkDerivation rec {
name = "frama-c-checkers-shell";
buildInputs = [
+ clang_10
frama-c-hdrck
git
gnumake
--
GitLab