coqPackages.coq-elpi: propagate findlib
This commit is contained in:
parent
a18a7e5ff8
commit
0cad0fd119
|
@ -56,7 +56,7 @@ in mkCoqDerivation {
|
|||
buildFlags = [ "OCAMLWARN=" ];
|
||||
|
||||
mlPlugin = true;
|
||||
propagatedBuildInputs = [ elpi ];
|
||||
propagatedBuildInputs = [ coq.ocamlPackages.findlib elpi ];
|
||||
|
||||
meta = {
|
||||
description = "Coq plugin embedding ELPI.";
|
||||
|
|
Loading…
Reference in a new issue