Skip to content

WIP: project dunification

Julien requested to merge julien@dunify into master

In the impression that it would help for preprocessing I started to test the usage of dune to compile the coq files as well as the extracted files and the menhir parser.

It seems, however, that preprocessing rules are not available for coq specific stanzas. I'll continue to dig on this.in the mean time, it seems that compilation with dune works fine.

Merge request reports