X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=348323a9a631f3b6650162bedf5a22aa79f0604a;hb=317044f9d3cd7abf6dff515574538e59657f98af;hp=5a0f07c4d1bfa4e4f0f36c8ca72f6ced2b15d501;hpb=a4d9d8bbad937207bdbc70596b71d25335d0faa3;p=pspp

diff --git a/Makefile b/Makefile
index 5a0f07c4d1..348323a9a6 100644
--- a/Makefile
+++ b/Makefile
@@ -1,2 +1,13 @@
-CFLAGS = -std=gnu99 -Wall -Werror -g -D_GNU_SOURCE=1
-dump: dump.o
+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 spv-file-format.text
+dump: dump.o u8-mbtouc.o
+dump2: dump2.o u8-mbtouc.o
+parse-xml: parse-xml.o
+spv-file-format.text: spv-file-format.texi
+	makeinfo --force --plaintext -o $@ $<