media-video/mpv: always install HTML doc in 0.18.1 wrt bug 589702
authorIlya Tumaykin <itumaykin@gmail.com>
Sun, 31 Jul 2016 11:29:49 +0000 (14:29 +0300)
committerPatrice Clement <monsieurp@gentoo.org>
Sun, 7 Aug 2016 20:37:00 +0000 (22:37 +0200)
Gentoo-Bug: https://bugs.gentoo.org/589702
Closes: https://github.com/gentoo/gentoo/pull/1987

Package-Manager: portage-2.3.0

Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
media-video/mpv/files/0.18.1/mpv-0.18.1-add-htmldir-option.patch [new file with mode: 0644]
media-video/mpv/mpv-0.18.1-r1.ebuild [moved from media-video/mpv/mpv-0.18.1.ebuild with 97% similarity]

diff --git a/media-video/mpv/files/0.18.1/mpv-0.18.1-add-htmldir-option.patch b/media-video/mpv/files/0.18.1/mpv-0.18.1-add-htmldir-option.patch
new file mode 100644 (file)
index 0000000..01adc1d
--- /dev/null
@@ -0,0 +1,34 @@
+commit f95cde60ff02e897088d35052426964a3db90eb7
+Author: Chris Mayo <aklhfex@gmail.com>
+Date:   Tue Jul 26 07:55:54 2016 +0100
+
+build: add --htmldir option
+
+Defaults to docdir but makes it possible to install html documentation
+separately.
+
+diff --git a/wscript b/wscript
+index 9269d95..309efd3 100644
+--- a/wscript
++++ b/wscript
+@@ -942,6 +942,7 @@ _INSTALL_DIRS_LIST = [
+     ('datadir', '${PREFIX}/share',    'data files'),
+     ('mandir',  '${DATADIR}/man',     'man pages '),
+     ('docdir',  '${DATADIR}/doc/mpv', 'documentation files'),
++    ('htmldir', '${DOCDIR}',          'html documentation files'),
+     ('zshdir',  '${DATADIR}/zsh/site-functions', 'zsh completion functions'),
+
+     ('confloaddir', '${CONFDIR}', 'configuration files load directory'),
+diff --git a/wscript_build.py b/wscript_build.py
+index 13d89ce..257be27 100644
+--- a/wscript_build.py
++++ b/wscript_build.py
+@@ -19,7 +19,7 @@ def _build_html(ctx):
+         target       = 'DOCS/man/mpv.html',
+         source       = 'DOCS/man/mpv.rst',
+         rule         = '${RST2HTML} ${SRC} ${TGT}',
+-        install_path = ctx.env.DOCDIR)
++        install_path = ctx.env.HTMLDIR)
+
+     _add_rst_manual_dependencies(ctx)
+
similarity index 97%
rename from media-video/mpv/mpv-0.18.1.ebuild
rename to media-video/mpv/mpv-0.18.1-r1.ebuild
index aaee04bd8741d343d066f073af1a803545df9364..21b6facbf2494ee2246251c4da1014fd2fca348e 100644 (file)
@@ -135,6 +135,7 @@ PATCHES=(
        "${FILESDIR}/${PV}/${P}-fix-audio-uninit-crash.patch"
        "${FILESDIR}/${PV}/${P}-fix-high-CPU-on-wayland.patch"
        "${FILESDIR}/${PV}/${P}-handle-ffmpeg-ABI-changes.patch"
+       "${FILESDIR}/${PV}/${P}-add-htmldir-option.patch"
 )
 
 pkg_pretend() {
@@ -153,6 +154,7 @@ src_configure() {
        local mywafargs=(
                --confdir="${EPREFIX}/etc/${PN}"
                --docdir="${EPREFIX}/usr/share/doc/${PF}"
+               --htmldir="${EPREFIX}/usr/share/doc/${PF}/html"
 
                $(usex cli '' '--disable-cplayer')
                $(use_enable libmpv libmpv-shared)
@@ -162,8 +164,8 @@ src_configure() {
                --disable-static-build
                --disable-optimize              # Don't add '-O2' to CFLAGS.
                --disable-debug-build   # Don't add '-g' to CFLAGS.
+               --enable-html-build
 
-               $(use_enable doc html-build)
                $(use_enable doc pdf-build)
                $(use_enable vf-dlopen vf-dlopen-filters)
                $(use_enable zsh-completion zsh-comp)
@@ -282,7 +284,7 @@ pkg_postinst() {
 
        local softvol_0_18_1=0
        for rv in ${REPLACING_VERSIONS}; do
-               version_compare ${rv} 0.18.1
+               version_compare ${rv} 0.18.1-r1
                [[ $? -eq 1 ]] && softvol_0_18_1=1
        done
 
@@ -296,7 +298,7 @@ pkg_postinst() {
                elog "This means that volume controls don't change the system volume,"
                elog "e.g. per-application volume with PulseAudio."
                elog "If you want to restore the old behaviour, please refer to"
-               elog "https://bugs.gentoo.org/show_bug.cgi?id=588492#c4"
+               elog "https://bugs.gentoo.org/show_bug.cgi?id=588492#c7"
                echo
        fi