* coccinelle-1.0.0-rc20 compile issue
@ 2014-04-07 8:59 Stefan Assmann
2014-04-07 9:29 ` Julia Lawall
0 siblings, 1 reply; 7+ messages in thread
From: Stefan Assmann @ 2014-04-07 8:59 UTC (permalink / raw)
To: julia.lawall; +Cc: backports
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
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: coccinelle-1.0.0-rc20 compile issue
2014-04-07 8:59 coccinelle-1.0.0-rc20 compile issue Stefan Assmann
@ 2014-04-07 9:29 ` Julia Lawall
2014-04-07 10:18 ` Stefan Assmann
0 siblings, 1 reply; 7+ messages in thread
From: Julia Lawall @ 2014-04-07 9:29 UTC (permalink / raw)
To: Stefan Assmann; +Cc: backports
[-- 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
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: coccinelle-1.0.0-rc20 compile issue
2014-04-07 9:29 ` Julia Lawall
@ 2014-04-07 10:18 ` Stefan Assmann
2014-04-07 13:13 ` Julia Lawall
0 siblings, 1 reply; 7+ messages in thread
From: Stefan Assmann @ 2014-04-07 10:18 UTC (permalink / raw)
To: Julia Lawall; +Cc: backports
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
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: coccinelle-1.0.0-rc20 compile issue
2014-04-07 10:18 ` Stefan Assmann
@ 2014-04-07 13:13 ` Julia Lawall
2014-04-07 13:16 ` Stefan Assmann
2014-04-07 13:22 ` Johannes Berg
0 siblings, 2 replies; 7+ messages in thread
From: Julia Lawall @ 2014-04-07 13:13 UTC (permalink / raw)
To: Stefan Assmann; +Cc: backports
[-- 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
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: coccinelle-1.0.0-rc20 compile issue
2014-04-07 13:13 ` Julia Lawall
@ 2014-04-07 13:16 ` Stefan Assmann
2014-04-07 13:22 ` Johannes Berg
1 sibling, 0 replies; 7+ messages in thread
From: Stefan Assmann @ 2014-04-07 13:16 UTC (permalink / raw)
To: Julia Lawall; +Cc: backports
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
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: coccinelle-1.0.0-rc20 compile issue
2014-04-07 13:13 ` Julia Lawall
2014-04-07 13:16 ` Stefan Assmann
@ 2014-04-07 13:22 ` Johannes Berg
2014-04-07 13:26 ` Julia Lawall
1 sibling, 1 reply; 7+ messages in thread
From: Johannes Berg @ 2014-04-07 13:22 UTC (permalink / raw)
To: Julia Lawall; +Cc: Stefan Assmann, backports
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
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: coccinelle-1.0.0-rc20 compile issue
2014-04-07 13:22 ` Johannes Berg
@ 2014-04-07 13:26 ` Julia Lawall
0 siblings, 0 replies; 7+ messages in thread
From: Julia Lawall @ 2014-04-07 13:26 UTC (permalink / raw)
To: Johannes Berg; +Cc: Stefan Assmann, backports
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
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2014-04-07 13:26 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-04-07 8:59 coccinelle-1.0.0-rc20 compile issue Stefan Assmann
2014-04-07 9:29 ` Julia Lawall
2014-04-07 10:18 ` Stefan Assmann
2014-04-07 13:13 ` Julia Lawall
2014-04-07 13:16 ` Stefan Assmann
2014-04-07 13:22 ` Johannes Berg
2014-04-07 13:26 ` Julia Lawall
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.