Thanks! Looks good.
On Mon, Feb 23, 2015 at 11:35 PM, Michael Norrish <
michael.norr...@nicta.com.au> wrote:
> 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.
>
------------------------------------------------------------------------------
Dive into the World of Parallel Programming The Go Parallel Website, sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for all
things parallel software development, from weekly thought leadership blogs to
news, videos, case studies, tutorials and more. Take a look and join the
conversation now. http://goparallel.sourceforge.net/
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
