Das weiß er durch "gcc -D $(TARGET_PLATFORM) ...".

Mit -D übergibt man auf der Kommandozeile Präprozessordefinitionen.