[isabelle-dev] JEdit FAILED

[Florian Haftmann]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 263 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140711/6098eee7/attachment.asc>