From 1b8d20938f18dedd35b3b0a5465776bd4c8237d0 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 26 Apr 2020 18:00:45 +0200
Subject: [PATCH] feat: Add coq.json

href: https://github.com/coq-community/docker-coq/issues/4#issuecomment-618079588
href: https://github.com/mit-plv/fiat-crypto/blob/99c27f45e5b9375214504548f6d4ea5b86ca94ee/.github/coq.json
---
 coq.json | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 coq.json

diff --git a/coq.json b/coq.json
new file mode 100644
index 0000000..4a8720e
--- /dev/null
+++ b/coq.json
@@ -0,0 +1,21 @@
+{
+    "problemMatcher": [
+        {
+            "owner": "coq-problem-matcher",
+            "pattern": [
+                {
+                    "regexp": "^File \"([^ \"]+)\", line (\\d+), characters (\\d+-\\d+):",
+                    "file": 1,
+                    "line": 2,
+                    "column": 3
+                },
+                {
+                    "regexp": "^(Warning|Error):\\s*(.*?)(?:\\s*\\[(.*)\\])?$",
+                    "severity": 1,
+                    "message": 2,
+                    "code": 3
+                }
+            ]
+        }
+    ]
+}