Lien Réduire la taille des binaires rust

Bonjour à tous,
Je vous parle à vous, barbus assis dans vos fauteuils.
J'ai comme projet de compiler toutes les versions de la Bataille pour Wesnoth pour l'architecture arm64. Je fais tout sur un Raspberry Pi 4B 4Go, et ça marche pas trop mal pour l'instant.
- Mais, si ça marche, pourquoi tu postes dans le forum ?
Parce que ça marchait bien pour les dernières versions, soit 1.16-1.17.
J'ai décidé ensuite de commencer du début, avec la 1.0. Pour (…)
Que s’est-il passé dans le monde du Fortran depuis notre dépêche de février ? Faisons un point automnal en commençant par deux évènements marquants, des nouvelles du front des compilateurs, un point sur les activités de la jeune communauté Fortran-lang et des nouvelles de quelques projets Fortran. Nous conclurons par un étonnant retour vers le futur du développement logiciel !
La compilation du noyau Linux est souvent présentée comme étant triviale : un appel à make
et c’est réglé.
Cependant les choses se compliquent vite si l’on souhaite :
En connaissant bien le fonctionnement de sa distribution et les règles de compilations du noyau Linux, c’est tout à fait faisable même si cela reste fastidieux. D’ailleurs, beaucoup de développeurs du noyau possèdent un jeu de scripts maison pour cela.
Afin de rendre cela accessible à tous, Linaro a créé et maintient TuxMake.
A l'origine, ce n'était qu'un lien mais finalement, cela méritait un journal sur Spark.
Avant de vous filer le lien sur le portage, on va commencer par un petit exemple rapide de ce que peut faire Spark.
Spark est, aujourd'hui, un sous-ensemble d'Ada restreignant les capacités aux fonctions sécurisées et non-abmigües.
Via un ensemble d'aspects, une sorte d'annotations, le compilateur gnatprove génère des conditions de vérification pour chaque sous-programme.
Ces conditions de vérification (…)
Grâce à l’effort des développeurs et mainteneurs de nos distributions, il est très rare que le besoin de compiler un logiciel se fasse sentir. C’est une tâche qui parait très compliquée, et pourtant cela se résume souvent à lancer quelques commandes en suivant une notice. Je vous propose donc un exemple avec le logiciel Geany qui se prête bien à l’exercice: ses dépendances peu nombreuses sont toutes présentes dans les dépôts de ma distribution (c’est la condition pour que la (…)