irgwalk.c irgwalk_blk.c irdump.c irdumptxt.c irgopt.c irgopt_t.h irnode_t.h \
irmode.c irop.c irprog.c irflag.c irflag_t.h irgraph.c irprintf_t.h \
irmode_t.h irop_t.h irprog_t.h ircgcons.c ircgopt.c irreflect.c irarch.c \
- pseudo_irg.c irhooks.c iredges.c irprintf.c
+ pseudo_irg.c irhooks.c iredges.c irprintf.c irvrfy_t.h
ifeq ($(enable_libcore),yes)
SOURCES += irargs.c
CPPFLAGS += -I$(top_srcdir)/ir/adt -I$(top_srcdir)/ir/ir -I$(top_srcdir)/ir/common \
-I$(top_srcdir)/ir/ident -I$(top_srcdir)/ir/tr -I$(top_srcdir)/ir/tv \
-I$(top_srcdir)/ir/debug -I$(top_srcdir)/ir/ana -I$(top_srcdir)/ir/st \
- -I$(top_srcdir)/ir/stat -I$(top_srcdir)/ir/external -I$(topdir)/ir/config
+ -I$(top_srcdir)/ir/stat -I$(top_srcdir)/ir/external -I$(topdir)/ir/config \
+ -I$(top_srcdir)/ir/opt -I$(top_srcdir)/ir/arch
include $(top_srcdir)/MakeTargets