diff options
Diffstat (limited to 'minijazz/src/README.txt')
| -rw-r--r-- | minijazz/src/README.txt | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/minijazz/src/README.txt b/minijazz/src/README.txt new file mode 100644 index 0000000..858383b --- /dev/null +++ b/minijazz/src/README.txt @@ -0,0 +1,18 @@ +**** Compilation ****** + +Pour compiler MiniJazz, utilisez la commande suivante: + > ocamlbuild mjc.byte + +**** Utilisation ********* + +Il suffit de lancer le compilateur en lui donnant un fichier .mj: + > ./mjc.byte test/nadder.mj +Cela genere un fichier test/nadder.net contennat une net-list non ordonnee. + +Pour obtenir les options du compilateur, utilisez l'option '-h': + > ./mjc.byte -h +Une option importante est -m qui doit etre suivi du nom du bloc principal du circuit. +Par defaut, le compilateur recherche un bloc appele 'main' + + +Pour la description du langage MiniJazz et du langage de net-list, voir le sujet du TP1. |