coq fails to build with Python 3.9.0a4.

In file included from coq_interp.c:22:
coq_interp.c: In function 'coq_interprete':
coq_gc.h:49:3: error: 'caml_young_ptr' undeclared (first use in this function); did you mean 'young_ptr'?
   49 |   caml_young_ptr -= Bhsize_wosize (wosize);                             \
      |   ^~~~~~~~~~~~~~
coq_interp.c:559:11: note: in expansion of macro 'Alloc_small'
  559 |           Alloc_small(accu, num_args + 2, Closure_tag);
      |           ^~~~~~~~~~~
coq_gc.h:49:3: note: each undeclared identifier is reported only once for each function it appears in
   49 |   caml_young_ptr -= Bhsize_wosize (wosize);                             \
      |   ^~~~~~~~~~~~~~
coq_interp.c:559:11: note: in expansion of macro 'Alloc_small'
  559 |           Alloc_small(accu, num_args + 2, Closure_tag);
      |           ^~~~~~~~~~~
coq_gc.h:50:24: error: 'caml_young_limit' undeclared (first use in this function); did you mean 'young_limit'?
   50 |   if (caml_young_ptr < caml_young_limit){                               \
      |                        ^~~~~~~~~~~~~~~~
coq_interp.c:559:11: note: in expansion of macro 'Alloc_small'
  559 |           Alloc_small(accu, num_args + 2, Closure_tag);
      |           ^~~~~~~~~~~
make[1]: *** [Makefile.build:334: kernel/byterun/coq_interp.o] Error 2


This doesn't seem Python related :/


For the build logs, see:
https://copr-be.cloud.fedoraproject.org/results/@python/python3.9/fedora-rawhide-x86_64/01255011-coq/

For all our attempts to build coq with Python 3.9, see:
https://copr.fedorainfracloud.org/coprs/g/python/python3.9/package/coq/

Testing and mass rebuild of packages is happening in copr. You can follow these instructions to test locally in mock if your package builds with Python 3.9:
https://copr.fedorainfracloud.org/coprs/g/python/python3.9/

Let us know here if you have any questions.

Python 3.9 will be included in Fedora 33. To make that update smoother, we're building Fedora packages with early pre-releases of Python 3.9.
A build failure prevents us from testing all dependent packages (transitive [Build]Requires), so if this package is required a lot, it's important for us to get it fixed soon.
We'd appreciate help from the people who know this package best, but if you don't want to work on this now, let us know so we can try to work around it on our side.