diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-10-31 15:35:11 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-10-31 15:35:11 +0100 |
| commit | 0b269f32dd9b8d349f94793dad44e728473e9f0a (patch) | |
| tree | 066a30fee1efe19d897f5e153d7ea9aa3d7448af /minijazz/src/README.txt | |
| download | SystDigit-Projet-0b269f32dd9b8d349f94793dad44e728473e9f0a.tar.gz SystDigit-Projet-0b269f32dd9b8d349f94793dad44e728473e9f0a.zip | |
First commit ; includes first TP and minijazz compiler
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. |