Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision		Révision précédente
caml_light [Le 20/12/2021, 21:32] – passage de http à https sur les liens externes (détecté et corrigé via le bot wiki-corrector (https://forum.ubuntu-fr.org/viewtopic.php?id=2067892) wiki-corrector-botcaml_light [Le 21/09/2022, 22:24] (Version actuelle) – [Installation] 46.193.6.164
Ligne 1: Ligne 1:
- 
 {{tag>programmation BROUILLON}} {{tag>programmation BROUILLON}}
  
Ligne 23: Ligne 22:
 À partir de la version 0.82-4 (nécessaire pour trusty), le passage à emacs24 a rendu nécessaire le mode tuareg d'ocaml et donc l'installation de ce mode dans une version dédiée fournie par le paquet [[http://boisson.homeip.net/depot/pool/trusty/amd64/camltuareg-mode_2.0.6-3_all.deb|camltuareg-mode]] (pour donc camllight version 0.82-4 et plus) À partir de la version 0.82-4 (nécessaire pour trusty), le passage à emacs24 a rendu nécessaire le mode tuareg d'ocaml et donc l'installation de ce mode dans une version dédiée fournie par le paquet [[http://boisson.homeip.net/depot/pool/trusty/amd64/camltuareg-mode_2.0.6-3_all.deb|camltuareg-mode]] (pour donc camllight version 0.82-4 et plus)
  
-Il peuvent aussi s'installer par apt-get via le dépôt suivant:+Il peuvent aussi s'installer par apt-get via le dépôt suivand:
  
 <file>deb http://boisson.homeip.net/depot/ trusty divers</file> <file>deb http://boisson.homeip.net/depot/ trusty divers</file>
 **NB :** Remplacez "trusty", par la version que vous utilisez. **NB :** Remplacez "trusty", par la version que vous utilisez.
  
-__La signature du dépot s'obtient par__ +__La signature du dépot s'obtient par__
 <code>gpg --keyserver pgpkeys.mit.edu --recv-key D78A5C23CEA8D8FF</code>  <code>gpg --keyserver pgpkeys.mit.edu --recv-key D78A5C23CEA8D8FF</code> 
 qui récupère la clef sur le serveur de clef et : qui récupère la clef sur le serveur de clef et :
Ligne 42: Ligne 41:
 <note>Si vous avez fait des installations foireuses de CaML Light précédemment, il se peut que vous devez soit remplacer camllight par /usr/bin/camllight, soit simplement supprimer /usr/local/bin/camllight.</note> <note>Si vous avez fait des installations foireuses de CaML Light précédemment, il se peut que vous devez soit remplacer camllight par /usr/bin/camllight, soit simplement supprimer /usr/local/bin/camllight.</note>
  
-Une fois lancé, il faut commencer par : +Une fois lancé, il faut commencer par :
 <code>load_object "graphics";;</code> <code>load_object "graphics";;</code>
  
Ligne 48: Ligne 47:
 <code>#open "graphics";;</code> <code>#open "graphics";;</code>
  
-autre particularité pour lancer une fenêtre il faut désormais taper : +autre particularité pour lancer une fenêtre il faut désormais taper :
 <code>open_graph " 800x600";;</code> <code>open_graph " 800x600";;</code>
  
Ligne 121: Ligne 120:
 Pour faire des programmes avec caml light, on peut aussi utiliser [[emacs]]. Le mode tuareg est installé en même temps que le paquet emacs dans une version adaptée à camllight. emacs appelle par défaut «camllight camlgraph» ou «camllight caml_all» lors de l'évaluation de la première phrase caml par Ctrl-c Ctrl-b ou Ctrl-x Ctrl-e. Le premier permet d'avoir la librairie graphique, caml_all permet d'avoir toutes les librairies usuelles accessibles. Pour faire des programmes avec caml light, on peut aussi utiliser [[emacs]]. Le mode tuareg est installé en même temps que le paquet emacs dans une version adaptée à camllight. emacs appelle par défaut «camllight camlgraph» ou «camllight caml_all» lors de l'évaluation de la première phrase caml par Ctrl-c Ctrl-b ou Ctrl-x Ctrl-e. Le premier permet d'avoir la librairie graphique, caml_all permet d'avoir toutes les librairies usuelles accessibles.
  
-Tuareg peut s'installer à part dans sa forme originale mais théoriquement c'est inutile si on utilise les paquets camllight sauf depuis trusty où le paquet camltuareg-mode est indispensable. +Tuareg peut s'installer à part dans sa forme originale mais théoriquement c'est inutile si on utilise les paquets camllight sauf depuis trusty où le paquet camltuareg-mode est indispensable.
  
 Pour installer tuareg, il y a trois méthodes : Pour installer tuareg, il y a trois méthodes :
Ligne 133: Ligne 132:
 Pour l'utiliser il suffit d'éditer un fichier avec l'extension .ml ou bien de faire Alt+x puis Pour l'utiliser il suffit d'éditer un fichier avec l'extension .ml ou bien de faire Alt+x puis
 '' camltuareg-mode '' '' camltuareg-mode ''
-Emacs se mettra en mode caml. Il L'évaluation du buffer se fait par Ctrl-c, Ctrl-b. L'évaluation de la fonction/expression sur laquelle est le curseur se fait par Ctrl-x, Ctrl-e. +Emacs se mettra en mode caml. Il L'évaluation du buffer se fait par Ctrl-c, Ctrl-b. L'évaluation de la fonction/expression sur laquelle est le curseur se fait par Ctrl-x, Ctrl-e.
  
   * Deuxième méthode: utilisation du mode tuareg original.   * Deuxième méthode: utilisation du mode tuareg original.
caml_light.1640032338.txt.gz · Dernière modification : de wiki-corrector-bot
CC Attribution-Noncommercial-Share Alike 4.0 International Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International