diff --git a/README.md b/README.md index 2f47f84..1a64ecc 100644 --- a/README.md +++ b/README.md @@ -14,7 +14,7 @@ be ready to create Esterel programs for BrickOS-Bibo. ## Installation To install scLego, type: - make ESTEREL_DISTRIB= + `make ESTEREL_DISTRIB=` You may also set the PERL macro to the name of the Perl command on your system if it is different from the default "perl". @@ -31,15 +31,15 @@ to Lego. Then, you can call : - esterel -LLego controller.strl + `esterel -LLego controller.strl` or - esterel -ILego controller.strl + `esterel -ILego controller.strl` or - esterel -ALego controller.strl + `esterel -ALego controller.strl` Option -simul is also supported if you want to simulate the controller using xes or csimul. You do not have to insert code for predefined