X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2Fparse%2FMakefile;h=c30617ace4676f2c1ee080ebfd2688fd23945bc6;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=9c889e011ae6ea096198d5144043b3b0cb0ab6fb;hpb=339504cd07bef1767536d6817953ba084e00855d;p=helm.git

diff --git a/helm/papers/use_case/stats/parse/Makefile b/helm/papers/use_case/stats/parse/Makefile
index 9c889e011..c30617ace 100644
--- a/helm/papers/use_case/stats/parse/Makefile
+++ b/helm/papers/use_case/stats/parse/Makefile
@@ -1,13 +1,19 @@
 CC = gcc
 LIBXML_FLAGS = `pkg-config --cflags --libs libxml-2.0`
 EXPAT_FLAGS = -lexpat
-BIN = parse_expat parse_xmlreader parse_xmlsax
+BIN = parse_expat parse_xmlreader parse_xmlsax parse_xmltree
 all: $(BIN)
+	$(MAKE) -C SAX2Print/
 clean:
 	rm -f $(BIN)
+	$(MAKE) -C SAX2Print/ clean
+
 parse_expat: parse_expat.c
 	$(CC) $(EXPAT_FLAGS) -o $@ $<
 parse_xmlreader: parse_xmlreader.c
 	$(CC) $(LIBXML_FLAGS) -o $@ $<
 parse_xmlsax: parse_xmlsax.c
 	$(CC) $(LIBXML_FLAGS) -o $@ $<
+parse_xmltree: parse_xmltree.c
+	$(CC) $(LIBXML_FLAGS) -o $@ $<
+