Pour compiler MiniJazz, utilisez la commande suivante:
ocamlbuild mjc.byte
Il suffit de lancer le compilateur en lui donnant un fichier .mj:
./mjc.byte test/nadder.mj
Cela génère un fichier test/nadder.net contenant une net-list non
ordonnée.
Pour obtenir les options du compilateur, utilisez l'option -h:
./mjc.byte -h
Une option importante est -m qui doit être suivi du nom du bloc principal
du circuit. Par défaut, le compilateur recherche un bloc appelé main.
Pour la description du langage MiniJazz et du langage de net-list, voir le sujet du TP1 du cours L3 de systèmes numériques à l'ENS.
Le langage Jazz a été conçu par Jean Vuillemin.
Le compilateur MiniJazz a été développé par Cédric Pasteur (certaines parties ont été supprimées de cette version accessible au public).
N'hésitez pas à faire des « Pull Requests » pour corriger des bogues ou proposer des améliorations. Merci de ne pas partager les solutions aux exercices.