Hi Lars, On 29.06.2014 21:35, Lars Noschinski wrote: > 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.
I would like to say: go ahead with that. Red signs are supposed to disappear while approaching an release. Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev