mason-org/mason.nvim

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

Ouverte

#1 328 ouverte le 28 mai 2023

Voir sur GitHubGuide contributeur
 (1 commentaire) (0 réaction) (0 personne assignée)Lua (337 forks)batch import
help wantednew-package-request

Métriques du dépôt

Stars
 (10 278 étoiles)
Métriques de merge PR
 (Merge moyen 7j 18h) (4 PRs mergées en 30 j)

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.

Guide contributeur

Direction de recherche
Pour ajouter le support de Frama C, créez une nouvelle définition de paquet dans le répertoire lua/mason registry/packages/ en suivant la structure de paquets existante. Référez vous au fichier CONTRIBUTING.md pour plus de détails. Assurez vous que le script d'installation télécharge et installe Frama C depuis OPAM ou la source.
Stack technique
lua
Domaine
developer experience
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
GitLuaNeovimMason
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60