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
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
The problem here is the missing unzip executable on the test machine.
After a second look at the return code 9, I end up with the unzip man
page (on lxbroy10):
9 the specified zipfiles were not found.
Having a look at the code
val jedit_actions =
Lazy.lazy (fn () =
(case
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
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
