[Hugs-users] library directory

Ross Paterson ross at soi.city.ac.uk
Fri Jun 8 17:23:47 EDT 2007


On Fri, Jun 08, 2007 at 09:35:58AM -0400, Ian Zimmerman wrote:
> Is it possible to somehow determine mechanically what the standard
> library directory of a running Hugs interpreter is?

hugs -q </dev/null | sed -n '11s at .*"\(.*\)/packages/base/Prelude.hs":@\1 at p'


More information about the Hugs-Users mailing list