From mboxrd@z Thu Jan 1 00:00:00 1970 Return-path: Received: from app1b.xlhost.de ([84.200.252.162]:59137 "EHLO app1b.xlhost.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1755291AbaDGNQI (ORCPT ); Mon, 7 Apr 2014 09:16:08 -0400 Message-ID: <5342A515.4070403@kpanic.de> (sfid-20140407_151610_666687_E9F53B57) Date: Mon, 07 Apr 2014 15:16:05 +0200 From: Stefan Assmann MIME-Version: 1.0 To: Julia Lawall CC: backports@vger.kernel.org Subject: Re: coccinelle-1.0.0-rc20 compile issue References: <534268E2.6060305@kpanic.de> <53427B88.50606@kpanic.de> In-Reply-To: Content-Type: text/plain; charset=windows-1252 Sender: backports-owner@vger.kernel.org List-ID: 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