Re: coccinelle-1.0.0-rc20 compile issue

[Stefan Assmann <sassmann@kpanic.de>]

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