mason-org/mason.nvim

[New package]: Requesting support for the Frama-C static analysis tool

Aberta

#1.328 aberto em 28 de mai. de 2023

Ver no GitHubGuia do colaborador
 (1 comentário) (0 reação) (0 responsável)Lua (337 forks)batch import
help wantednew-package-request

Métricas do repositório

Stars
 (10.278 estrelas)
Métricas de merge de PR
 (Mesclagem média 7d 18h) (4 fundiu PRs em 30d)

Description

I've searched open & closed issues for similar requests

  • Yes

Package name

frama-c

Package homepage

https://frama-c.com/

Languages

C

How is this package distributed?

Through OPAM.

Guia do colaborador

Direção de pesquisa
Para adicionar suporte ao Frama C, crie uma nova definição de pacote no diretório lua/mason registry/packages/ seguindo a estrutura de pacotes existente. Consulte o CONTRIBUTING.md para obter detalhes. Certifique se de que o script de instalação baixe e instale o Frama C do OPAM ou da fonte.
Pilha de tecnologia
lua
Domain
developer experience
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
GitLuaNeovimMason
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
60