Skip to content
Snippets Groups Projects
Commit 3b0301ae authored by François Bobot's avatar François Bobot
Browse files

Fix ocp-indent version in continuous intergration

parent 082cdc65
No related branches found
No related tags found
No related merge requests found
...@@ -63,7 +63,8 @@ rec { ...@@ -63,7 +63,8 @@ rec {
lint = stdenv.mkDerivation { lint = stdenv.mkDerivation {
name = "frama-c-lint"; name = "frama-c-lint";
inherit src; 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" ]; outputs = [ "out" ];
postPatch = '' postPatch = ''
patchShebangs . patchShebangs .
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment