I often run into this kind of error:
Holmake: Analysing fooTheory.sml
Warning - Unable to increase stack - interrupting thread
Fail exception: Got an Interrupt exception, with message <Interrupt> in
make_up_to_date
especially when fooTheory.sml is large (10s of MBs).
As I understand it, Holmake is merely trying to collect paths to files on
which fooTheory.sml depends. It doesn't seem to me that this should require
lots of memory, even if fooTheory.sml is large. Is there something I can do
to improve the situation?
------------------------------------------------------------------------------
Dive into the World of Parallel Programming. The Go Parallel Website,
sponsored by Intel and developed in partnership with Slashdot Media, is your
hub for all things parallel software development, from weekly thought
leadership blogs to news, videos, case studies, tutorials and more. Take a
look and join the conversation now. http://goparallel.sourceforge.net/
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
