Forum Programmation.c++ [Résolu] Compiler wesnoth-1.2

Posté par  . Licence CC By‑SA.
Étiquettes :
2
31
oct.
2022

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 (…)

Des nouvelles de Fortran n°4 - Octobre 2022

Posté par  (site web personnel, Mastodon) . Édité par Benoît Sibaud, Julien Jorge et Ysabeau 🧶. Modéré par Pierre Jarillon. Licence CC By‑SA.
Étiquettes :
23
19
oct.
2022
Fortran

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 !

TuxMake et le noyau Linux

Posté par  (site web personnel) . Édité par palm123, Pierre Jarillon, Julien Jorge et Ysabeau 🧶. Modéré par Xavier Teyssier. Licence CC By‑SA.
Étiquettes :
60
9
mar.
2022
Linux

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 :

  • cross-compiler
  • utiliser différentes toolchains (ou versions)
  • reproduire une compilation sur une autre machine
  • utiliser une toolchain non-supportée par sa distribution
  • …

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.

Journal Re-implémentation de TweetNaCl en Spark

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
28
26
jan.
2022

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.

Mais c'est quoi 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 (…)