Debian-facile

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

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

---

may the force awaken.

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