Volker Schlecht: > Update math/coq to 8.15.2 (latest version compatible with lang/compcert) > > * Switch build system to dune, which is enabled with the recent update > to devel/dune
That would obviate the need to fix the build error the in-tree version suffers from since the update to gmake 4.4... I got as far as figuring out that it is another case of gmake removing an intermediate file as in lablgtk2, but haven't progressed any further yet. -- Christian "naddy" Weisgerber [email protected]
