[isabelle-dev] JEdit FAILED
florian.haftmann at informatik.tu-muenchen.de
Fri Jul 11 13:27:30 CEST 2014
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
>>> 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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 263 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev