> 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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
