[Agda] lhs2TeX for agda

[Ondrej Rypacek]

Hi all,
can anyone please help installing lhs2TeX for MacOS ?

I've installed it using cabal, and macports. The current version is
1.15. But when I try running it on the example Agda.lagda I get

lhs2TeX: user error (File `agda.fmt' not found in search path:
   .
   /Users/oxr/lhs2tex-1.15
   /Users/oxr/lhs2tex
   /Users/oxr/lhs2TeX
   /Users/oxr/.lhs2tex-1.15
   /Users/oxr/.lhs2tex
   /Users/oxr/.lhs2TeX
   /Users/oxr/.cabal/share/lhs2tex-1.15
   /usr/local/share/lhs2tex-1.15
   /usr/local/lib/lhs2tex-1.15
   /usr/share/lhs2tex-1.15
   /usr/lib/lhs2tex-1.15
   /usr/local/share/lhs2tex
   /usr/local/lib/lhs2tex
   /usr/share/lhs2tex
   /usr/lib/lhs2tex
   /usr/local/share/lhs2TeX
   /usr/local/lib/lhs2TeX
   /usr/share/lhs2TeX
   /usr/lib/lhs2TeX
)

 even though it is in
/Users/oxr/.cabal/share/lhs2tex-1.15/agda.fmt

Copying the .fmt to the current directory (where Agda.lagda is)
doesn't help either.


Any suggestions?

Thanks a lot,
Ondrej