Théo Zimmermann (Dec 10 2021 at 10:34): 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?
Cyril Cohen (Dec 15 2021 at 12:27):I'm as puzzled as you are
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?
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...
Cyril Cohen (Dec 15 2021 at 12:29):try this:
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
Thanks, I should have known.
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.
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?
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
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
Théo Zimmermann (Dec 16 2021 at 13:21):And forgotten about it :sad:
Last updated: Oct 13 2024 at 01:02 UTC