On 30/07/12 15:28, Richard W.M. Jones wrote:
I'm not actually sure if this has to do with OCaml 4.00.0 or not, but
that's the most likely difference.
We haven't tried ocaml 4.0 yet. The release seems pretty recent. We'll
have a look at it. The buildlogs themselves look fine to me.
I'm at least sure that spatch can process the demo file with ocaml 3.12,
3.11, and 3.10 ;-)
Also I've noticed that 'make install' no longer installs any *.so
files in $libdir, nor any Python files at all. Is this intentional?
The python files are there (in <prefix>share/coccinelle/python), as
visible in the last lines of the buildlog. The .so files are fortunately
not needed anymore.
I'd also like to add for the record that it's very hard to keep
Coccinelle building without clear changelogs for every released
tarball and/or a source repository that doesn't have enormous mixed up
changes in every commit.
The install.txt file should be up-to-date.
The changes.txt file as well, and indeed it may not be that clearly
interpretable.
You may want to add the configure flag "--enable-release" (so that you
get an optimized spatch), and perhaps also add a "make check" prior to
"make install" (as a sanity check). It should not require setting
COCCINELLE_HOME.
Cheers,
Arie
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
