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

[Florian Haftmann]

> 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…

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- 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>