[CakeML-dev] Holmake bug

Michael.Norrish at data61.csiro.au Michael.Norrish at data61.csiro.au
Wed Dec 7 05:52:40 UTC 2016

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. 


More information about the Developers mailing list