New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
verifpal: init at 0.2 #67607
verifpal: init at 0.2 #67607
Conversation
}; | ||
|
||
postPatch = '' | ||
sed -e 's|/bin/echo|echo|g' -i Makefile |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
would it be neater to use a patch here? perhaps even patchShebangs would work
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
the Makefile has a lot of @/bin/echo "Some message"
lines. This will be more resilient to change when upstream adds more directives. I will make it even more resilient like this:
- sed -e 's|/bin/echo|echo|g' -i Makefile
+ sed -e 's|/bin/echo |echo |g' -i Makefile
patchShebangs only works on the first line of the scripts
sha256 = "1n0zqidwbqqfslrirpbqw14ylgiry6ggcp9ll4h8rf1chqwk6dhv"; | ||
}; | ||
|
||
meta = { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
would this be neater with meta = with lib; {
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I am trying to limit the scope of with
as much as possible since it creates implicit dependencies. Also it would save 8 characters below and adds 10 characters.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fair enough, I was just going off of what is usually done
Motivation for this change
Done for the NLNet PET program
Things done
sandbox
innix.conf
on non-NixOS)nix-shell -p nix-review --run "nix-review wip"
./result/bin/
)nix path-info -S
before and after)Notify maintainers
cc @