[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Removing compilers that cannot be bootstrapped
From: |
Leo Famulari |
Subject: |
Re: Removing compilers that cannot be bootstrapped |
Date: |
Fri, 25 Mar 2016 20:22:35 -0400 |
User-agent: |
Mutt/1.5.24 (2015-08-30) |
On Sat, Mar 26, 2016 at 12:08:09AM +0100, Ludovic Courtès wrote:
> Leo Famulari <address@hidden> skribis:
>
> > On Wed, Mar 23, 2016 at 03:49:33PM -0700, Christopher Allan Webber wrote:
> >> Ludovic Courtès writes:
> >>
> >> > Christopher Allan Webber <address@hidden> skribis:
> >> >
> >> >> Let me give an even shorter-term solution: maybe there is a way to mark
> >> >> things as risky from a trust perspective when it comes to bootstrapping?
> >> >> Maybe we could do something like:
> >> >>
> >> >> (define-public ghc
> >> >> (package
> >> >> (name "ghc")
> >> >> (version "7.10.2")
> >> >> ;; [... bla bla ...]
> >> >> (properties '(("bootstrap-untrusted" #t)))))
> >> >
> >> > Why not, but what would be the correspond warning, and the expected
> >> > effect?
> >>
> >> A warning, or maybe even also a:
> >>
> >> guix package -i foo --only-reproducible
> >>
> >> which could error?
>
> Hmm or --only-traceable?
>
> > If we decide to do something like that, we should decide if we want the
> > word 'reproducible' to mean bit-for-bit reproducibility.
>
> The problem is that big binary blobs like GHC’s are necessarily
> bit-for-bit reproducible. :-)
`wget https://blob` doesn't count as reproducible :)
Another useful word could be 'deterministic'.
>
> Ludo’.
- Re: Removing compilers that cannot be bootstrapped, (continued)
- Re: Removing compilers that cannot be bootstrapped, Ludovic Courtès, 2016/03/21
- Re: Removing compilers that cannot be bootstrapped, Jookia, 2016/03/22
- Re: Removing compilers that cannot be bootstrapped, Eric Bavier, 2016/03/22
- Re: Removing compilers that cannot be bootstrapped, Christopher Allan Webber, 2016/03/22
- Re: Removing compilers that cannot be bootstrapped, Ludovic Courtès, 2016/03/23
- Re: Removing compilers that cannot be bootstrapped, Christopher Allan Webber, 2016/03/23
- Re: Removing compilers that cannot be bootstrapped, Leo Famulari, 2016/03/23
- Re: Removing compilers that cannot be bootstrapped, Ludovic Courtès, 2016/03/25
- Re: Removing compilers that cannot be bootstrapped,
Leo Famulari <=
- Re: Removing compilers that cannot be bootstrapped, Chris Marusich, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Chris Marusich, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Jookia, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Alex Vong, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Ricardo Wurmus, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Jookia, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Ludovic Courtès, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Christopher Allan Webber, 2016/03/26
Re: Removing compilers that cannot be bootstrapped, rain1, 2016/03/22