Polytech

2 years ago

Install Cordova and Phonegap on Ubuntu 14.04

By Rémi GATTAZ Linux Polytech RICM4

Step 1 : Install nodejs and npm Cordova and PhoneGap are usually installed using node packages. So if you don't have it yet, you need to install both nodejs and npm (node package manager). $ sudo ap…

2 years ago

Install the android-sdk on Ubuntu 14.04

By Rémi GATTAZ Linux Polytech RICM4

Step 1 : Check you java installation Before anything, since the android sdk doesn't work with every versions of java, you need to check if the one you have is compatible. If you have java installed, t…

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 R on Ubuntu 14.04

By Rémi GATTAZ Linux Polytech RICM4

Step 1 : Add the repository The version of R in the default repository is old. To get the latest version of R, we will have to add a new repository to the package manager. $ codename=$(lsb_release -…

2 years ago

Install R On OSX

By Rémi GATTAZ OS X Polytech RICM4

For this tutorial, you will need to have previously installed brew. Step 1 : Install dependencies : R needs gcc-5 to be the default gcc version. If you are not sure which version you are currently usi…

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…