je ne suis pas parvenu à installer XCas sur Ubuntu 16.04. J'ai donc décidé de l'installer à partir des sources. Cela m'a pris du temps, je vous livre ici ma méthode.
Deux dépendances non référencées dans le fichier debian/controls doivent être installées : libgmp3 et libfltk.
Code : Tout sélectionner
sudo apt-get build-dep giac
sudo apt-get install libfltk1.3-dev libgmp3-dev
apt-get -b source giac
Éditer le fichier giac-1.2.2/debian/rules et changer la valeur de DH_COMPAT à 9 (c'est à la ligne 9) puis relancer la compilation.
Code : Tout sélectionner
apt-get -b source giac