[Systeme] logiciels tal-rtx et transfert projet vers depot.lipn.univ-paris13.fr

Bonjour Marisol, Est-ce qu'il serait possible d'installer les autotools sur le serveur GPU? J'en ai besoin pour compiler un projet et le tester sur tal-rtx. Et emacs aussi, je suis handicapé sans mon OS favori ;) D'autre part, j'aimerais transférer le projet: https://git.lipn.univ-paris13.fr/transition_ilp vers le nouveau gitlab. Est-ce qu'il y a une manip à faire ? J'ai essayé de créer un nouveau projet sur le nouveau à partir d'un export de l'ancien, mais je n'y arrive pas. Merci d'avance. Joseph -- Joseph Le Roux RCLN, LIPN, Université Paris 13 Tel: +33 (0) 1 49 40 32 13 Fax: +33 (0) 1 48 26 51 12 URL: http://lipn.univ-paris13.fr/~leroux