I’d like to add support for the Coq / Rocq programming language for the syntax-highlighting engine reusing an existing xml file and I’m having one issue.
I followed the documentation, and added my input test code file, my .xml definition, and yet when I run make && make test, it’s still the same 121 tests that are run, and nothing is creaded in the “binary directory autotests/folding.out/, autotests/html.output/ and autotests/output/.” More precisely, I do have folders called “folding”, and “html” in syntax-highlighting/autotests/ but no file with the .out extension and no output folder. What am I missing?
Also, the doc reads
- Add an input file into the autotests/input/ folder, lets call it test..
- If the file extension is not sufficient to trigger the right syntax definition, you can add an second file testname..syntax that contains the syntax definition name to enforce the use of the right extension.
but looking at the files in syntax-highlighting/autotests/input/, it looks like the file should be named test.<language-extension>.syntax, and not testname. Is this a bug /improvement worth reporting?
I’m commenting more extensively on what I’m doing at Contributing to syntax definition files of KDE Syntax Highlighting · Issue #4 · matematiflo/PanRocq · GitHub if you feel like visiting ;-), you can also see my edits in this repo: GitHub - aubertc/syntax-highlighting: Syntax highlighting Engine for Structured Text and Code. · GitHub .