[isabelle-dev] building of Isabelle/jEdit dependencies
makarius at sketis.net
Fri Sep 28 12:07:55 CEST 2012
On Fri, 28 Sep 2012, Christian Sternagel wrote:
> On 09/27/2012 07:26 PM, Ondřej Kunčar wrote:
>> 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).
My impression is that scalac does not like to be run in background (&), so
I usually don't do it then. The scala shell script wrappers used to have
more small issues like this in the past, and are gradually getting better
over time. (Such as odd effects with spaces in directory names that we
all know only too well.)
More information about the isabelle-dev