On 07.04.2014 15:13, Julia Lawall wrote: > > > On Mon, 7 Apr 2014, Stefan Assmann wrote: > >> 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/ > > Did you get it from github? I think there is a problem that github > doesn't preserve empty directories. It exists in the tgz available on > out web page: Yes, I'm using github. > > http://coccinelle.lip6.fr/download.php > > I think that the problem was discussed, so I'm a bit surprised that it was > not fixed. I will look into it. Great, thanks a lot. 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
