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" + } + ] + } + ] +}