[CakeML-dev] Holmake bug

[Michael.Norrish at data61.csiro.au]

Do others get a lprefix_lub error when attempting to build readerTheory in candle/standard/opentheory?

I think this is a bug in Holmake, but I’m surprised it hasn’t bothered anyone else.

There’s a relatively simple workaround that I can commit, but I also want to figure out why Holmake is not doing the right thing when it does its dependency analysis of holSyntaxLibTheory.sml. 

Michael