☰

Компиляция hevea-2.19 с помощью компилятора Objective Caml v3.11.2

tag-icon • tag-icon hevea
Компиляция hevea-2.19 с помощью компилятора Objective Caml v3.11.2

Hevea — это конвертер LaTeX в HTML, доступный на сайтеhttp://pauillac.inria.fr/~maranget/hevea/index.html

Я пытаюсь (и не могу) скомпилировать hevea на машине CentOS, для которой в репозиториях yum, похоже, нет пакета. Я установил упакованный компилятор Objective Caml следующим образом:

$ uname -a
Linux ppserver 2.6.32-431.29.2.el6.x86_64 #1 SMP Tue Sep 9 21:36:05
UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
$ sudo yum install ocaml
...
$ /usr/bin/ocamlc.opt -v
The Objective Caml compiler, version 3.11.2
Standard library directory: /usr/lib64/ocaml

Попытка скомпилировать гевею дает:

$ wget http://pauillac.inria.fr/~maranget/hevea/distri/hevea-2.19.tar.gz
$ tar -zxvf hevea-2.19.tar.gz
$ cd hevea-2.19
[hevea-2.19]$ make
sh ocb.sh opt
/usr/bin/ocamldep.opt -modules hevea.ml > hevea.ml.depends
/usr/bin/ocamldep.opt -modules auxx.mli > auxx.mli.depends
...
/usr/bin/ocamlc.opt -c -w +a-4-9-41-45 -annot -o videoc.cmi videoc.mli
/usr/bin/ocamlc.opt -c -w +a-4-9-41-45 -annot -o zyva.cmi zyva.mli
+ /usr/bin/ocamlc.opt -c -w +a-4-9-41-45 -annot -o infoRef.cmo infoRef.ml
File "infoRef.mll", line 127, characters 2-12:
Error: Unbound value String.map
Command exited with code 2.
make: *** [ocb-opt] Error 10

Это код, вызывающий ошибку,

let verifie name =
  String.map
    (fun c -> match c  with
    | '\t'
    | ','
    | '\n' -> ' '
    | '.' -> '-'
    |  _ -> c)
    name
;;

Я предполагаю, что что-то изменилось в компиляторе Objective Caml и код hevea нуждается в небольшом обновлении? Я написал Люку Маранже и опубликую любой ответ здесь [см. ниже].

решение1

Из ответа по электронной почте от Люка Маранге:

Вам просто нужен компилятор ocaml более поздней версии, чем 3.11.2, в идеале — текущая версия... String.map был представлен в OCaml 4.00.0

В любом случае я предлагаю вам обновить вашу установку OCaml до текущей версии. Ocaml, предоставляемый вашим дистрибутивом Linux, устарел, так как OCaml 3.11.2 был выпущен в январе 2010 года. Удобный способ установки OCaml — с помощью opamhttp://opam.ocamlpro.com/

Надеюсь, эти вопросы и ответы помогут кому-то еще в будущем.

Связанный контент