On Fri, 28 Sep 2012, Christian Sternagel wrote:
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).
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.)
Makarius_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
