[Agda] Re: lhs2TeX for agda

Ondrej Rypacek ondrej.rypacek at gmail.com
Thu Jul 15 16:26:25 CEST 2010


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


More information about the Agda mailing list