<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Exchange Server">
<!-- converted from text --><style><!-- .EmailQuote { margin-left: 1pt; padding-left: 4pt; border-left: #800000 2px solid; } --></style>
</head>
<body>
<meta content="text/html; charset=UTF-8">
<style type="text/css" style="">
<!--
p
{margin-top:0;
margin-bottom:0}
-->
</style>
<div dir="ltr">
<div id="x_divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<p>I'd just like to confirm that other users have seen this issue. Colleagues of mine</p>
<p>have tried to pre-build heaps on a build server and share them with other</p>
<p>users. It could have saved CPU-hours, and in some cases, hours of humans</p>
<p>waiting around, but it never worked.</p>
<p><br>
</p>
<p>My understanding is that the "hash the world" mechanism for capturing</p>
<p>the state of the dependencies sometimes captures the absolute names of files.</p>
<p>This breaks down in the obvious way if, for instance, we can't assume that all</p>
<p>the target users have the same username. None of this has anything to do</p>
<p>with the archive format.<br>
</p>
<p><br>
</p>
<p>These observations may all be out of date.<br>
</p>
<p></p>
<div><br>
Cheers,<br>
Thomas.</div>
<br>
<p></p>
</div>
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="x_divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> isabelle-dev <isabelle-dev-bounces@mail46.informatik.tu-muenchen.de> on behalf of Makarius <makarius@sketis.net><br>
<b>Sent:</b> Friday, November 30, 2018 7:13:36 PM<br>
<b>To:</b> Jonathon Fernyhough; isabelle-dev@mail46.informatik.tu-muenchen.de<br>
<b>Subject:</b> Re: [isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH</font>
<div> </div>
</div>
</div>
<font size="2"><span style="font-size:10pt;">
<div class="PlainText">On 30/11/2018 18:56, Jonathon Fernyhough wrote:<br>
>><br>
>>> However, a Debian packaging file is the correct approach for local<br>
>>> deployment to multiple Debian/Ubuntu machines.<br>
>><br>
>> It is one approach, but typically causes problems.<br>
> <br>
> Given the size of the Debian repositories and the range of software they<br>
> make available I'm not really sure this is true.<br>
<br>
Hopefully this is not another attempt at an official Debian package of<br>
Isabelle. Many years ago, some people tried it, but it always caused<br>
more problems than it solved. And today the system is more complex and<br>
more easily destroyed by packaging it.<br>
<br>
These days I see big and complex products doing it our way: providing a<br>
fully integrated distribution for end-users that by-passes OS package<br>
managers.<br>
<br>
<br>
Makarius<br>
<br>
</div>
</span></font>
</body>
</html>