Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 31-03-2020 00:17:11

deltaalphauniform
Membre
Distrib. : debian 10.3 buster
Noyau : Linux 4.19.0-6-amd64 #1 SMP
(G)UI : gnome 3
Inscription : 30-03-2020

Comment installer l'utilitaire merlin d'OCAML sous debian 10.3

MERLIN est un package écrit en OCAML qui permet la vérification grammaticale du code OCAML dans gnu emacs.
il vient s'ajouter au vérificateur syntaxique tuareg de gnu emacs

sous debian 9.7 j'utilisais OCAML + OPAM + libs + le mode tuareg de gnu emacs + le paquetage OCAML MERLIN
installé en ligne de commande hors distrib dans un directory projet.

sous debian 10.3, j'ai installé les packets debian OCAML 4.05.0-11 amd-64 et leurs dépendances
mais MERLIN n'est pas inclus dans la distrib sous forme de paquet debian

j'ai essayé de l'installer en ligne de commande à partir des sources dispo sur github sans y parvenir
(il y a de nombreuses dépendances entre versions de paquets OCAML qui ne sont pas résolvables)

Quelqu'un a-t'il réussi à l'installer à partir de OPAM , de DUNE ou de paquets déjà présents dans debian?

PS:je n'ai peut-être pas posté dans le bon forum, je suis nouveau sur debian-facile hmm

Dernière modification par deltaalphauniform (31-03-2020 00:19:09)


may the force awaken.

Hors ligne

#2 31-03-2020 10:08:08

ahote
Membre
Lieu : 42
Distrib. : bullseye
Noyau : Linux 5.8
(G)UI : Cinnamon
Inscription : 09-12-2018
Site Web

Re : Comment installer l'utilitaire merlin d'OCAML sous debian 10.3

Bonjour
Il y a la possibilité d'ajouter les dépôts de debian 9 dans ton source.list
Je l'ai eu fais  pour certains logiciels ca fonctionne
Mais attention au incompatibilité de versions big_smile

Hors ligne

Pied de page des forums