Makefile get LOTS of warning.
The makefile send lot of warning. The problem comes from the network which uses generic type but doesn't use them when instantiating things.
Software Heritage, une initiative non-lucrative de l'INRIA, clonera et archivera tous les dépôts en visibilité publique sur ce gitlab. Si vous ne souhaitez pas que cela arrive, vous pouvez modifier la visibilité de vos dépôts en allant dans Settings -> General -> Visibility, project features, permissions -> Project visibility. Pour plus d'informations sur l'initiative, vous pouvez vous rendre à la page https://www.softwareheritage.org/.
The makefile send lot of warning. The problem comes from the network which uses generic type but doesn't use them when instantiating things.