Prima Homepage
Ravi Homepage
Le langage scml et la doc Ravi
Le module modxdraw
Installation Ravi sur Ensibull - PIA99
ImaLab

[PREV][SUIV]

Installation Ravi sur Ensibull - PIA99

Pour le projet PIA99, une version spécifique de Ravi est installé sur Ensibull. Cette version contient plusieurs modules non-standards nécessaires au projet. (voir specificites RaviEnsibull

Quelques trucs à savoir

  • les curseurs, plus généralement les commandes d'édition de ligne de style emacs/csh sont activés.

  • appel avec le paramètre --verbose, ou -v : le système est plus verbeux, il donne notamment un message pour chaque chargement de fichier

Quelques fonctions utiles

  • (quit) pour quitter
  • (require 'nom-module) chargement d'un module Certains modules - notamment help et trace - sont chargés au 1ier appel
  • (load "nom fichier") chargement d'un fichier. Cas de base: un fichier .scm avec du Scheme
  • (a-propos truc) imprime tous les symboles actuellement définis dont le nom contient la sous-chaine truc
  • (help nom/num) faire ? pour info
  • (trace fonction) trace les appels d'une fonction

Cliquer les titres à gauche pour plus de détails, notamment

===============================================

Exemple d'une brève session


ensibull{51} ravi -v
Ravi....
Fichier Charge : /home/perms/lux/Ravi/Ravi2/Runtime/newravi.mobj
......MV ready.......... GO !!!!
Chargement de  /home/perms/lux/Ravi/Ravi2/Runtime/Init.scm 
Chargement de  /home/perms/lux/.RaviInit.scm 

:>(require 'symbol-table) = Chargement de /home/perms/lux/Ravi/Ravi2/Module/symbol-tab.mobj ; ** Time : 0.10 sec #t :>(load "r-np") = Chargement de ./r-np.scm Chargement de ./prolog-lex.mobj Chargement de ./prolog-syntax.scm Chargement de ./new-prol.scm Chargement de /home/perms/lux/Ravi/Ravi2/Module/pretty-print.mobj Chargement de ./unif-comp.mobj Chargement de ./term-print.scm cp-Prol charge ; ** Time : 0.54 sec "" :>(a-propos table) = Chargement de /home/perms/lux/Ravi/Ravi2/Module/help.mobj Chargement de /home/perms/lux/Ravi/Ravi2/Module/pretty-print.mobj 1 h symbol-table 2 make-symbol-table 3 .add-class-table ; ** Time : 0.83 sec #t :>(eq? 'a 'A) = #f :>(help 2) = currently defined as function of 2 arguments " " :>(quit) = ; "Moriturus te Saluto" #t ensibull{52}

Spécificités de la version de Ravi sur Ensibull

  • Les modules modsystem, readline sont intégrés d'office
  • Tant que nous n'arrivons pas à faire marcher correctement le chargement dynamique, les modules C++ doivent être générés en statique. Cela change quelques détails dans la génération des modules (on consomme surtout plus de ressources machine), sans mettre en cause le projet.