Stream: Nix toolbox devs & users

Topic: `nix-shell https://coq.inria.fr/nix/toolbox --argstr job`


view this post on Zulip Théo Zimmermann (Dec 10 2021 at 10:34):

I thought this used to work, but it doesn't:

nix-shell https://coq.inria.fr/nix/toolbox --arg override '{ coq = "master"; }' --argstr job aac-tactics

It fails with the following error message:

error: nix-shell requires a single derivation

Has something changed or was I mistaken?

view this post on Zulip Cyril Cohen (Dec 15 2021 at 12:27):

I'm as puzzled as you are

view this post on Zulip Cyril Cohen (Dec 15 2021 at 12:28):

especially because it work replacing "master" by "8.14" and "8.13", did something change in the aac-tactics derivation?

view this post on Zulip Cyril Cohen (Dec 15 2021 at 12:29):

AAAh ok I think it's because it's not declared so the list of derivation is empty...

view this post on Zulip Cyril Cohen (Dec 15 2021 at 12:29):

try this:

view this post on Zulip Cyril Cohen (Dec 15 2021 at 12:30):

nix-shell https://coq.inria.fr/nix/toolbox --arg override '{ coq = "master"; aac-tactics = ./.;}' --argstr job aac-tactics

view this post on Zulip Théo Zimmermann (Dec 15 2021 at 13:15):

Thanks, I should have known.

view this post on Zulip Théo Zimmermann (Dec 15 2021 at 13:16):

We should do something so that we get actual evaluation failures instead of empty derivations in such cases.

view this post on Zulip Cyril Cohen (Dec 15 2021 at 17:25):

Théo Zimmermann said:

We should do something so that we get actual evaluation failures instead of empty derivations in such cases.

Would you mind opening an issue?

view this post on Zulip Théo Zimmermann (Dec 16 2021 at 10:00):

Actually, I discover I already reported this: https://github.com/coq-community/coq-nix-toolbox/issues/33

view this post on Zulip Cyril Cohen (Dec 16 2021 at 12:23):

Théo Zimmermann said:

Actually, I discover I already reported this: https://github.com/coq-community/coq-nix-toolbox/issues/33

And you had already found the reason why

view this post on Zulip Théo Zimmermann (Dec 16 2021 at 13:21):

And forgotten about it :sad:


Last updated: Jan 29 2023 at 16:02 UTC