On Thu, Sep 6, 2018 at 8:41 AM Norbert Preining <norb...@preining.info> wrote:
> Reposting to dev-luatex, seems to be the appropriate place. > > On Thu, 06 Sep 2018, Norbert Preining wrote: > > Hi Luigi, hi all, > > > > configuring current TL sources with > > --with-system-gmp > > I get an error: > confirmed , the split between metapost and mplib is not ok --with-system-gmp (pmpost also fails --with-system-gmp=no, so probably I have overlooked something in my local tl tree). -- luigi
_______________________________________________ dev-luatex mailing list dev-luatex@ntg.nl https://mailman.ntg.nl/mailman/listinfo/dev-luatex
