[Cocci] 1.0.0-rc23 release

[Cocci] 1.0.0-rc23 release

[Julia Lawall]

Some changes:

- Ability to add, but not match or remove, attributes.

- Some parsing and pretty printing improvements.

julia

[Cocci] 1.0.0-rc23 release

[SF Markus Elfring]

> Some changes:
>
> - Ability to add, but not match or remove, attributes.
>
> - Some parsing and pretty printing improvements.

Dear Julia,

Thanks for your software update.

1. How do you think about to correct a dangling link on your download page?
   https://software.opensuse.org/package/coccinelle/
  
https://build.opensuse.org/package/show?project=openSUSE%3A13.2&package=coccinelle

2. Would you like to mention the parameter "parse-handler" (addition in
the previous release) also in the documentation source file
"spatch_options.tex"?

Regards,
Markus

[Cocci] 1.0.0-rc23 release - Download links

[SF Markus Elfring]

>> 1. How do you think about to correct a dangling link on your download page?
>>    https://software.opensuse.org/package/coccinelle/
>>
>> https://build.opensuse.org/package/show?project=openSUSE%3A13.2&package=coccinelle
> 
> Fixed, thanks.

I get an other impression. I see still a misplaced backslash character in an URL.
http://coccinelle.lip6.fr/download.php

Regards,
Markus

[Cocci] 1.0.0-rc23 release - Clarification of build tweaks

[SF Markus Elfring]

> Some changes:

Dear Julia,

I am curious on a bit more background information for improvements you
did not explicitly mention in the release notes here.
Who did update the build files like "configure.ac" and "commons/Makefile"?
https://github.com/coccinelle/coccinelle/commit/c5ff9aff461df30b31ff23b17d2487127c8b9d0a#diff-67e997bcfdac55191033d57a16d1408a

Regards,
Markus

[Cocci] 1.0.0-rc23 release - Clarification of build tweaks

[SF Markus Elfring]

>> Who did update the build files like "configure.ac" and "commons/Makefile"?
>> https://github.com/coccinelle/coccinelle/commit/c5ff9aff461df30b31ff23b17d2487127c8b9d0a#diff-67e997bcfdac55191033d57a16d1408a
> Why do you want to know this?

We have got a few difficulties in the past to find someone for further
consideration of my proposed corrections around the affected build scripts.
Did the expertise concerns change a bit in the meantime?


> They were updated mostly to accomodate changes in more recent versions of ocaml.

I find that it would also be nice to mention such adjustments in the
release notes, wouldn't it?

Regards,
Markus

[Cocci] 1.0.0-rc23 release - Clarification of build tweaks

[SF Markus Elfring]

>> Who did update the build files like "configure.ac" and "commons/Makefile"?
>> https://github.com/coccinelle/coccinelle/commit/c5ff9aff461df30b31ff23b17d2487127c8b9d0a#diff-67e997bcfdac55191033d57a16d1408a
> 
> Why do you want to know this?  They were updated mostly to accomodate 
> changes in more recent versions of ocaml.

I have tried another configuration variant out with the command "./configure --enable-release --enable-ocamlbuild".
The corresponding software build was quickly interrupted.

elfring at Sonne:~/Projekte/Coccinelle/1.0.0-rc23> LANG=C make all
make all-release
make[1]: Entering directory '/home/elfring/Projekte/Coccinelle/1.0.0-rc23'
Building opt-only
make opt-only
make[2]: Entering directory '/home/elfring/Projekte/Coccinelle/1.0.0-rc23'
/usr/bin/ocamlbuild -j 0 main.native
Finished, 0 targets (0 cached) in 00:00:00.
SANITIZE: a total of 2 files that should probably not be in your source tree
  has been found. A script shell file
  "/home/elfring/Projekte/Coccinelle/1.0.0-rc23/_build/sanitize.sh" is being
  created. Check this script and run it to remove unwanted files or use other
  options (such as defining hygiene exceptions or using the -no-hygiene
  option).


Would you like to improve this situation?

Regards,
Markus

[Cocci] 1.0.0-rc23 release - Clarification of build tweaks

[Julia Lawall]

On Tue, 16 Dec 2014, SF Markus Elfring wrote:

> >> Who did update the build files like "configure.ac" and "commons/Makefile"?
> >> https://github.com/coccinelle/coccinelle/commit/c5ff9aff461df30b31ff23b17d2487127c8b9d0a#diff-67e997bcfdac55191033d57a16d1408a
> >
> > Why do you want to know this?  They were updated mostly to accomodate
> > changes in more recent versions of ocaml.
>
> I have tried another configuration variant out with the command "./configure --enable-release --enable-ocamlbuild".
> The corresponding software build was quickly interrupted.
>
> elfring at Sonne:~/Projekte/Coccinelle/1.0.0-rc23> LANG=C make all
> make all-release
> make[1]: Entering directory '/home/elfring/Projekte/Coccinelle/1.0.0-rc23'
> Building opt-only
> make opt-only
> make[2]: Entering directory '/home/elfring/Projekte/Coccinelle/1.0.0-rc23'
> /usr/bin/ocamlbuild -j 0 main.native
> Finished, 0 targets (0 cached) in 00:00:00.
> SANITIZE: a total of 2 files that should probably not be in your source tree
>   has been found. A script shell file
>   "/home/elfring/Projekte/Coccinelle/1.0.0-rc23/_build/sanitize.sh" is being
>   created. Check this script and run it to remove unwanted files or use other
>   options (such as defining hygiene exceptions or using the -no-hygiene
>   option).

I have no idea what this relates to.  What are the files that are objected
to?

julia

[Cocci] 1.0.0-rc23 release - Clarification of build tweaks

[SF Markus Elfring]

> I have no idea what this relates to.

I am curious how much source tree hygiene will matter here.


> What are the files that are objected to?

elfring at Sonne:~/Projekte/Coccinelle/1.0.0-rc23> cat _build/sanitize.sh
#!/bin/sh
# File generated by ocamlbuild

cd /home/elfring/Projekte/Coccinelle/1.0.0-rc23

rm -f bundles/pycaml/chemoelectric-pycaml-8614105/pycaml.o
rm -f ctl/ctl.a
rm -f ctl/ctl.cmxa
# Also clean the script itself
rm -f /home/elfring/Projekte/Coccinelle/1.0.0-rc23/_build/sanitize.sh


Regards,
Markus

[Cocci] 1.0.0-rc23 release - Menhir updates

[SF Markus Elfring]

> - Some parsing and pretty printing improvements.

Dear Julia,

I have installed the current parser generator "Menhir 20141215"
on my openSUSE Tumbleweed system a moment ago.

The corresponding build works a bit longer for your software
when I try a configuration variant out with the simple command
"./configure --enable-release".
Unfortunately, I stumble on another surprise then.

elfring at Sonne:~/Projekte/Coccinelle/1.0.0-rc23> LANG=C make all             
...
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parser_cocci_menhir.ml
File "parser_cocci_menhir.ml", line 1879, characters 8-321:
Error: The record field MenhirLib.EngineTypes.stack is not mutable
Makefile:126: recipe for target 'parser_cocci_menhir.cmx' failed
make[6]: *** [parser_cocci_menhir.cmx] Error 2
make[6]: Leaving directory '/home/elfring/Projekte/Coccinelle/1.0.0-rc23/parsing_cocci'
Makefile:82: recipe for target 'all.opt' failed
...

How should this implementation detail be resolved?

Do I need to reuse an older Menhir software library here?

Regards,
Markus

[Cocci] 1.0.0-rc23 release - Menhir updates

[Julia Lawall]

On Tue, 16 Dec 2014, SF Markus Elfring wrote:

> > - Some parsing and pretty printing improvements.
>
> Dear Julia,
>
> I have installed the current parser generator "Menhir 20141215"
> on my openSUSE Tumbleweed system a moment ago.
>
> The corresponding build works a bit longer for your software
> when I try a configuration variant out with the simple command
> "./configure --enable-release".
> Unfortunately, I stumble on another surprise then.
>
> elfring at Sonne:~/Projekte/Coccinelle/1.0.0-rc23> LANG=C make all
> ...
> /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parser_cocci_menhir.ml
> File "parser_cocci_menhir.ml", line 1879, characters 8-321:
> Error: The record field MenhirLib.EngineTypes.stack is not mutable
> Makefile:126: recipe for target 'parser_cocci_menhir.cmx' failed
> make[6]: *** [parser_cocci_menhir.cmx] Error 2
> make[6]: Leaving directory '/home/elfring/Projekte/Coccinelle/1.0.0-rc23/parsing_cocci'
> Makefile:82: recipe for target 'all.opt' failed
> ...
>
> How should this implementation detail be resolved?
>
> Do I need to reuse an older Menhir software library here?

I haven't tried the new version of menhir.  Thanks for the warning.
Perhaps you can use the old version for the moment.

julia

[Cocci] 1.0.0-rc23 release - Menhir updates

[SF Markus Elfring]

>> Do I need to reuse an older Menhir software library here?
> 
> I haven't tried the new version of menhir.  Thanks for the warning.

Now I am curious when your software will work together with this one again.


> Perhaps you can use the old version for the moment.

I can reuse source files from the archive "menhir-20130911.tar.gz"
(for example) for a while.

I guess that dependency management will become more interesting
for corresponding software packages, won't it?

Regards,
Markus