Issues with compiling with Coq master
I have two issues with compiling coq-interval master with coq master (this is something I test in the Coq Platform CI to be aware of upcoming issues).
One is a renaming of the module coq to coq-core, for which I adjusted a patch by E.Gallego for gappa for the same issue. The patch adjusted to coq-interval is attached. I guess this patch is not backward compatible and needs adjustments for that.
After this I get the below error:
Building src/Plot/interval_plot.cmxs
File "src/Plot/plot.c", line 16, characters 65-96:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref
File "src/Plot/plot.c", line 177, characters 10-59:
Error: This expression has type Vernacextend.typed_vernac
but an expression was expected of type
unit -> Vernacextend.typed_vernac
Hint: Did you forget to wrap the expression using `fun () ->'?
Failed to build src/Plot/interval_plot.cmxs
patch file: 0001-PATCH-coq-Overlay-for-coq-coq-13617.patch