CVSROOT: /cvs Module name: ports Changes by: [email protected] 2023/04/07 08:52:36
Added files:
math/coq/patches: patch-Makefile_make
Log message:
math/coq: fix build with gmake 4.4
gmake 4.4 now recognizes the generated coqpp_parse.mli file as an
intermediate file and removes it after use. Add yacc-produced
files to the explicit list of generated .mli files.
