
13 Jul
2005
13 Jul
'05
4:56 a.m.
Kate Krastev
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