CompCert icon indicating copy to clipboard operation
CompCert copied to clipboard
verified publisher icon AbsInt

Build `.glob` files at the default place and install them

Open xavierleroy opened this issue 1 year ago • 0 comments

See #526 for motivations.

  • Build .glob files in the same directory as the source .v file (Coq default)
  • Install .glob files along with .vo and .v files

Fixes: #526

xavierleroy avatar Oct 21 '24 08:10 xavierleroy