RICM3

2 years ago

Mise en place de l'environnement ARM pour l'ALM

By Pierre BELABBES RICM3 Polytech

Installation ARM Télécharger les archives Installer les librairies Dezziper les archives Compiler .envarm Vérifier l'installation Pour aller plus loin Créer un alias pour setenvarm.sh Exéc…

2 years ago

Install Java and Eclipse on Ubuntu 14.04

By Rémi GATTAZ RICM3 Polytech

Install Java We will install java 1.6, 1.7 and 1.8. You most likely will only need to use the 1.7 or 1.8 versions but installing them won't harm and it might prove usefull. For java 1.7 and 1.8 it's q…

2 years ago

Install OCaml and the Tuareg mode on Ubuntu 14.04

By Rémi GATTAZ RICM3 Polytech

Install OCaml Installing Ocaml is the easy part of this How to. Just like any program, you just need to type the following in a terminal : $ sudo apt-get install ocaml You can already test this by l…

2 years ago

Install Lustre on Ubuntu 14.04 (French)

By Rémi GATTAZ RICM3 Polytech

Etape 1 : Récupérer l'archive Pour installer les outils Lustre, il faut tout d'abord récupérer les executables qui se trouvent sur le site du verimag. Il faut choisir la version qui est adapté pour vo…

2 years ago

Install ADA on Ubuntu 14.04

By Rémi GATTAZ RICM3 Polytech

Install ADA Installing ADA is quite simple. You only need to open a terminal and type the following : $ sudo apt-get install gnat And that's pretty much all you need to do. It is probably the easies…