Thanks for the test-case. This test-case and all the rest of the standard HOL build (this includes most of the examples) now build again. This is as of commit 227f470.
Best, Michael On 19/02/15 17:46, Ramana Kumar wrote: > Here is how to create a small test case that breaks: > > dir: > my1Script.sml > > dir/bar > Holmakefile - INCLUDES = foo > my3Script.sml depends on my2Theory > > dir/bar/foo: > Holmakefile - INCLUDES = ../.. > my2Script.sml depends on my1Theory > > Holmake in dir/bar > > N.B. if you manually call Holmake in dir, then dir/bar/foo, then dir/bar, it > works. But Holmake is supposed to do this recursive calling itself in > dependencies correctly from a single call at the tip. > > On Thu, Feb 19, 2015 at 3:48 AM, Michael Norrish <michael.norr...@nicta.com.au > <mailto:michael.norr...@nicta.com.au>> wrote: > > I’d be keen to see (preferably relatively small) test-cases for breakages > along these lines. Holmake has changed fairly dramatically in its > dependency analysis over the last few commits to the repository version, > and > as per the hol-builds mailing list (to which you should subscribe if you > are > working with the repository version), it is clearly broken in some cases. > > Michael > > > > On 19 Feb 2015, at 4:03 am, Ramana Kumar <ramana.ku...@cl.cam.ac.uk > <mailto:ramana.ku...@cl.cam.ac.uk>> wrote: > > > > Related to this: are relative paths allowed in the INCLUDES? and in that > case, shouldn't they be relative to the directory containing the > Holmakefile? > > > > On Wed, Feb 18, 2015 at 11:21 AM, Ramana Kumar > <ramana.ku...@cl.cam.ac.uk > <mailto:ramana.ku...@cl.cam.ac.uk>> wrote: > > I'm having a lot of trouble getting Holmake to work when I have > dependencies included (via INCLUDES in my Holmakefile). Has something > substantial changed in how I'm supposed to write a Holmakefile? It seems > like Holmake is using the INCLUDES from my current directory even when it > makes recursive calls, which leads to bogus paths. > > > > > ------------------------------------------------------------------------------ > > Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server > > from Actuate! Instantly Supercharge Your Business Reports and Dashboards > > with Interactivity, Sharing, Native Excel Exports, App Integration & > more > > Get technology previously reserved for billion-dollar corporations, FREE > > > > http://pubads.g.doubleclick.net/gampad/clk?id=190641631&iu=/4140/ostg.clktrk_______________________________________________ > > hol-info mailing list > > hol-info@lists.sourceforge.net <mailto:hol-info@lists.sourceforge.net> > > https://lists.sourceforge.net/lists/listinfo/hol-info > > > ________________________________ > > The information in this e-mail may be confidential and subject to legal > professional privilege and/or copyright. National ICT Australia Limited > accepts no liability for any damage caused by this email or its > attachments. > > ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. ------------------------------------------------------------------------------ Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE http://pubads.g.doubleclick.net/gampad/clk?id=190641631&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
