Re: tools/isl won't build (GCC 12??)

On Sun, 2024-06-16 at 01:12 -0400, Mouse wrote:
> > The two source trees do seem to have different dates on the freshly
> > checked-out files and the dates are not "now", so maybe (g)make is
> > trying to rebuild things it doesn't need to rebuild?
> 
> That strikes me as at least moderately plausible. 

I think that was it. 

I ran 

	└─$ ls -l Makefile.*
	-rw-r--r--  1 lloyd  wheel   18418 Apr 16 11:35 Makefile.am
	-rw-r--r--  1 lloyd  wheel  130570 Apr 16 11:35 Makefile.in
	┌──(lloyd@ceph4)-[/vol/…/external/mit/isl/dist]
	└─$ touch Makefile.in 

and the build seems to be proceeding now.

I'm having a poke at the build rules in Makefile.in to see if I can
make this more robust.

Ngā mihi,
Lloyd