Bonjour Joseph, Les logicielles sont installes. Cordialement, Marisol P.S. J'ajoute un petit tutoriel de migration GIT au cas ou. On 2019-03-06 10:28, Joseph Le Roux wrote:
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