Re: Set FORCE_SOURCE_DATE=1 by default

2022-08-12 Thread Vagrant Cascadian
On 2022-07-04, Ludovic Courtès wrote: > Vagrant Cascadian skribis: >> --- a/gnu/packages/tex.scm >> +++ b/gnu/packages/tex.scm >> @@ -395,6 +395,12 @@ (define-public texlive-bin >> (("srcdir/tests/pprecA-0.ind pprecA-0.ind1 \\|\\| exit >> 1") >>"srcdi

Re: Set FORCE_SOURCE_DATE=1 by default

2022-07-04 Thread Ludovic Courtès
Hi! Vagrant Cascadian skribis: > --- a/gnu/packages/tex.scm > +++ b/gnu/packages/tex.scm > @@ -395,6 +395,12 @@ (define-public texlive-bin > (("srcdir/tests/pprecA-0.ind pprecA-0.ind1 \\|\\| exit > 1") >"srcdir/tests/pprecA-0.ind pprecA-0.ind1 || ex

Re: Set FORCE_SOURCE_DATE=1 by default

2022-07-02 Thread Vagrant Cascadian
On 2022-06-23, Maxim Cournoyer wrote: >>> Perhaps to show our stand here we could patch our copy of pdftex with >>> 's/FORCE_SOURCE_DATE/SOURCE_DATE_EPOCH/', lest we end up with a grocery >>> list of *SOURCE_DATE* variable variants. >> >> Sure, with some technical details fixed up, as I think they

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-23 Thread Maxim Cournoyer
Hi Vagrant, [...] >> Perhaps to show our stand here we could patch our copy of pdftex with >> 's/FORCE_SOURCE_DATE/SOURCE_DATE_EPOCH/', lest we end up with a grocery >> list of *SOURCE_DATE* variable variants. > > Sure, with some technical details fixed up, as I think they are > functionally diff

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-22 Thread Vagrant Cascadian
On 2022-06-22, Maxim Cournoyer wrote: > Vagrant Cascadian writes: >> On 2022-06-21, Maxim Cournoyer wrote: >>> Vagrant Cascadian writes: That said, some projects (such as texlive) might be worried about messing with time too much (I get it, lots of cautionary sci-fi stories!), and

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-22 Thread Maxim Cournoyer
Hi Vagrant, Vagrant Cascadian writes: > On 2022-06-22, Ludovic Courtès wrote: >> Vagrant Cascadian skribis: >> >>> On 2022-06-21, Maxim Cournoyer wrote: >> >> [...] >> I'd much prefer challenging that stance than "endorsing" it in Guix :-). I think it'd be OK to reluctantly add it in

Re: Time namespace for build sandbox (was Re: Set FORCE_SOURCE_DATE=1 by default)

2022-06-22 Thread Maxime Devos
Zhu Zihao schreef op wo 22-06-2022 om 23:16 [+0800]: > > Can we make some experiments on the Linux time namespace for build > sandbox? > > This can mock the real system with our desired value, maybe a good > solution for the reproduciblity on Linux machine. > > Ref: https://man7.org/linux/man-pa

Re: Time namespace for build sandbox (was Re: Set FORCE_SOURCE_DATE=1 by default)

2022-06-22 Thread Vagrant Cascadian
On 2022-06-22, Zhu Zihao wrote: > Can we make some experiments on the Linux time namespace for build > sandbox? > > This can mock the real system with our desired value, maybe a good > solution for the reproduciblity on Linux machine. > > Ref: https://man7.org/linux/man-pages/man7/time_namespaces.7

Time namespace for build sandbox (was Re: Set FORCE_SOURCE_DATE=1 by default)

2022-06-22 Thread Zhu Zihao
Can we make some experiments on the Linux time namespace for build sandbox? This can mock the real system with our desired value, maybe a good solution for the reproduciblity on Linux machine. Ref: https://man7.org/linux/man-pages/man7/time_namespaces.7.html -- Retrieve my PGP public key: gp

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-22 Thread Vagrant Cascadian
On 2022-06-22, Ludovic Courtès wrote: > Vagrant Cascadian skribis: > >> On 2022-06-21, Maxim Cournoyer wrote: > > [...] > >>> I'd much prefer challenging that stance than "endorsing" it in Guix :-). >>> I think it'd be OK to reluctantly add it in as a stop-gap fix in Guix, >>> but *only* after ope

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-22 Thread Maxim Cournoyer
Hi, Vagrant Cascadian writes: > On 2022-06-21, Maxim Cournoyer wrote: >> Vagrant Cascadian writes: >>> So, guix sets SOURCE_DATE_EPOCH=1 by default in >>> guix/build/gnu-build-system.scm, which is great! >>> >>> This allows guix packages in many cases to build packages reproducibly, >>> with a

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-22 Thread Ludovic Courtès
Vagrant Cascadian skribis: > On 2022-06-21, Maxim Cournoyer wrote: [...] >> I'd much prefer challenging that stance than "endorsing" it in Guix :-). >> I think it'd be OK to reluctantly add it in as a stop-gap fix in Guix, >> but *only* after opening an issue to discuss it upstream and linking

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-21 Thread Vagrant Cascadian
On 2022-06-21, Maxim Cournoyer wrote: > Vagrant Cascadian writes: >> So, guix sets SOURCE_DATE_EPOCH=1 by default in >> guix/build/gnu-build-system.scm, which is great! >> >> This allows guix packages in many cases to build packages reproducibly, >> with a curious side-effect that takes us all bac

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-21 Thread Maxim Cournoyer
Hi Vagrant, Vagrant Cascadian writes: > So, guix sets SOURCE_DATE_EPOCH=1 by default in > guix/build/gnu-build-system.scm, which is great! > > This allows guix packages in many cases to build packages reproducibly, > with a curious side-effect that takes us all back to the early 70s in > some co

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-21 Thread Vagrant Cascadian
On 2022-06-21, Vagrant Cascadian wrote: > On 2022-06-15, Ludovic Courtès wrote: >> Vagrant Cascadian skribis: >>> From 7a39330b56934accef14b5e2ac003e211c7c6c5b Mon Sep 17 00:00:00 2001 >>> From: Vagrant Cascadian >>> Date: Fri, 10 Jun 2022 16:12:59 -0700 >>> Subject: [PATCH] guix: gnu-build-syste

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-21 Thread Vagrant Cascadian
On 2022-06-15, Ludovic Courtès wrote: > Vagrant Cascadian skribis: >> From 7a39330b56934accef14b5e2ac003e211c7c6c5b Mon Sep 17 00:00:00 2001 >> From: Vagrant Cascadian >> Date: Fri, 10 Jun 2022 16:12:59 -0700 >> Subject: [PATCH] guix: gnu-build-system: Set FORCE_SOURCE_DATE in >> set-SOURCE-DATE

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-15 Thread Vagrant Cascadian
On 2022-06-15, Ludovic Courtès wrote: > Vagrant Cascadian skribis: > >> From 7a39330b56934accef14b5e2ac003e211c7c6c5b Mon Sep 17 00:00:00 2001 >> From: Vagrant Cascadian >> Date: Fri, 10 Jun 2022 16:12:59 -0700 >> Subject: [PATCH] guix: gnu-build-system: Set FORCE_SOURCE_DATE in >> set-SOURCE-DA

Re: Set FORCE_SOURCE_DATE=1 by default

2022-06-15 Thread Ludovic Courtès
Hi! Vagrant Cascadian skribis: > From 7a39330b56934accef14b5e2ac003e211c7c6c5b Mon Sep 17 00:00:00 2001 > From: Vagrant Cascadian > Date: Fri, 10 Jun 2022 16:12:59 -0700 > Subject: [PATCH] guix: gnu-build-system: Set FORCE_SOURCE_DATE in > set-SOURCE-DATE-EPOCH phase. > > * guix/build/gnu-buil

Set FORCE_SOURCE_DATE=1 by default

2022-06-10 Thread Vagrant Cascadian
So, guix sets SOURCE_DATE_EPOCH=1 by default in guix/build/gnu-build-system.scm, which is great! This allows guix packages in many cases to build packages reproducibly, with a curious side-effect that takes us all back to the early 70s in some corner-cases (or even late 60s, dependent on timezone)