# Target: Sequent Symmetry running ptx 2.0, with Weitek 1167 or i387. TDEPFILES= exec.o symm-tdep.o i386-pinsn.o i387-tdep.o i386-tdep.o TM_FILE= tm-ptx.h