TDEPFILES= ia64-tdep.o
DEPRECATED_TM_FILE= tm-ia64.h