add config variables to mae mejs/plugins patching skippable

This commit is contained in:
Tilman Kranz 2024-11-13 07:35:37 +01:00 committed by Tilman Kranz
parent afad271f22
commit cf91bd87e8

View File

@ -1,3 +1,6 @@
PATCH_MEDIAELEMENT=true
PATCH_MEDIAELEMENT_PLUGINS=true
.PHONY: \ .PHONY: \
all \ all \
depend \ depend \
@ -20,14 +23,20 @@ depend: \
depend-mediaelement: depend-mediaelement:
@echo "Preparing dependency \"mediaelement\" ..." @echo "Preparing dependency \"mediaelement\" ..."
git -C mediaelement reset --hard HEAD if test "$(PATCH_MEDIAELEMENT)" = "true" ; then \
patch -d mediaelement -p1 < patches/mediaelement/01-iconsprite.diff git -C mediaelement reset --hard HEAD ; \
patch -d mediaelement -p1 < patches/mediaelement/01-iconsprite.diff ; \
patch -d mediaelement -p1 < patches/mediaelement/02-play-promise.diff ; \
patch -d mediaelement -p1 < patches/mediaelement/03-mediaelement.js.diff ; \
fi
cd mediaelement && grunt cd mediaelement && grunt
depend-mediaelement-plugins: depend-mediaelement-plugins:
@echo "Preparing dependency \"mediaelement-plugins\" ..." @echo "Preparing dependency \"mediaelement-plugins\" ..."
git -C mediaelement-plugins reset --hard HEAD if test "$(PATCH_MEDIAELEMENT_PLUGINS)" = "true" ; then \
patch -d mediaelement-plugins -p1 < patches/mediaelement-plugins/01-playlist.js.diff git -C mediaelement-plugins reset --hard HEAD ; \
patch -d mediaelement-plugins -p1 < patches/mediaelement-plugins/01-playlist.js.diff ; \
fi
cd mediaelement-plugins && grunt cd mediaelement-plugins && grunt
depend-node: depend-node: