USAGE.txt

--> Makefile de la partie OCaml (./ocaml/Makefile) :

Prérequis :
  $ cd ocaml/

Pour compiler les deux exécutables OCaml (simu et comp) :
  $ make

Ou bien, pour compiler le simulateur et le compilateur séparément :
  $ make comp
  $ make simu


--> Utilisation des exécutables simu et comp :

Pour utiliser le simulateur OCaml avec un fichier mini-ML appelé foo.ml :
  $ ./simu foo.ml

Pour afficher une trace de l'exécution de la machine, instruction
par instruction :
  $ ./simu verbose foo.ml

Pour utiliser le compilateur, et générer à partir d'un fichier foo.ml,
un fichier foo.c :
  $ ./comp foo.ml foo.c


--> Makefile de la partie en C (./ccam/Makefile) :

Prérequis :
  $ cd ccam/

Pour compiler la CCAM (implémentation en C de la CAM) avec un fichier foo.c
qui aurait été généré précédemment avec ./comp :
  $ make build in=foo.c out=foo.out
  $ ./foo.out

Pour compiler et lancer l'exécutable juste après automatiquement :
  $ make run in=foo.c out=foo.out

Pour afficher une trace de l'exécution de la machine, instruction par
instruction :
  $ make build in=foo.c out=foo.out DBG=y ; ./foo.out
ou bien
  $ make run in=foo.c out=foo.out DBG=y

Pour lancer les tests unitaires de la CCAM :
  $ make tests

Pour lancer les tests unitaires en mode verbeux, une ligne d'information
par test :
  $ make tests V=y


--> Utilisation du script ./generate-all.sh :

Pour compiler tous les programmes-exemple du dossier ./demo/
avec ./comp et la CCAM :
  $ bash generate-all.sh

Ce script produit, pour chaque programme-example foo.ml dans ./demo/, deux
exécutables :
  mode normal :
  $ ./demo/foo.out
  mode avec trace :
  $ ./demo/foo.dbg.out

Pour effacer tous les fichiers *.c, *.out et *.dbg.out générés par le script :
  $ bash generate-all.sh clean