[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