[Hat] set Prelude modules as untrusted
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Wed Jul 13 04:56:02 EDT 2005
Kate Krastev <kate at ics.mq.edu.au> writes:
> Is it possible to set all/some Prelude modules to untrusted in Hat?
> (So I can see exactly what calls what)
In src/hatlib/Makefile, search for occurrences of the flag '-trusted'
and delete them. Then you need to recompile the Hat prelude and
libraries from scratch (make clean; make hat-lib) and re-install.
Regards,
Malcolm
More information about the Hat
mailing list