On 28.06.2014 17:24, Makarius wrote: > On Sat, 28 Jun 2014, Makarius wrote: > >> On Sat, 28 Jun 2014, Florian Haftmann wrote: >> >>> suggests that something is bad with $JEDIT_HOME in the mira build >>> environment. >> >> JEDIT_HOME is a normal Isabelle setting, provided by the etc/settings >> of that component within Isabelle. So it should normally be there, >> although I don't understand the mira setup. > > Another guess: Isabelle/jEdit is really missing, because of a lacking > "isabelle jedit -b" that is done in regular makedist (e.g. in isatest). mira just executes "isabelle build -s -v" with job specific options (can be seen in Admin/mira.py). If "isabelle jedit -b" is a necessary step to setup a fresh Isabelle installation, I can add that to the setup script.
BTW: Admin/mira.py is the Isabelle specific part of the mira setup. Unfortunately, the version of the script used is not the one for the version which is tested, but the one which is current on mira startup. -- Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
