[isabelle-dev] GHC version for the regression tests
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.
More information about the isabelle-dev