From c6815758ac2a281c130f2e157d898091007e72d2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Wed, 6 Jul 2022 18:36:19 +0200 Subject: [PATCH] Do not rely on legacy ocaml passthru value. --- pkgs/build-support/coq/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/build-support/coq/default.nix b/pkgs/build-support/coq/default.nix index 2a078a55d695..0dc5c999ea35 100644 --- a/pkgs/build-support/coq/default.nix +++ b/pkgs/build-support/coq/default.nix @@ -86,7 +86,7 @@ stdenv.mkDerivation (removeAttrs ({ nativeBuildInputs = args.overrideNativeBuildInputs or ([ which coq.ocamlPackages.findlib ] ++ optional useDune2 coq.ocamlPackages.dune_2 - ++ optional (useDune2 || mlPlugin) coq.ocaml + ++ optional (useDune2 || mlPlugin) coq.ocamlPackages.ocaml ++ (args.nativeBuildInputs or []) ++ extraNativeBuildInputs); buildInputs = args.overrideBuildInputs or ([ coq ] ++ (args.buildInputs or []) ++ extraBuildInputs);