mason-org/mason.nvim

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

Aperta

#1328 aperta il 28 mag 2023

Vedi su GitHubGuida contributor
 (1 commento) (0 reazioni) (0 assegnatari)Lua (337 fork)batch import
help wantednew-package-request

Metriche repository

Star
 (10.278 stelle)
Metriche merge PR
 (Merge medio 7g 18h) (4 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Per aggiungere il supporto per Frama C, crea una nuova definizione di pacchetto nella directory lua/mason registry/packages/ seguendo la struttura dei pacchetti esistenti. Fare riferimento a CONTRIBUTING.md per i dettagli. Assicurati che lo script di installazione scarichi e installi Frama C da OPAM o dal sorgente.
Tech stack
lua
Dominio
developer experience
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
GitLuaNeovimMason
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60