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 naddy@mips.inka.de
No comments:
Post a Comment