About Makfile and Makefile.pamphlet (was: Re: [Axiom-developer] First (quick & dirty) port of Axiom to gcl-2.5.2 and powerpc architecture)

[David MENTRE]

Hello tim,

root <address@hidden> writes:

> I'm assuming that you were trying to be extra careful about patching
> all instances and that's a good thing.
> 
> In general it is dangerous to edit the Makefile or the Makefile.linux
> files as, if they have later timestamps than the Makefile.pamphlet file
> (due to the order you make changes), they will NOT get regenerated
> leading to very subtle build errors (or worse, badly built systems).

For this one, I knew about that. However we have a bootstrap issue: how
to make the first Makefile from the corresponding Makefile.pamphlet
while noweb and document are made by this missing Makefile?

I think that in the long term we should have a ./configure shell script
that creates the initial Makefile and creates needed environment
variables.

Using or not GNU Autoconf and related programs (Automake, ...) remains
an open issue.

Best regards,
d.
-- 
 address@hidden