Re: [isabelle] haskabelle importer



Hi Rick,

> I'm working through my setup. So far so good.
> 
> One question. When I execute bin/buildbin the system returns:
> 
> Importer/Configuration.hs:53:17:
>     Could not find module `Language.Haskell.Exts':
>       Use -v to see a list of the files searched for.
> Cannot build source.
> 
> Do I need to install a package?

Yes, definitely; the list of packages to install etc. you can find in
the Haskabelle manual which can be found in the doc/ directory of the
distribution.

Hope this helps,
	Florian

-- 

Home:
http://www.in.tum.de/~haftmann

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

Attachment: signature.asc
Description: OpenPGP digital signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.