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/b
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 w
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
wrote:
> I'm having a lot of trouble getting Holmake to work when I have
> dependencies included (
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 ca
