Une librairie pour le cours inf544 COMPILATION Dans ce répertoire. % sh make.sh Note: Il faut Objective Caml 3.10 (ou plus récent), car make.sh emploie ocamlbuild. INSTALLATION Dans ce répertoire. % sh install.sh dest OÙ dest est le répertoir cible. Les fichiers pcf.cmo et pcf.cmi sont simplement copiés dans dest DOCUMENTATION Voir (La documentation est fabriquée par sh make.sh doc) Et plus généralement tout le cours INF544 de l'École polytechnique. BONUS L'archive contient divers exemples d'utilisation de la bibliotèque, Les sources de la forme *top.ml sont des boucles interactive, les sources de la forme *main.ml sont plutôt des interpréteurs/vérificateurs etc. qui lisent l'entrée standard et écrivent dans la sortie standard. Par exemple, intertop est un interpréteur. % ocamlbuild intertop.byte # Fabrication % ./intertop.byte # Lancement PCF> Let x = 1;; val x = 1 PCF> Let g = Fun y -> x+y;; val g = PCF> g 4;; - = 5 PCF> ^D % BONUS du BONUS zyva.ml est un compilateur de PCF pour les machines Intel IA32. Le support à l'exécution se réduit à une fonction d'allocation de cellules mémoire donnée dans le source C 'zyva.c'.