X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=284a8e72fa31a77e92c97b7c53b59328d1ea63ee;hb=7674958d6669183799289f701e1148b6903b801a;hp=59fcc0beb2393cb02fbd73010a9cc1f98ada0884;hpb=ab8051153e6b8c3428539d540d8e45528e1b5215;p=pspp

diff --git a/Makefile b/Makefile
index 59fcc0beb2..284a8e72fa 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,11 @@
-CFLAGS = -std=gnu99 -Wall -Werror -g -D_GNU_SOURCE=1
-all: dump dump2
+CFLAGS := -std=gnu99 -Wall -Werror -g -D_GNU_SOURCE=1
+base_cflags := $(CFLAGS)
+base_ldflags := $(LDFLAGS)
+parse-xml.o: CFLAGS := $(shell pkg-config --cflags libxml-2.0) $(base_cflags)
+parse-xml: LDFLAGS := $(shell pkg-config --libs libxml-2.0) $(LDFLAGS)
+dump2.o: CFLAGS := $(base_cflags) -Wno-unused
+
+all: dump dump2 parse-xml
 dump: dump.o
 dump2: dump2.o
+parse-xml: parse-xml.o