search

coq-community / coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
MIT License
32 stars 10 forks source link

Unclear error message when running unknown job. #33

Open Zimmi48 opened 3 years ago

Zimmi48 commented 3 years ago

nix-shell --argstr job foo will produce:

error: nix-shell requires a single derivation
Zimmi48 commented 3 years ago

This can be especially confusing when the unknown job is simply a known Coq project that is missing from coqPackages.

Zimmi48 commented 2 years ago

As discussed in https://coq.zulipchat.com/#narrow/stream/290990-Nix-toolbox.20devs.20.26.20users/topic/.60nix-shell.20https.3A.2F.2Fcoq.2Einria.2Efr.2Fnix.2Ftoolbox.20--argstr.20job.60, we should ensure that we fail at evaluation time instead of producing an empty derivation in such cases.