Ich bestreite nicht, dass Wawel auch den Gebäudekomplex meinen kann; die primäre Bedeutung ist aber nach meiner Überzeugung der Hügel, und da würde ich mich auf die dortigen Muttersprachler verlassen. Anderweitige Artikel innerhalb der deutschsprachigen Wikipedia sind als Beleg sicher nicht geeignet, aber sogar dort findet man reichlich Beispiele für "auf dem Wawel", siehe hier. Der deutschsprachige Reiseführer "Krakau" aus dem polnischen Verlag Pascal (Ausgabe von 2007) benutzt Wawel in beiderlei Bedeutung; ein Zitat: Das älteste Gebäude auf dem Wawel .... -- Joerg 130 15:19, 12. Aug. 2019 (CEST)