coaPackages.compcert: fix ocamlPackages -> coq.ocamlPackages

Signed-off-by: Ali Caglayan <[email protected]>
NixOS · Apr 6, 2023 · ccc8699 · ccc8699
1 parent 555faa0
commit ccc8699
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/pkgs/development/coq-modules/compcert/default.nix b/pkgs/development/coq-modules/compcert/default.nix
@@ -1,11 +1,13 @@
-{ lib, fetchzip, mkCoqDerivation
-, coq, flocq, compcert
-, ocamlPackages, fetchpatch, makeWrapper, coq2html
+{ lib, mkCoqDerivation
+, coq, flocq
+, fetchpatch, makeWrapper, coq2html
 , stdenv, tools ? stdenv.cc
 , version ? null
 }:
 
-let compcert = mkCoqDerivation rec {
+let compcert = 
+  let ocamlPackages = coq.ocamlPackages; in
+  mkCoqDerivation {
 
   pname = "compcert";
   owner = "AbsInt";