[isabelle-dev] building of Isabelle/jEdit dependencies

[Christian Sternagel]

On 09/27/2012 07:26 PM, Ondřej Kunčar wrote:
> Hi,
>
> It has happened to me only once.
>
> But I experience different behavior/problem when some dependencies need
> to be rebuild.
> I usually execute Isabelle by this command "isabelle jedit &" and
> Isabelle correctly tries to build dependencies; it takes a while but
> then the process ends and the editor doesn't start. If you try to run
> the same command again, it does exactly the same - it tries to rebuild
> dependencies and so on with the same result. The workaround is to run
> "isabelle jedit".
Thanks Ondrej,

on closer inspection the same is happening in my case (i.e., there was 
no longer any process running, but jedit didn't start).

cheers

chris

>
> Ondrej
>
> On 09/27/2012 05:26 AM, Christian Sternagel wrote:
>> Dear all,
>>
>> I noticed that when some dependencies of Isabelle/jEdit are updated
>> (i.e., Isabelle/Scala, Isabelle/Graphview, Isabelle/jEdit) they are
>> built on startup of 'isabelle jedit Some_Theory_File.thy' ...
>>
>> However, for me (development repo changeset 289de72578bb with
>> jedit_build-20120903 on Linux 64bit; but as far as I remember I
>> experienced the same behavior with earlier changesets and jedit_build
>> components) this never finishes (at least not within the time I was
>> patient enough to wait). Thus I have to kill the process and manually
>> run 'isabelle jedit -bf' (which runs through rather quickly).
>>
>> Mostly I'm curious whether this is also happening to others?
>>
>> cheers
>>
>> chris
>> _______________________________________________
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev