[CakeML-dev] [ExternalEmail] Re: Holmake bug
Michael.Norrish at data61.csiro.au
Michael.Norrish at data61.csiro.au
Wed Dec 7 23:07:55 UTC 2016
For the sake of completeness, I didn’t have a perfectly clean set of dependency files. If I’d rebuilt with
Holmake --rebuild_deps
Or just done a
Holmake -r cleanAll
I would have avoided the “bug” I was seeing.
Michael
On 7/12/16, 21:45, "Michael.Norrish at data61.csiro.au" <Michael.Norrish at data61.csiro.au> wrote:
I saw your fixes thanks.
Nonetheless, I am still getting an error caused by the fact that holSyntaxLibTheory doesn’t spot that it depends on lprefix_lub.
Michael
On 7/12/16, 17:03, "Ramana Kumar" <Ramana.Kumar at cl.cam.ac.uk> wrote:
I have often got lprefix_lub errors in various places, but I think
they all went away when following the policy of listing all INCLUDEs
explicitly (i.e., not relying on ones built into the heap).
(By the way, fixes to readerTheory are merged into master already (in
case you were trying to fix it..))
On 7 December 2016 at 16:52, <Michael.Norrish at data61.csiro.au> wrote:
> 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
>
>
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers
_______________________________________________
Developers mailing list
Developers at cakeml.org
https://lists.cakeml.org/listinfo/developers
More information about the Developers
mailing list