From 3b0301aed17ecd0e2caa5743a7e3dcdf83c71e76 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Fri, 24 May 2019 07:15:19 +0200
Subject: [PATCH] Fix ocp-indent version in continuous intergration
---
nix/default.nix | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index 985c13130cb..0cdac752254 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -63,7 +63,8 @@ rec {
lint = stdenv.mkDerivation {
name = "frama-c-lint";
inherit src;
- buildInputs = (mk_buildInputs {opamPackages = [ "ocp-indent" ];} ) ++ [ pkgs.bc plugins.headache.installed ];
+ buildInputs = (mk_buildInputs { opamPackages = [ { name = "ocp-indent"; constraint = "=1.6.1"; } ];} )
+ ++ [ pkgs.bc plugins.headache.installed ];
outputs = [ "out" ];
postPatch = ''
patchShebangs .
--
GitLab