maranget / hevea

Hevea is a fast latex to html translator
http://hevea.inria.fr
Other
97 stars 12 forks source link

hevea 2.32 not compile with ocaml 4.07.1 and ocamlbuild 0.13.0 #5

Closed perestoronin closed 4 years ago

perestoronin commented 5 years ago

hevea 2.32 not compile with ocaml 4.07.1 and ocamlbuild 0.13.0

sh ocb.sh opt File "./check402.ml", line 1: Error: Reference to undefined globalStdlib__sys'`

`/usr/bin/ocamldep.opt -modules auxx.ml > auxx.ml.depends /usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends /usr/bin/ocamldep.opt -modules location.ml > location.ml.depends /usr/bin/ocamldep.opt -modules myLexing.ml > myLexing.ml.depends /usr/bin/ocamldep.opt -modules bytes.ml > bytes.ml.depends /usr/bin/ocamldep.opt -modules bytes.mli > bytes.mli.depends /usr/bin/ocamlc.opt -c -w +a-3-4-9-41-45 -annot -safe-string -o bytes.cmi bytes.mli /usr/bin/ocamlopt.opt -c -w +a-3-4-9-41-45 -annot -safe-string -o bytes.cmx bytes.ml

Please help to fix !

maranget commented 5 years ago

Hi, I could not reproduce the problem. Something may wrong with your installation. More specifically, can you please tell me what is the outcome of running ocaml ./check402.ml by hand ?

perestoronin commented 5 years ago

ocaml check402.ml

File "./check402.ml", line 1:

Error: Reference to undefined global `Stdlib__sys'

maranget commented 5 years ago

This outcome confirms my diagnostic: something is wrong with your ocaml installation. You can also try 'ocaml -version, it should fail just as well.

I suspect that the library files of a previoulsy installed ocaml system are still here. If you have su rights on your machine, you can attempt deleting directory /usr/lib/ocaml (or, more cautiously, moving this directory to /usr/lib/ocaml.keep) and re-installing ocaml.