[isabelle-dev] GHC version for the regression tests

Lars Noschinski noschinl at in.tum.de
Thu Jun 16 14:17:04 CEST 2011


due to an OS update of macbroy machines, the currently installed version 
of GHC does not work anymore (linked against old libraries), which 
prevents Haskabelle and (since a few days) Isabelle test runs.

Instead of recompiling GHC, I thought about installing a current GHC 
(7.0.3 or .4). Is anyone opposed to doing that? As far as I understood 
Lukas, his code should not care and Haskabelle also seems to work fine 
with a current GHC.

   -- Lars

More information about the isabelle-dev mailing list