Re: Compile mp.w

Hi Luigi,

> Historically, we have not applied the ch files technique to the cweb 
> version of MetaPost, relying on the version control system (svn
> first and git later).
I ain't got no time for that.

Today I tried to commit the history of a private branch (created in 
February of this year), where I merged several MetaPost modules with my 
changefiles with the TIE processor. While this code compiles fine 
locally, CI on Github fails for all targets, because I changed module 
TFMIN to actually produce an interface file 'tfmin.h' and '#include' 
this in module MP. This new header file has to be listed in 
'am/libmplib.am' (included in 'texk/web2c/Makefile.am') and 
'texk/web2c/Makefile.in'. (PMP complicates things on top.)

I reverted all my commits of today and the seven targets on Github 
compile again.

Best,
Andreas