On 07.04.2014 11:29, Julia Lawall wrote:
On Mon, 7 Apr 2014, Stefan Assmann wrote:
Hi Julia,
when trying to compile coccinelle rc20 on RHEL6 I ran into the following
issue.
./configure
make all
[...]
/usr/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I
../commons/ocollection -I ../globals -I ../parsing_cocci -c
type_annoter_c.mli
/usr/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I
../commons/ocollection -I ../globals -I ../parsing_cocci -c
type_annoter_c.ml
File "type_annoter_c.ml", line 204, characters 4-23:
Error: Unbound value StringMap.singleton
make[5]: *** [type_annoter_c.cmo] Error 2
This doesn't happen with rc19.
What is the verion of OCaml? Indeed, I believe that the use of maps is
new.
# rpm -qa |grep ocaml
ocaml-ocamldoc-3.11.2-2.el6.x86_64
ocaml-3.11.2-2.el6.x86_64
ocaml-findlib-1.2.5-5.el6.x86_64
ocaml-camlp4-3.11.2-2.el6.x86_64
ocaml-camlp4-devel-3.11.2-2.el6.x86_64
ocaml-runtime-3.11.2-2.el6.x86_64
When compiling on Fedora 20 there's no error but when I run
make install
[...]
cp ocaml/coccilib.cmi ocaml/coccilib/coccilib.cmi
cp: cannot create regular file ‘ocaml/coccilib/coccilib.cmi’: No such
file or directory
make: *** [ocaml/coccilib/coccilib.cmi] Error 1
The Makefile is probably just missing a 'mkdir ocaml/coccilib'.
Did you have any error on the configure? I have some version of Fedora,
so i may be able to test this later today.
I didn't spot any errors. Here's a paste.
http://fpaste.org/92207/39686580/
Thanks!
Stefan
--
To unsubscribe from this list: send the line "unsubscribe backports" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
