Oui, s'il n'existe pas il devrait indiquer que « ne pas savoir faire le makefile_platform » et ne pas établir la bibliothèque. À moins que vous ayez une règle quelque part autrement dans le fichier makefile commençant le « makefile_platform : » qui construira ce dossier.