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> 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>
> 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> 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
> > 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.
>
------------------------------------------------------------------------------
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
