Kościół san Ildefonso znajduje się w pobliżu placu Batalha. Wcześniej na miejscu kościoła san Ildefonso stała kaplica, zbudowana w XIII wieku. Kaplica została poświęcona Świętemu Алифону, a także była miejscem gromadzenia się wiernych do modlitwy. W 1709 roku kaplica została praktycznie zniszczona. Jej rozebrano, a na tym miejscu zaczęły się w tym samym roku budowę nowego kościoła, który budował około 30 lat. Pierwszy etap budowy zakończył się w 1730 roku, kiedy wzniesiono główną część kościoła i tympanonem, na którym podali datę budowy. Ostatecznie kościół dobudowano już w 1739 r.; zostały zakończone dwie dzwonnice po bokach, wykończony fasada.

Budynek zbudowany jest w stylu barokowym. Imponująca fasada kościoła, który jest pokryty płytkami "азулезуш", a wewnątrz świątyni zwiedzający zobaczą luksusowy ретабло. Na изразцах przedstawiają sceny z życia świętego Ildefonso, a także obrazy z Ewangelii. Na pokrycie ścian trwało ponad 11 000 płytek, nad wzorem pracował portugalski artysta George Colace, znany ze swoich prac na изразцах "азулезуш". Ретабло została wykonana według projektu znanego włoskiego architekta, mistrza włoskiego baroku, Nicolau Насони, który posiadał bardzo bogatą wyobraźnią, a także zbudował wiele innych ciekawych budynków w Portugalii. Pracował nad ретабло i instalował go architekt Мигуэль Francisco da Silva.

Po huraganie w 1819 roku w kościele zostały przeprowadzone prace renowacyjne. A podczas oblężenia miasta Porto w 1833 roku kościół znacznie ucierpiała od ostrzału artyleryjskiego. W 1967 roku przeprowadzono prace konserwatorskie, w wyniku których tak zostały zastąpione przez witrażowe okna.