-
Notifications
You must be signed in to change notification settings - Fork 2
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
feat(scripts/fetch_binary.d): Fetching dmd source and misc improvement. #55
Conversation
I just used this to actually fetch some DMD sources. It turns out the hashing needs to be done differently, since dmd sources are NAR hashed in unpacked form as opposed to content hash of the ping @PetarKirov . |
Ping @PetarKirov Any issues with this? I'm going to merge at 15th or later if no answer, as the CI is passing. |
cecf3e1
to
436df60
Compare
436df60
to
056667e
Compare
Thanks for your Pull Request! Below you will find a summary of the cachix status of each package, for each supported platform.
|
@dukc Sorry for delay! In addition to the lack of available time on my side, I had started a large refactoring that of this script (all the way back in Jan-Feb) and I was hoping I could finish it before merging your code to avoid conflicts, but I think at this point it would be better if I merge your PR and redo my stuff, to avoid any additional delays. |
Thanks! |
Along with ability to fetch dmd sources, the largest improvement is a better help page.
ping @PetarKirov