coqPackages.compcert: fix ocamlPackages

2026-05-06 11:57:11 +02:00
parent 30b1c85e66
commit d0f59b5219
2 changed files with 2 additions and 4 deletions
@@ -4,7 +4,6 @@
  coq,
  flocq,
  MenhirLib,
-  ocamlPackages,
  fetchpatch,
  makeWrapper,
  coq2html,
@@ -71,7 +70,7 @@ let

    strictDeps = true;

-    nativeBuildInputs = with ocamlPackages; [
+    nativeBuildInputs = with coq.ocamlPackages; [
      makeWrapper
      ocaml
      findlib
@@ -79,7 +78,7 @@ let
      coq
      coq2html
    ];
-    buildInputs = with ocamlPackages; [ menhirLib ];
+    buildInputs = with coq.ocamlPackages; [ menhirLib ];
    propagatedBuildInputs = [
      flocq
      MenhirLib
@@ -88,7 +88,6 @@ let
          lib
          stdenv
          ;
-        ocamlPackages = ocamlPackages_4_14;
      };
      ConCert = callPackage ../development/coq-modules/ConCert { };
      coq-bits = callPackage ../development/coq-modules/coq-bits { };