Lancement de script à la fin de la c ompilation avec Gprbuild dans GNATStudio

Bonjour,

J'ai un dev dont l'exe ne peut être que sur un serveur distant en
console. Je souhaite conserver le debug graphique et j'apprécie
GNATStudio, donc pas de dev sur la machine distante.


Actuellement, je pousse le binaire, en toute transparence pour
GNATStudio, à travers un lien sshfs.

Nos connexions sont pas top (pourtant 3 xDSL + 1 secours 4G mais la
fibre dors depuis un an devant le portail, le quartier n'est toujours
pas éligible) et le binaire met 2 minutes à se poser sur le serveur.


Heureusement, GNATStudio pose tout en dernier l'attribut executable (x),
ça donne une indication précise de la fin du build.


Cherché sans succès le moyen d'exécuter, en fin de build par GPRBuild,
un script quelconque (Bash, HAC ou autre)...


L'idée étant de construire l'exe en local et de le copier ensuite sur le
distant avec un 'bip' en fin de copie...


La première solution que j'entrevois est de lancer séparément dans une
console le .gpr dans un script ou, seconde solution, de 'pythonner' une
extension dans GNATStudio.

Avant de choisir la première solution, je souhaitais votre avis :)


Merci d'avance pour vos retours...

-- 
Stéphane Rivière
Ile d'Oléron - France
_______________________________________________
Ada-france mailing list
[email protected]
https://mail.ada-france.org/cgi-bin/mailman/listinfo/ada-france