From d51cc6ae6fece1f677c141b7c5fd707078e24cd5 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 18 Feb 2022 11:44:09 +0100
Subject: [PATCH] [ci] intercept bad camlzip
---
nix/pkgs.nix | 1 +
1 file changed, 1 insertion(+)
diff --git a/nix/pkgs.nix b/nix/pkgs.nix
index 02e5e5aebb8..6c1b1bffea7 100644
--- a/nix/pkgs.nix
+++ b/nix/pkgs.nix
@@ -21,6 +21,7 @@ let
) super.ocaml-ng;
inherit (super.callPackage sources."gitignore.nix" {}) gitignoreSource;
why3 = throw "don't use pkgs.why3 but ocaml-ng.ocamlPackages_4_XX.why3";
+ camlzip = throw "don't use pkgs.camlzip but ocaml-ng.ocamlPackages_4_XX.camlzip";
framac = throw "don't use pkgs.framac but ocaml-ng.ocamlPackages_4_XX.frama-c";
frama-c = throw "don't use pkgs.framac but ocaml-ng.ocamlPackages_4_XX.frama-c";
};
--
GitLab