[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS

Makarius makarius at sketis.net
Wed May 30 14:44:33 CEST 2012


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.


 	Makarius



More information about the isabelle-dev mailing list