three_cfpred_example.c \
while_example.c
+
GENFILES = %.vcg results.txt
bin_EXAMPLES = $(CFILES:.c=)
LDFLAGS = -L$(topdir)
LDFLAGS+= @LDFLAGS@
-LDLIBS += -lfirm -liberty
+LDLIBS += -lfirm -liberty -L/usr/public/libxml2 -lxml2
+# @@@ TODO replace hand crafted stuff (xml2) for configure
GENFILES := $(bin_EXAMPLES) *.vcg