the library

Does anyone know the name of the library that Jackie Chan and Lee Evans are in in this film when they are asking the various professors about the medallion? Or what other movies may have been shot there? On the commentary, they say it is in Ireland and it has been used in other movies. I'm just curious because I think I recognize its interior, but I'm not sure from where. Thanks.