Compilation issues with Coq master
I have two issues compiling Gappa and coq-gappa master with Coq master:
- parts of the coq module have been put into coq-core. E.Gallego has a patch for this in his fork bu apparently there is no PR. I attached the patch as patch file. It likely is not backwards compatible and needs to be adjusted for that.
0001-coq-Overlay-for-coq-coq-13617.patch
- on some platforms one needs to explicitly request C++ 11 to compile gappa. I added a standard autoconf file to do this in the below patch. This is reasonably well tested and should be compatible with common platforms.