On 05/30/2012 02:44 PM, Makarius wrote:
On Wed, 30 May 2012, Lukas Bulwahn wrote:
On 05/29/2012 02:01 PM, Makarius wrote:
* Admin/contributed_components within the repository documents
semi-formally which components may be included into a certain
version.
The mira experts should be able to say more about the current
used of
that file in the testing framework.
Roaring ahead with the grand unified contrib, I guess someone has
changed the Scala version on lxbroy10, because now the Scala export
with Imperative-HOL fails on lxbroy10.
The interesting bit of information is actually here:
http://isabelle.in.tum.de/reports/Isabelle/report/78fa8d673aac4dcca02465b91815adb9#l260
env:
/tmp/mira/workbench/62527-140537428690688/Isabelle/contrib/scala-2.9.2/bin/scalac:
Permission denied
Which was caused by the lack of group executablity for the scala/bin
files, which I have changed now.
Thank you for digging deeper into this. So the mira testing should be
now back to a working state.
Lukas
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
