[isabelle-dev] Announcing the Isabelle Build Manager: https://build.proof.cit.tum.de

[Fabian Huch]

Paths in Isabelle/AFP are resolved symbolically, and thanks to Makarius' 
efforts, the build tool can work with them even if absolute paths are 
different.

Where do you refer to pathnames? For selecting sessions? You'll have to 
specify their names instead -- the build_task tool does not have the 
-d/-D options, and working with paths that have no formal status within 
Isabelle/AFP is currently not supported. Though this would in principle 
also be possible.


Fabian

On 7/9/24 17:00, Lawrence Paulson wrote:

> I wonder if you could be a bit more explicit about how to use the new system for testing the distribution and AFP. The commands we use locally often refer to pathnames on one's local disc, which clearly cannot work here.
>
> Larry
>
>> On 9 Jul 2024, at 15:22, Fabian Huch <huch at in.tum.de> wrote:
>>
>> Users can submit builds with the 'isabelle build_task' tool (see NEWS); this requires ssh access to the build.proof.cit.tum.de server. Builds are run on a cluster of fast machines, so waiting times are much lower than before -- e.g., under 10 minutes to build all sessions in the Isabelle distribution.