Hi,
I want to install a library (FMP, Functional Metapost, IIRC), for
hugs. The hugs README.Debian mentions
+ Haskell source files for locally installed public extension modules
should be installed in /usr/local/share/hugs98/extensions .
Binary shared objects included in extension modules should be
installed in /usr/local/lib/hugs98/extensions and symlinked from
there to /usr/local/share/hugs98/extensions .
However, I don't quite see that what I have is an extension module.
It's just a library that I want the user to be able to import by
doing, for instance, import FMP.
So where should I put it so that it's visible to local users without
having to play games with HUGSFLAGS and -P ?
Any suggestions?
cheers,
Simon