[vlc-devel] [PATCH] apple: build: avoid configure if already done

Marvin Scholz epirat07 at gmail.com
Thu Feb 13 16:05:38 CET 2020


LGTM

On 13 Feb 2020, at 15:43, Alexandre Janniaux wrote:

> The configure step takes a long time. Avoid redoing it everytime
> the script is launched helps reduce developer friction.
>
> To trigger a new configuration, either delete the whole build
> directory or just the config.h in the build directory.
> ---
>  extras/package/apple/build.sh | 16 ++++++++++------
>  1 file changed, 10 insertions(+), 6 deletions(-)
>
> diff --git a/extras/package/apple/build.sh 
> b/extras/package/apple/build.sh
> index 978871a6db..3cfb280ae0 100755
> --- a/extras/package/apple/build.sh
> +++ b/extras/package/apple/build.sh
> @@ -630,12 +630,16 @@ cd "${VLC_BUILD_DIR}/build" || abort_err "Failed 
> cd to VLC build dir"
>  # Create VLC install dir if it does not already exist
>  mkdir -p "$VLC_INSTALL_DIR"
>
> -../../configure \
> -    --with-contrib="$VLC_CONTRIB_INSTALL_DIR" \
> -    --host="$VLC_HOST_TRIPLET" \
> -    --prefix="$VLC_INSTALL_DIR" \
> -    "${VLC_CONFIG_OPTIONS[@]}" \
> - || abort_err "Configuring VLC failed"
> +if ! [ -e config.h ]; then
> +    ../../configure \
> +        --with-contrib="$VLC_CONTRIB_INSTALL_DIR" \
> +        --host="$VLC_HOST_TRIPLET" \
> +        --prefix="$VLC_INSTALL_DIR" \
> +        "${VLC_CONFIG_OPTIONS[@]}" \
> +     || abort_err "Configuring VLC failed"
> +else
> +    echo "Configuration of VLC skipped as config.h already exists"
> +fi
>
>  $MAKE -j$VLC_USE_NUMBER_OF_CORES || abort_err "Building VLC failed"
>
> -- 
> 2.25.0
>
> _______________________________________________
> vlc-devel mailing list
> To unsubscribe or modify your subscription options:
> https://mailman.videolan.org/listinfo/vlc-devel


More information about the vlc-devel mailing list