[isabelle-dev] distributed installation + sledgehammer file write permissions

Leo Freitas leo.freitas at newcastle.ac.uk
Wed Sep 24 18:06:15 CEST 2014


I use Isabelle for teaching and it was installed by an adjustment to the web-distribution for our Linux machines. 
Now, I will need to use a lab running on Window, s and that created a few issues I couldn’t help our support team much.

1) distributed config setup:
Is there any suggested / configuration-setup for distributed installations of Isabelle (Linux or Windows)? The support
guy said, for example, the the Window installation asking for a directory would be a problem for an administered install.

In the end, I extracted the .exe and built HOL heaps and use that as a starting point to be shared (i.e. in the way Windows 
lab is setup, that means running a shared copy of Isabelle remotely as local installations aren’t viable).

2) sledgehammer file write access:

This worked to a degree, but say, sledgehammer fails saying SysErr because of a file-write problem. Where is it SH is trying to write to?
Or in general, what would you suggest to make a distributed Windows installation viable for a teaching lab?

This is for Isabelle2014 on Windows 8.1

Many thanks.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140924/46ea5a3b/attachment.asc>

More information about the isabelle-dev mailing list