coccinelle-1.0.0-rc20 compile issue

coccinelle-1.0.0-rc20 compile issue

[Stefan Assmann]

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.

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

  Stefan

Re: coccinelle-1.0.0-rc20 compile issue

[Julia Lawall]

[-- Attachment #1: Type: TEXT/PLAIN, Size: 1205 bytes --]



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

Re: coccinelle-1.0.0-rc20 compile issue

[Stefan Assmann]

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

Re: coccinelle-1.0.0-rc20 compile issue

[Julia Lawall]

[-- Attachment #1: Type: TEXT/PLAIN, Size: 2060 bytes --]



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:

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.

julia

Re: coccinelle-1.0.0-rc20 compile issue

[Stefan Assmann]

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

Re: coccinelle-1.0.0-rc20 compile issue

[Johannes Berg]

On Mon, 2014-04-07 at 15:13 +0200, Julia Lawall wrote:

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

git in general doesn't, I believe - you should put a dummy file into the
directory or so.

johannes

Re: coccinelle-1.0.0-rc20 compile issue

[Julia Lawall]

On Mon, 7 Apr 2014, Johannes Berg wrote:

> On Mon, 2014-04-07 at 15:13 +0200, Julia Lawall wrote:
>
> > > 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.
>
> git in general doesn't, I believe - you should put a dummy file into the
> directory or so.

Luis already proposed to change the makefile to make the directory, if
needed.  I have made that change and sent Stefan a pointer to a patch.

julia