Email Gateway (Aug 22 2022 at 10:14): Email Gateway (Aug 22 2022 at 10:14):From: Colin Rowat <c.rowat@espero.org.uk>
I've just downloaded Isabelle2015 for Windows (7, 64-bit), and encounter
the following error when attempting to install it:
Failed to create directory:
"U:\.isabelle\Isabelle2015\heaps\polyml-5.5.2_x86-cygwin\log
At this point, Isabelle system initialization ends.
Thus, the problem is that Isabelle's installer is looking for a network
drive to which I'm not attached.
My Isabelle files are installed at
C:\Program Files\Isabellee2015
Should I be trying to point the installer there, rather than to U:?
If so, how do I do so?
Thank you,
Colin Rowat
Email Gateway (Aug 22 2022 at 10:14):From: Makarius <makarius@sketis.net>
What exactly does it mean to be not attached? Is this a directory that is
sometimes on, and sometimes off? So is it possible to reconnect that?
Did you manage with Isabelle2014? There should be very little difference
to Isabelle2015.
Anyway, what the Isabelle system environment tries here is to refer to the
canonical user home directory as determined by HOMEDRIVE and HOMEPATH (see
also https://en.wikipedia.org/wiki/Environment_variable#Windows). The
result is stored in the USER_HOME environment variable in Cygwin notation,
e.g. /cygdrive/u/.isabelle/Isabelle2015 for the above.
You can change that globally for all applications of your user account in
the Windows Control Panel for "Environment Variables". Just create a new
entry like this:
USER_HOME
/cygdrive/c/Users/Colin
Assuming that this is your local machine home directory. You can use any
other directory that you see fit, but note that it will be the location
for "~" in Isabelle path specifications.
Makarius
Email Gateway (Aug 22 2022 at 10:15):From: Colin Rowat <c.rowat@espero.org.uk>
Thus, the problem is that Isabelle's installer is looking for a
network drive to which I'm not attached.What exactly does it mean to be not attached? Is this a directory that is
sometimes on, and sometimes off? So is it possible to reconnect that?
Thank you Makarius. I'm trying to install Isabelle on my laptop. Thus, at
times, it's not connected to the campus network, which hosts the drive.
Did you manage with Isabelle2014? There should be very little difference
to
Isabelle2015.
I had the same problem with Isabelle2014.
Anyway, what the Isabelle system environment tries here is to refer to the
canonical user home directory ...You can change that globally for all applications of your user account in
the Windows Control Panel for "Environment Variables". Just create a new
entry like this:USER_HOME
/cygdrive/c/Users/Colin
Perfect - that's fixed it, so I'm again a member of the Isabelle community.
Thank you again Makarius.
Best,
Colin
Last updated: Apr 25 2024 at 16:19 UTC