From d451ea73dc8b4ed51d2a534f9c7b6e64268c3271 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 11 Oct 2022 10:25:03 +0200
Subject: coqPackages.coq-elpi: disable OCaml warnings

---
 pkgs/development/coq-modules/coq-elpi/default.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'pkgs/development')

diff --git a/pkgs/development/coq-modules/coq-elpi/default.nix b/pkgs/development/coq-modules/coq-elpi/default.nix
index c872659b50c..8adea66a6de 100644
--- a/pkgs/development/coq-modules/coq-elpi/default.nix
+++ b/pkgs/development/coq-modules/coq-elpi/default.nix
@@ -53,6 +53,8 @@ in mkCoqDerivation {
   release."1.6.0".sha256      = "0kf99i43mlf750fr7fric764mm495a53mg5kahnbp6zcjcxxrm0b";
   releaseRev = v: "v${v}";
 
+  buildFlags = [ "OCAMLWARN=" ];
+
   mlPlugin = true;
   propagatedBuildInputs = [ elpi ];
 
-- 
cgit 1.4.1