je pense que j’aurais encore besoin de mon ./configure.py maison pour générer les earthfile.
Je pas comprendre : le Earthfile tu le fais une fois pour toutes et il décrit tout ce dont tu as besoin pour tes builds.
Mais en fait je ne comprends pas pourquoi tu as un ./configure.py pour faire des makefiles, parce que là aussi ton makefile est censé ne pas bouger (ou à la marge)...
[^] # Re: Un peu hors sujet : makefile et docker
Posté par Sébastien Maccagnoni . En réponse au journal VSCodium & support python : pyright. Évalué à 1.
Je pas comprendre : le Earthfile tu le fais une fois pour toutes et il décrit tout ce dont tu as besoin pour tes builds.
Mais en fait je ne comprends pas pourquoi tu as un
./configure.pypour faire des makefiles, parce que là aussi ton makefile est censé ne pas bouger (ou à la marge)...