[linux-l] Wikimedia und sein Mathe-Modul...

Steffen Schulz pepe_ml at gmx.net
Di Feb 17 19:24:36 CET 2004


Hallo allerseits.

Ich probier hier gerade wikimedia aufzusetzen.

Läuft auch, nur will ich nen Interpreter für Latex-ähnlichen
Code haben, um nen bissl was mathematisches darzustellen.

Dazu muss man im wikimedia-code unter /math/ einen in OCaml
geschriebenen Interpreter(?) kompilieren, was hier in debian woody
schief läuft. Ich bekomme:

root at knox:/var/www/mediawiki-1.1.0/math# make
ocamlopt -I /usr/lib/ocaml -c util.ml
ocamlc -I /usr/lib/ocaml -c render_info.mli
ocamlc -I /usr/lib/ocaml -c tex.mli
ocamlyacc parser.mly
ocamlc -I /usr/lib/ocaml -c parser.mli
ocamlopt -I /usr/lib/ocaml -c parser.ml
ocamlc -I /usr/lib/ocaml -c html.mli
ocamlopt -I /usr/lib/ocaml -c html.ml
ocamlc -I /usr/lib/ocaml -c mathml.mli
ocamlopt -I /usr/lib/ocaml -c mathml.ml
ocamlc -I /usr/lib/ocaml -c texutil.mli
ocamlopt -I /usr/lib/ocaml -c texutil.ml
ocamlopt -I /usr/lib/ocaml -c render.ml
ocamllex lexer.mll
187 states, 3221 transitions, table size 14006 bytes
ocamlopt -I /usr/lib/ocaml -c lexer.ml
ocamlopt -I /usr/lib/ocaml -c texvc.ml
File "texvc.ml", line 8, characters 14-27:
Unbound value Digest.to_hex
make: *** [texvc.cmx] Error 2
rm parser.ml lexer.ml


Ein Kommentar in google lässt vermuten, dass /usr/lib/digest.* dran
schuld ist. Allerdings verlief das dort im Sande, weil digest.* wird
in Debian mitgeliefert und ist auch bei mir vorhanden. Ich hab auch
spassenshalber die Makefile verändert und überall(ich kenn mich mit
Makefiles nicht aus) mal "-I /usr/lib/ocaml" hinzugefügt, was ja da
oben offenbar auch in der richtigen Zeile mit dabei ist. Der Fehler
bleibt aber bestehen. Soweit ich das sehe, ist eine Funktion to_hex
nicht definiert...

Ich kann auf Anfrage auch gern das math-Verzeichnis als tar.gz
schicken, wenn wer möchte. Die ganze Sache ist recht dringend.

Wär schön, wenn jemand helfen könnte.

mfg
pepe
-- 
pepe at unixfan.net                            gpg --recv-key 2187FF31
Key fingerprint: 3F07 5EB1 2D42 E806 51C1  8278 CD3F 4DB3 2187 FF31



Mehr Informationen über die Mailingliste linux-l