[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Removing compilers that cannot be bootstrapped
From: |
Ludovic Courtès |
Subject: |
Re: Removing compilers that cannot be bootstrapped |
Date: |
Sat, 26 Mar 2016 00:08:09 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
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. :-)
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 <=
- Re: Removing compilers that cannot be bootstrapped, Leo Famulari, 2016/03/25
- 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