run-immt fails to build smlglom/smglom
After following the steps described in the tutorial until "lmh gen", I get an error when running run-immt.sh in the directory MathHub/smglom/smglom. The error can be found here http://pastebin.com/hdFxGczC . The output of lmh omdoc (and lmh gen --omdoc) is: generating in repository '/home/alex/projects/localmh/MathHub/smglom/smglom' ---------------------- LMH Summary --------------------- Errors = 0
Can anybody help?