From 72f2f30504a6b6f878ca199aeaa5673a47162e1b Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 13 Jun 2022 11:31:56 +0200
Subject: [PATCH] [ci] add plugin checkers shell
---
nix/pkgs.nix | 5 ++++-
nix/plugin-checkers-shell.nix | 18 ++++++++++++++++++
2 files changed, 22 insertions(+), 1 deletion(-)
create mode 100644 nix/plugin-checkers-shell.nix
diff --git a/nix/pkgs.nix b/nix/pkgs.nix
index 045a219ce00..f2750a73d49 100644
--- a/nix/pkgs.nix
+++ b/nix/pkgs.nix
@@ -15,10 +15,13 @@ let
mk_tests = oself.callPackage ./mk_tests.nix {};
mk_plugin = oself.callPackage ./mk_plugin.nix {};
- # Shell containing checkers (hdrck, ocp-indent)
+ # Shells containing checkers (hdrck, ocp-indent, Frama-C for plugins)
frama-c-checkers-shell = oself.callPackage ./frama-c-checkers-shell.nix {
git = pkgs.git ;
};
+ plugin-checkers-shell = oself.callPackage ./plugin-checkers-shell.nix {
+ git = pkgs.git ;
+ };
# Builds
frama-c = oself.callPackage ./frama-c.nix {};
diff --git a/nix/plugin-checkers-shell.nix b/nix/plugin-checkers-shell.nix
new file mode 100644
index 00000000000..dfb0113011f
--- /dev/null
+++ b/nix/plugin-checkers-shell.nix
@@ -0,0 +1,18 @@
+{ lib
+, stdenv
+, frama-c
+, git
+, gnumake
+, headache
+, ocp-indent
+} :
+stdenv.mkDerivation rec {
+ name = "plugin-checkers-shell";
+ buildInputs = [
+ frama-c
+ git
+ gnumake
+ headache
+ ocp-indent
+ ];
+}
--
GitLab