Merge pull request rstudio#157 from louisaslett/main

Add flint support
r-hub · Feb 20, 2024 · 7cfee24 · 7cfee24
2 parents 2f7b5af + b4bc25f
commit 7cfee24
Showing 1 changed file with 31 additions and 0 deletions.
diff --git a/rules/flint.json 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"
+        }
+      ]
+    }
+  ]
+}