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

Add optional tools to nix-shell. #22

Open Zimmi48 opened 3 years ago

Zimmi48 commented 3 years ago

For instance, for Coq, we would need tools like jq and git to make some dev scripts work.

Zimmi48 commented 3 years ago

@CohenCyril would this be easy to implement? This seems to be the last missing bit to convert Coq's Nix setup to use the toolbox.

Zimmi48 commented 3 years ago

Actually, I found a way to do without this (by relying on shell-attribute, which I already had to do anyway).