[vlc-devel] [PATCH] configure: add tools from extras/tools to the PATH

[Felix Paul Kühne]

> On 12 Oct 2014, at 19:06, Jean-Baptiste Kempf <jb at videolan.org> wrote:
> 
> On 12 Oct, Rémi Denis-Courmont wrote :
>> Le samedi 11 octobre 2014, 16:35:10 Jean-Baptiste Kempf a écrit :
>>> ---
>>> configure.ac | 7 +++++++
>>> 1 file changed, 7 insertions(+)
>>> 
>>> diff --git a/configure.ac b/configure.ac
>>> index 895f2d0..d375f9c 100644
>>> --- a/configure.ac
>>> +++ b/configure.ac
>>> @@ -412,6 +412,13 @@ AS_IF([test -n "${CONTRIB_DIR}"], [
>>> ])
>>> AC_SUBST(CONTRIB_DIR)
>>> 
>>> +dnl Add extras/tools to the PATH
>>> +TOOLS_DIR="${srcdir}/extras/tools/build"
>>> +AS_IF([test -d "${TOOLS_DIR}"], [
>>> +    TOOLS_DIR=`cd "${TOOLS_DIR}" && pwd`
>>> +    export PATH="${TOOLS_DIR}":$PATH
>>> +])
>>> +
>> 
>> That presumably fixes detection in configure, but not build in make.
>> So I´m not sure this is really useful.
> 
> Arf, I'm not sure of the proper fix then.

If you need to be reproducible automagically, maybe a build or configure script as in extras/package/... might be helpful?

Cheers,

Felix