Commit b1d65bff authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

Add missing mlPlugin 

They now seem necessary with Coq master (future Rocq 9.0),
maybe linked to the now mandatory use of ocamlfind to load plugins.
parent 4854bede

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

+2 −0
Original line number Diff line number Diff line
@@ -47,6 +47,8 @@ mkCoqDerivation { 
  release."1.4.0".rev = "168c6b86c7d3f87ee51791f795a8828b1521589a";

  release."1.4.0".sha256 = "1d2whsgs3kcg5wgampd6yaqagcpmzhgb6a0hp6qn4lbimck5dfmm";



  mlPlugin = true;  /* uses coq-bignums.plugin */



  propagatedBuildInputs = [ bignums ];

  enableParallelBuilding = false;

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

+2 −0
Original line number Diff line number Diff line
@@ -46,6 +46,8 @@ mkCoqDerivation { 
  release."8.7.2".sha256 = "15zlcrx06qqxjy3nhh22wzy0rb4npc8l4nx2bbsfsvrisbq1qb7k";

  releaseRev = v: "v${v}";



  mlPlugin = true;  /* uses coq-bignums.plugin */



  propagatedBuildInputs = [ bignums ];



  meta = with lib; {

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

+2 −0
Original line number Diff line number Diff line
@@ -46,6 +46,8 @@ mkCoqDerivation rec { 
  configureScript = "./configure.sh";

  dontAddPrefix = true;



  mlPlugin = true;  /* uses coq-bignums.plugin */



  propagatedBuildInputs = [

    bignums

    math-classes

pkgs/development/coq-modules/math-classes/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -37,6 +37,8 @@ mkCoqDerivation { 
  release."8.18.0".sha256 = "sha256-0WwPss8+Vr37zX616xeuS4TvtImtSbToFQkQostIjO8=";

  release."8.19.0".sha256 = "sha256-rsV96W9MPFi/DKsepNPm1QnC2DMemio+uALIgzVYw0w=";



  mlPlugin = true;  /* uses coq-bignums.plugin */



  propagatedBuildInputs = [ bignums ];



  meta = {