[isabelle-dev] [isabelle] new quick check expriment

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Sun Jun 17 18:36:30 CEST 2012

> Thanks. It asks me to set  'Environment variable ISABELLE_GHC '. So I uncomment the line 'ISABELLE_GHC="/usr/local/ghc/$ISABELLE_PLATFORM/ghc'
> Now it gives me another error message "Compilation with GHC failed". Any suggestion ?
> PS, I work in a mac version of Isabelle 2012

Maybe we have to find a way to provide ghc as a component also…



PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120617/54fe33a6/attachment.asc>

More information about the isabelle-dev mailing list