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. > 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. julia
