Commit b3a97d4e authored by damhiya's avatar damhiya Committed by Vincent Laporte
Browse files

coqPackages.compcert: use external MenhirLib

parent 5a3fe0fa

pkgs/development/coq-modules/compcert/default.nix

+3 −2
Original line number Diff line number Diff line 
{ lib, mkCoqDerivation

, coq, flocq

, coq, flocq, MenhirLib

, ocamlPackages, fetchpatch, makeWrapper, coq2html

, stdenv, tools ? stdenv.cc

, version ? null
@@ -50,7 +50,7 @@ compcert = mkCoqDerivation { 


  nativeBuildInputs = with ocamlPackages; [ makeWrapper ocaml findlib menhir coq coq2html ];

  buildInputs = with ocamlPackages; [ menhirLib ];

  propagatedBuildInputs = [ flocq ];

  propagatedBuildInputs = [ flocq MenhirLib ];



  enableParallelBuilding = true;
@@ -66,6 +66,7 @@ compcert = mkCoqDerivation { 
    -coqdevdir $lib/lib/coq/${coq.coq-version}/user-contrib/compcert/ \

    -toolprefix ${tools}/bin/ \

    -use-external-Flocq \

    -use-external-MenhirLib \

    ${target} \

  '';  # don't remove the \ above, the command gets appended in override below