On 11-04-12 10:38, Nicolas Palix wrote:
For the Ubuntu PPA, I updated the build dependencies so that every feature
of Coccinelle is enabled: ocaml scripting, python and PCRE.
However, in a previous attempt to build the packages, I got an error from the
fake-subst script about pkg-config.
https://launchpadlibrarian.net/100948081/buildlog_ubuntu-oneiric-amd64.coccinelle_1.0.0-rc12~1110npalix2_FAILEDTOBUILD.txt.gz
Fake-subst is a simple script that emulates some functionality of
pkg-config in case you don't have it installed. It's trying to be a bit
smart, but it's definitely better to use pkg-config if it's possible.
The build there seems to crash on a bash function declaration. Hmm, what
is the standard shell of your system? Perhaps I should set the
interpreter to /bin/bash instead of /bin/sh?
Maybe that point could be fixed to easy manual installation, if
pkg-config is an optional dependency of course.
Otherwise, maybe the error message could be improved to state that
pkg-config must be installed.
It is supposed to be an optional dependency.
Hm, I thought I updated the install.txt but I don't see my changes
anymore. Perhaps I forgot to commit that.
Arie, as I understand from your mail, --enable-release replaces in
some way --opt and --no-opt.
Could you confirm that ?
As it is semantically different, is there something else performed by
the --enable-release option ?
I actually wasn't aware of the --opt and --no-opt option, which
therefore now don't exist anymore...
They would be more or less the same, with the difference that
--enable-release would also prepare the documentation for installation,
and would fallback to the bytecode version if ocamlopt is not
available. So, with "--enable-release" you get the 'best' things as
end-user when you run 'make' (and then 'make install'). So, --(no-)opt
would be a bit more ad-hoc.
Arie
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
