Re: [isabelle-dev] Isabelle build only works in certain directories

On 28/06/18 16:07, Lawrence Paulson wrote: > My last email was premature, because the exact same thing happened again: it > hung at 2:15 minutes of CPU time. Fortunately I was able to kill it and > retry, and thanks to multithreading, you don't have to wait anything like two > minutes before

Re: [isabelle-dev] Isabelle build only works in certain directories

On 02/07/18 15:20, Max W. Haslbeck wrote: > Another option would be to set the HGPLAIN environment variable. > > >> Am 02.07.2018 um 15:12 schrieb Max W. Haslbeck > >: >> >> I found the culprit. >> >> In my

Re: [isabelle-dev] Isabelle build only works in certain directories

Another option would be to set the HGPLAIN environment variable. > > Am 02.07.2018 um 15:12 schrieb Max W. Haslbeck : > > I found the culprit. > > In my ~/.hgrc I activated the

Re: [isabelle-dev] Isabelle build only works in certain directories

I found the culprit. In my ~/.hgrc I activated the option: [ui] ... tweakdefaults = True "tweakdefaults" changes the behaviour of mercurial to output paths relative to the current working directory instead of printing paths relative to the repository root [1]. I can get the same behaviour in

Re: [isabelle-dev] Isabelle build only works in certain directories

On 02/07/18 14:50, Makarius wrote: > > So there must be something else in your setup. Do you maybe have a non-standard Python installation on macOS? Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de

Re: [isabelle-dev] Isabelle build only works in certain directories

On 02/07/18 12:59, Max Haslbeck wrote: > > When I’m in one of the "wrong" directories the build process spend most > of its time in the function Mercurial.check_files [1]. The problem seems > to be that the paths in hg.known_files() are relative to the current > working directory. So "hg.root +

Re: [isabelle-dev] Isabelle build only works in certain directories

So I did some further digging with good ol println in Scala :) When I’m in one of the "wrong" directories the build process spend most of its time in the function Mercurial.check_files [1]. The problem seems to be that the paths in hg.known_files() are relative to the current working directory.

Re: [isabelle-dev] Isabelle build only works in certain directories

My last email was premature, because the exact same thing happened again: it hung at 2:15 minutes of CPU time. Fortunately I was able to kill it and retry, and thanks to multithreading, you don't have to wait anything like two minutes before reaching the two minute mark. Larry > On 28 Jun

Re: [isabelle-dev] Isabelle build only works in certain directories

I wonder whether this relates to the problem I have seen from time to time, where the build process "goes to sleep" around two minutes into building HOL. It's reproducible enough that I can feel confident that HOL will build only when the activity monitor shows that the process has consumed at

Re: [isabelle-dev] Isabelle build only works in certain directories

On 28/06/18 13:25, Max Haslbeck wrote: > > I have the following curious problem: isabelle build only seems to work when > I’m in certain directories. > 4. run 'cd /' > 5. run '/Users/mhaslbeck/Projects/isabelle/bin/isabelle build -v Pure' > Output: > 6. The build process now freezes and

[isabelle-dev] Isabelle build only works in certain directories

Hi, I have the following curious problem: isabelle build only seems to work when I’m in certain directories. Steps to reproduce: 1. Start out with clean mercurial repository of isabelle in '/Users/mhaslbeck/Projects/isabelle' 2. run '/Users/mhaslbeck/Projects/isabelle/bin/isabelle components