Email Gateway (Aug 19 2022 at 10:06): Email Gateway (Aug 19 2022 at 10:06):From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
Hi,
Firstly, does Isabelle have a bug tracker? If so, please direct me to it
and I'll post this there.
When cloning the Isabelle bitbucket repo and attempting to use it as per
README_REPOSITORY, it doesn't work if your working directory is in an
encrypted mount. I get the attached results. Somewhere in the mess of
error output is "File name too long." I've seen this issue before with
another tool that was generating temporary files in my (encrypted) home
directory. The standard Ubuntu home encryption setup stores per-file
metadata in your home directory in a path derived by extending the name
of the original file. If the original filename is quite long, extending
it will exceed the limits of the underlying file system. I believe
that's what is happening here.
Is it possible to resolve this issue in the repository?
OS: Ubuntu 12.04
uname -r: 3.2.0-35-generic
hg id: c633700b2d9f
Thanks,
Matt
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
isabelle.txt
Email Gateway (Aug 19 2022 at 10:06):From: "Yannick Duchêne (Hibou57 )" <yannick_duchene@yahoo.fr>
May be this: https://bitbucket.org/isabelle_project/isabelle-release/issues
Email Gateway (Aug 19 2022 at 10:06):From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
Is that bug tracker only for issues related to the release? This problem
doesn't affect the release tarball because the jEdit/Scala components
are pre-built. Please correct me if I am wrong on this.
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Email Gateway (Aug 19 2022 at 10:07):From: Makarius <makarius@sketis.net>
This is a general issue tracker, and indeed only for the Isabelle2013
final release stage, starting with Isabelle2013-RC1 where this became
public in the sense of isabelle-users. This is why we've had all this
traffic here in the past few weeks.
Anything about the inter-release Isabelle repository is off-topic on
isabelle-users. You have to go to isabelle-dev for that, which is also
the tracker for all issues in the development process.
Makarius
Last updated: Apr 30 2024 at 04:19 UTC