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

• Fonctions du toplevel, erreurs
• Traces d'exécution
• Chargement de fichiers et de modules

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.