On Mon, 25 Jun 2012, Michael Norrish wrote:
> On 25/06/12 05:49, Makarius wrote:
>
>> The bare-bones Cygwin with perl
>> and python weights merely 100 MB, the JRE/JDK 200 MB, and avarage Isabelle
>> logic
>> image 150 MB.
> Disk space is cheap of course, so being too worried about space is
> perhaps not such a big deal. More worrying perhaps is the thought that
> users may not appreciate having new systems thrown onto their computers
> if doing so affects things other than their theorem-proving. My limited
> experience with Cygwin (independent of any theorem-proving, and a while
> ago now) is that it could make its presence felt, even in areas where it
> was not wanted.
Past versions of Cygwin had this principle that there can be only one
cygwin.dll installed on the system. So putting one version of it here
would prevent to install another version there. Moreover, the installer
would change various registry entries globally that then affect other
Cygwins.
With more recent Cygwin 1.7.x is has become possible to make a
"pre-canned" Cygwin installation that does not affect anything else. In
Isabelle2012 I have packaged it like that for the first time, hopefully
with some success. I have also changed some defaults to make HOME the
actual Windows home, not the one of that particular copy of Cygwin.
This is becoming more and more alien to the Unix guy, but Windows users
feel more at home with it.
Makarius
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
