From 84c70ae812ce038228332eadf1d7f39b43b0a2c3 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 11 Nov 2022 10:30:34 +0100
Subject: [PATCH] [ci] temporary fix for frama-c-lint
---
nix/internal-tests.nix | 2 ++
opam | 4 ++++
2 files changed, 6 insertions(+)
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index a2454edc35b..5512f6013d8 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -26,6 +26,7 @@
, mlmpfr
, ocaml
, ocamlgraph
+, ocp-indent
, ppx_deriving
, ppx_deriving_yojson
, ppx_import
@@ -79,6 +80,7 @@ stdenvNoCC.mkDerivation rec {
mlmpfr
ocaml
ocamlgraph
+ ocp-indent
ppx_deriving
ppx_deriving_yojson
ppx_import
diff --git a/opam b/opam
index 2ddbf01f257..a42fd9599d6 100644
--- a/opam
+++ b/opam
@@ -124,6 +124,10 @@ depends: [
"yojson" { >= "1.6.0" & < "2.0.0" }
"zarith" { >= "1.5" }
+ # To be removed when frama-c-lint/hdrck are in separate opam packages
+ "camomile"
+ "ocp-indent"
+
# PPXs
"ppx_deriving"
"ppx_deriving_yojson"
--
GitLab