ernyhough;
isabelle-...@mail46.informatik.tu-muenchen.de
Subject: Re: [isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
On 30/11/2018 21:56, Makarius wrote:
> On 30/11/2018 19:45, Thomas Sewell wrote:
>
> I am also unsure why "archive formats" got on this thread
On 30/11/2018 21:56, Makarius wrote:
> On 30/11/2018 19:45, Thomas Sewell wrote:
>
> I am also unsure why "archive formats" got on this thread. The heap is a
> binary build artifact, with its own internal structure. Its precise
> content is somewhat non-deterministic, even when everything runs in
On 30/11/2018 19:45, Thomas Sewell wrote:
> I'd just like to confirm that other users have seen this issue.
> Colleagues of mine
>
> have tried to pre-build heaps on a build server and share them with other
> users. It could have saved CPU-hours, and in some cases, hours of humans
> waiting around
sabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
On 30/11/2018 18:56, Jonathon Fernyhough wrote:
>>
>>> However, a Debian packaging file is the correct approach for local
>>> deployment to multiple Debian/Ubuntu machines.
>>
>> It is one approach,
On 30/11/2018 18:56, Jonathon Fernyhough wrote:
>>
>>> However, a Debian packaging file is the correct approach for local
>>> deployment to multiple Debian/Ubuntu machines.
>>
>> It is one approach, but typically causes problems.
>
> Given the size of the Debian repositories and the range of softw
On 30/11/2018 16:36, Makarius wrote:
> On 30/11/2018 16:30, Jonathon Fernyhough wrote:
>> On 30/11/2018 14:55, Makarius wrote:
>>> On 30/11/2018 14:15, Jonathon Fernyhough wrote:
I'm currently packaging Isabelle2018 (in deb format) for deployment to
several machines. These packages s
On 30/11/2018 16:30, Jonathon Fernyhough wrote:
> On 30/11/2018 14:55, Makarius wrote:
>> On 30/11/2018 14:15, Jonathon Fernyhough wrote:
>>>
>>> I'm currently packaging Isabelle2018 (in deb format) for deployment to
>>> several machines. These packages should contain some default heaps so
>>> user
On 30/11/2018 14:55, Makarius wrote:
> On 30/11/2018 14:15, Jonathon Fernyhough wrote:
>>
>> I'm currently packaging Isabelle2018 (in deb format) for deployment to
>> several machines. These packages should contain some default heaps so
>> users can get on with what they're doing and avoid duplicat
On 30/11/2018 14:15, Jonathon Fernyhough wrote:
>
> I'm currently packaging Isabelle2018 (in deb format) for deployment to
> several machines. These packages should contain some default heaps so
> users can get on with what they're doing and avoid duplicating hundreds
> of megabytes of data across