alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

coqPackages.coq-elpi: disable OCaml warnings

Browse source
This commit is contained in:
Vincent Laporte 2022-10-11 10:25:03 +02:00 committed by Vincent Laporte
parent 50ecf779c9
commit d451ea73dc
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/development/coq-modules/coq-elpi/default.nix
View file

@ -53,6 +53,8 @@ in mkCoqDerivation {
release."1.6.0".sha256 = "0kf99i43mlf750fr7fric764mm495a53mg5kahnbp6zcjcxxrm0b";
releaseRev = v: "v${v}";
buildFlags = [ "OCAMLWARN=" ];
mlPlugin = true;
propagatedBuildInputs = [ elpi ];