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

putting a ref here is strongly advised #30

Closed gares closed 3 years ago

gares commented 3 years ago

I have this

  # putting a ref here is strongly advised
  rev = import .nix/coq-nix-toolbox.nix;

and the file .nix/coq-nix-toolbox.nix is containing a hash. It is not clear to me if the comment is outdated, or which ref I'm supposed to put there.

Zimmi48 commented 3 years ago

I agree that the comment is confusing given that users should generally not change the default.nix file by themselves. Maybe we should just remove that comment.

Related to #3.

CohenCyril commented 3 years ago

The comment is for the line above though