pyrox.dev
Do not rely on legacy ocaml passthru value.
authored by Théo Zimmermann and committed by Vincent Laporte c6815758 17bddec8
+1
-1
pkgs/build-support/coq/default.nix
+1
-1
pkgs/build-support/coq/default.nix
···
86
86
nativeBuildInputs = args.overrideNativeBuildInputs
87
87
or ([ which coq.ocamlPackages.findlib ]
88
88
++ optional useDune2 coq.ocamlPackages.dune_2
89
-
++ optional (useDune2 || mlPlugin) coq.ocaml
89
+
++ optional (useDune2 || mlPlugin) coq.ocamlPackages.ocaml
90
90
++ (args.nativeBuildInputs or []) ++ extraNativeBuildInputs);
91
91
buildInputs = args.overrideBuildInputs
92
92
or ([ coq ] ++ (args.buildInputs or []) ++ extraBuildInputs);