Archived
1
0
This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.
linter-mzn/lib/init.coffee

21 lines
478 B
CoffeeScript

module.exports =
config:
compilerPath:
type: 'string'
default: 'mzn2fzn'
description: 'Path to Minizinc\'s compiler `mzn2fzn`'
activate: (state) ->
require('atom-package-deps').install 'linter-mzn'
provideLinter: ->
LinterMZN = require('./linter-mzn')
@provider = new LinterMZN()
return {
name: 'MiniZinc',
grammarScopes: ['source.mzn'],
scope: 'file',
lintsOnChange: false,
lint: @provider.lint
}