Theia-Modula-2/examples/hello/modula2.json

{
  "name": "Hello",
  "compiler": {"type": "gnu-modula-2", "path": "gm2", "options": []},
  "sourceDirectories": ["src"],
  "definitionDirectories": [],
  "main": "src/Main.mod"
}