diff -Nru mediawiki-1.8.4.orig/math/Makefile mediawiki-1.8.4/math/Makefile --- mediawiki-1.8.4.orig/math/Makefile 2007-02-20 21:22:42.000000000 -0500 +++ mediawiki-1.8.4/math/Makefile 2007-05-08 09:27:51.000000000 -0400 @@ -10,13 +10,17 @@ html.o mathml.cmi mathml.cmo mathml.cmx mathml.o CGIPATH=-I /usr/lib/ocaml/cgi -I /usr/lib/ocaml/netstring -I /usr/lib/ocaml/pcre -all: texvc texvc_test texvc_tex +all: texvc.bc texvc_test.bc texvc_tex.bc texvc.bc: util.cmo parser.cmo html.cmo mathml.cmo texutil.cmo render.cmo lexer.cmo texvc.cmo ocamlc -o $@ unix.cma $^ texvc: util.cmx parser.cmx html.cmx mathml.cmx texutil.cmx render.cmx lexer.cmx texvc.cmx ocamlopt -o $@ unix.cmxa $^ +texvc_test.bc: util.cmo parser.cmo html.cmo mathml.cmo texutil.cmo lexer.cmo texvc_test.cmo + ocamlc -o $@ $^ texvc_test: util.cmx parser.cmx html.cmx mathml.cmx texutil.cmx lexer.cmx texvc_test.cmx ocamlopt -o $@ $^ +texvc_tex.bc: util.cmo parser.cmo html.cmo mathml.cmo texutil.cmo lexer.cmo texvc_tex.cmo + ocamlc -o $@ $^ texvc_tex: util.cmx parser.cmx html.cmx mathml.cmx texutil.cmx lexer.cmx texvc_tex.cmx ocamlopt -o $@ $^ %.ml: %.mll