# HG changeset patch
# User Pascal Bellard <pascal.bellard@slitaz.org>
# Date 1463667414 -7200
# Node ID b1d8295f3bea189c6767d43806271e99fbbbb6de
# Parent  828d10d5e79701687e6e0a615fead3084d6f9aff
mpv: add EXTRA_SOURCE_FILES

diff -r 828d10d5e797 -r b1d8295f3bea mpv/receipt
--- a/mpv/receipt	Thu May 19 15:51:15 2016 +0200
+++ b/mpv/receipt	Thu May 19 16:16:54 2016 +0200
@@ -9,6 +9,8 @@
 TARBALL="$PACKAGE-$VERSION.tar.gz"
 WEB_SITE="http://mpv.io"
 WGET_URL="https://github.com/mpv-player/mpv/archive/v$VERSION.tar.gz"
+WAFTOOL="waf-1.8.4"
+EXTRA_SOURCE_FILES="$WAFTOOL"
 
 DEPENDS="xorg-server xorg-libXv xorg-libXinerama xorg-libXss util-linux-uuid \
 alsa-lib enca fribidi libass lua ffmpeg"
@@ -18,6 +20,9 @@
 # Rules to configure and make the package.
 compile_rules()
 {
+	[ -s $SOURCES_REPOSITORY/$WAFTOOL ] || wget -P $SOURCES_REPOSITORY \
+		http://www.freehackers.org/~tnagy/release/$WAFTOOL
+	install -m 755 $SOURCES_REPOSITORY/$WAFTOOL waf
 	./bootstrap.py
 	./waf configure \
 		--prefix=/usr \