Skip to content
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

Make the manpage generation reproducible. #59

Merged
merged 1 commit into from May 20, 2020

Conversation

lamby
Copy link
Contributor

@lamby lamby commented Oct 16, 2018

Whilst working on the Reproducible Builds effort, we noticed that mp3fs could not be built reproducibly as it uses a locale, timezone and current-time-of-date header in the generated manpage.

This patch ensures that the output is consistent regardless of the build user's location, or by the current time by utilising the SOURCE_DATE_EPOCH environment variable.

@lamby
Copy link
Contributor Author

lamby commented Oct 16, 2018

Let me know if you have any questions or queries regarding this patch - happy to help!

Whilst working on the Reproducible Builds effort [0], we noticed that mp3fs
could not be built reproducibly as it uses a locale, timezone and
current-time-of-day header in the generated manpage.

This patch ensures that the output is consistent regardless of the build user's
location, or by the current time by utilising the SOURCE_DATE_EPOCH environment
variable.

  [0] https://reproducible-builds.org/
  [1] https://reproducible-builds.org/specs/source-date-epoch/
@lamby
Copy link
Contributor Author

lamby commented Oct 17, 2018

(Updated patch.)

@khenriks
Copy link
Owner

Thanks for your contribution, and sorry that I've sat on this for so long. I appreciate your goal here of making the build reproducible. There are actually some changes to how I would deal with differing date implementations (autoconf can make this more convenient). However, I'm just going to accept this as-is and fix that in a follow-up. Thanks!

@khenriks khenriks merged commit 08e9e30 into khenriks:master May 20, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants