+ia32_built_sources = \
+ be/ia32/gen_ia32_emitter.c \
+ be/ia32/gen_ia32_emitter.h \
+ be/ia32/gen_ia32_machine.c \
+ be/ia32/gen_ia32_machine.h \
+ be/ia32/gen_ia32_regalloc_if.c \
+ be/ia32/gen_ia32_regalloc_if.h \
+ be/ia32/gen_ia32_new_nodes.c.inl \
+ be/ia32/gen_ia32_new_nodes.h
+MAINTAINERCLEANFILES = $(ia32_built_sources)
+BUILT_SOURCES = $(ia32_built_sources)
+libfirm_la_SOURCES += $(ia32_sources) $(ia32_built_sources)
+
+EXTRA_DIST += \
+ be/ia32/ia32_spec.pl \
+ be/ia32/ia32_simd_spec.pl \
+ be/ia32/bearch_ia32_t.h \
+ be/ia32/ia32_dbg_stat.h \
+ be/ia32/ia32_emitter.h \
+ be/ia32/ia32_finish.h \
+ be/ia32/ia32_fpu.h \
+ be/ia32/ia32_map_regs.h \
+ be/ia32/ia32_new_nodes.h \
+ be/ia32/ia32_nodes_attr.h \
+ be/ia32/ia32_optimize.h \
+ be/ia32/ia32_transform.h \
+ be/ia32/ia32_util.h \
+ be/ia32/ia32_x87.h
+