Ce dossier rassemble les sources du compilateur Pseudo pascal du cours de compilation (peuvent temporairement ne pas être acccessibles) Pour re-fabriquer le compilateur: gmake ppc Éventuellement, si vous avez pris une copie et fait des changements dans l'organisation des fichiers, précéder la commande par gmake depend Pour nettoyer gmake clean L'utilisation la plus simple du programme "ppc" est ./ppc foo.p > foo.spi Le fichier foo.p est un source en Pseudo Pascal, et foo.spi son code SPIM compilé, que vous devriez pouvoir exécuter par la commande: spim -notrap -file foo.spi Pour d'autres utilisations de ppc, notemment de trace des algorithmes ou des étapes intermédiaires, faire ppc -help NOTE: Le fichier salloc.ml est égale à alloc.ml moins le code de trace.