coq-nix-toolbox icon indicating copy to clipboard operation
coq-nix-toolbox copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Config `buildInputs` is not used to override the package derivation.

Open Zimmi48 opened this issue 4 years ago • 1 comments

IIUC the diagnosis in coq-community/lemma-overloading#68, buildInputs is pretty useless because it is only used in the derivation that is built by nix-build called without arguments. It doesn't affect the derivation built by nix-build --argstr job PACKAGENAME and thus the CI.

Zimmi48 avatar Jul 01 '21 21:07 Zimmi48

The same is true for coqproject in config.nix BTW.

Solving this bug could help lift some limitation described in coq-community/templates#99.

Zimmi48 avatar Aug 07 '21 16:08 Zimmi48