+ cd build/busybox && $(MAKE) LDFLAGS="$(MIPS_LDFLAGS)" CFLAGS_EXTRA="$(MIPS_CFLAGS) -DNESTEDVM -g"
+ touch $@
+
+tasks/build_gcclass:
+ cd build && darcs get --verbose http://darcs.brianweb.net/gcclass
+ cd build/gcclass && make
+ touch $@
+
+# TeX Stuff
+
+tasks/extract_tex_tangle:
+ @mkdir -p build/tex
+ cd build/tex && \
+ curl -o tex.web http://www.math.uni.wroc.pl/~hebisch/tex_p/tex.web && \
+ curl http://www.gnu-pascal.de/crystal/gpc/en/attachments/5593/tangle.p.gz | zcat > tangle.p
+ touch $@
+
+tasks/build_tex_tangle: tasks/extract_tex_tangle tasks/build_gpc
+ @mkdir -p build/tex
+ mips-unknown-elf-gpc $(MIPS_PCFLAGS) build/tex/tangle.p $(MIPS_LDFLAGS) -o build/tex/tangle.mips
+ touch $@
+
+tasks/build_tex: tasks/build_tex_tangle tasks/build_gpc tasks/download_texinputs
+ @mkdir -p build/tex
+
+ # HACK: Build Tangel.class
+ make -C $(root) build/tests/Tangle.class
+
+ rm -f build/tex/tex.p build/tex/tex.pool
+ cp misc/tex.ch build/tex/tex.ch
+ cd build/tex && \
+ tar xfz ../../download/texinputs-$(version_texinputs).tgz && \
+ java -cp $(root)/build tests.Tangle \
+ --gpc-rts=-nPascalfile:tex.p \
+ --gpc-rts=-npool:tex.pool \
+ --gpc-rts=-nwebfile:tex.web \
+ --gpc-rts=-nchangefile:tex.ch \
+ && \
+ mips-unknown-elf-gpc $(MIPS_PCFLAGS) tex.p $(MIPS_LDFLAGS) -o tex.mips