Skip to content

Use SOURCE_DATE_EPOCH if set#45

Merged
avsm merged 1 commit into
mirage:masterfrom
xclerc:source-date-epoch
Feb 5, 2019
Merged

Use SOURCE_DATE_EPOCH if set#45
avsm merged 1 commit into
mirage:masterfrom
xclerc:source-date-epoch

Conversation

@xclerc

@xclerc xclerc commented Jun 25, 2018

Copy link
Copy Markdown
Contributor

It would be useful to easily support reproducible builds.

@xclerc

xclerc commented Jun 25, 2018

Copy link
Copy Markdown
Contributor Author

Background information:

@avsm avsm merged commit 9e0a843 into mirage:master Feb 5, 2019
avsm added a commit to avsm/opam-repository that referenced this pull request Feb 5, 2019
CHANGES:

* Port to dune from jbuilder (mirage/ocaml-crunch#46 @hannesm)
* use `SOURCE_DATE_EPOCH` instead of gettimeofday if set to
  support reproducible builds (mirage/ocaml-crunch#45 @xclerc)
avsm added a commit to avsm/opam-repository that referenced this pull request Feb 5, 2019
CHANGES:

* Port to dune from jbuilder (mirage/ocaml-crunch#46 @hannesm)
* use `SOURCE_DATE_EPOCH` instead of gettimeofday if set to
  support reproducible builds (mirage/ocaml-crunch#45 @xclerc)
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.

2 participants