From b4bc25fd2ae3c48d960aa03f00f0e94c167704d3 Mon Sep 17 00:00:00 2001
From: Louis Aslett <louis.aslett@durham.ac.uk>
Date: Tue, 20 Feb 2024 18:47:38 +0000
Subject: [PATCH] Add flint support

---
 rules/flint.json | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 rules/flint.json

diff --git a/rules/flint.json b/rules/flint.json
new file mode 100644
index 0000000..68a3142
--- /dev/null
+++ b/rules/flint.json
@@ -0,0 +1,31 @@
+{
+  "patterns": ["\\bflint\\b"],
+  "dependencies": [
+    {
+      "packages": ["libflint-dev"],
+      "constraints": [
+        {
+          "os": "linux",
+          "distribution": "ubuntu"
+        },
+        {
+          "os": "linux",
+          "distribution": "debian"
+        }
+      ]
+    },
+    {
+      "packages": ["flint-devel"],
+      "constraints": [
+        {
+          "os": "linux",
+          "distribution": "opensuse"
+        },
+        {
+          "os": "linux",
+          "distribution": "fedora"
+        }
+      ]
+    }
+  ]
+}