Problemes avec la V 1.2 de Centaur

[Alain.Kerihuel@irisa.fr (Alain Kerihuel)]

-----
Bonjour,

Etant un nouvel utilisateur de Centaur, j'ai pris contact ainsi que d'autres
menbres de l'equipe avec la derniere version de Centaur, la version V 1.2. Comme
elle vient d'etre installee, c'est la premiere fois que nous l'utilisons. En
voulant refaire l'exemple presente dans le tutorial, nous nous sommes tous
retrouves bloque au meme endroit lors de la creation du decompilateur. Le
probleme se pose lorsque nous voulons creer la version compilee du pretty-printer.
Tous nos fichiers et repertoires sont crees comme indique dans le tutorial.
Lorsque je tappe la commande ctmake allppml voici ce qui se passe.

glaoued[57] % ctmake allppml
{ echo "(setq #:system:user-path ())";\
  echo "(initializemodule 'tools/lelisp/rm/kernel)";\
  echo "(initializemodule 'tools/lelisp/rmo/core)";\
  echo '(put-resource "Centaur.PPML.Env" "none")';\
  echo "(#:centaur:user-language 'PPML)";\
  echo "(unless (module-loaded-p 'centaur/sources/comp_ppml)";\
  echo "        (loadmodule 'centaur/sources/comp_ppml))";\
  echo '(setq #:system:user-path "/home/illico/d01/api/kerihuel")';\
  echo '(put-resource (catenate "Centaur." "TESTV12" ".Env")';\
  echo '              "none")';\
  echo "(#:centaur:user-language 'TESTV12 \"../../syntax/metal/\")";\
  echo "(let ((tree (#:inter:get-tree";\
  echo "                 (#:inter:load-or-parse-file";\
  echo "                     \"TESTV12-std.ppml\" 'PPML))))";\
  echo "     (#:ppml:compile tree '( ";\
  echo "         (name . centaur/tables/TESTV12/pprinters/std)";\
  echo "         (import  )";\
  echo "         (export  )";\
  echo "         (files ";\
  echo '           "centaur/tables/TESTV12/pprinters/std/TESTV12-std.ll"';\
  echo '           "centaur/tables/TESTV12/pprinters/std/TESTV12-std.at"';\
  echo "           ";\
  echo "           ))";\
  echo "                     'module)";\
  echo "     ())";\
  echo "(end)";\
} | /soft/hd_centaur/v1.2/centaur/tables/ppml/../../sources/ppml -top

; Le-Lisp (by INRIA) version 15.24 ( 2/Janv/91)   [sun4OS4]
Centaur v.1.2 (2.51.41.63) ctk - Mon Apr   6 92 08:34:29 
= ()
? (setq #:system:user-path ())
= ()
? (initializemodule 'tools/lelisp/rm/kernel)
= ()
? (initializemodule 'tools/lelisp/rmo/core)
= ()
? (put-resource "Centaur.PPML.Env" "none")
= #:resource-manager:#[(92 . -13784)]
? (#:centaur:user-language 'PPML)
= (PPML)
? (unless (module-loaded-p 'centaur/sources/comp_ppml)
?         (loadmodule 'centaur/sources/comp_ppml))
= centaur/sources/comp_ppml
? (setq #:system:user-path "/home/illico/d01/api/kerihuel")
= /home/illico/d01/api/kerihuel
? (put-resource (catenate "Centaur." "TESTV12" ".Env")
?               "none")
= #:resource-manager:#[(92 . -13784)]
? (#:centaur:user-language 'TESTV12 "../../syntax/metal/")
= (TESTV12 PPML)
? (let ((tree (#:inter:get-tree
?                  (#:inter:load-or-parse-file
?                      "TESTV12-std.ppml" 'PPML))))
?      (#:ppml:compile tree '( 
?          (name . centaur/tables/TESTV12/pprinters/std)
?          (import  )
?          (export  )
?          (files 
?            "centaur/tables/TESTV12/pprinters/std/TESTV12-std.ll"
?            "centaur/tables/TESTV12/pprinters/std/TESTV12-std.at"
?            
?            ))
?                      'module)
?      ())
PPML : tables read.
PPML_code.ll: loaded
PPML_sch: loaded
TESTV12 : tables read.
/TESTV12-std.ll: Permission denied
** openo : I/O error : /TESTV12-std.ll
? (end)
Que Le-Lisp soit avec vous. 
/tmp/make26130


Apparemment, le path pour la creation du fichier suffixe .ll n'est pas bien
positionne. Nous avons verifie au niveau de l'installation, mais nous n'avons rien
trouve. Si c'est un probleme qui vous est connu, pouvez-vous nous aider?
Nous pouvons vous envoyer nos fichiers si cela peut vous etre utile.
Je tiens aussi a signaler la fragilite du Buildfile qui necessite obligatoirement
un retour chariot apres la commande #include....... en fin de fichier. Cela m'a
occasionne quelques problemes. Il manque aussi un / dans
LANGDIR=../../syntax/metal de la documentation.

Merci pour votre aide,
ALain.
-----
Alain.Kerihuel@irisa.fr    +33.99.84.73.90 TB-131
IRISA - equipe API - Univ. Rennes I -  35042 Rennes cedex     France