2024-11-13 07:35:37 +01:00
|
|
|
PATCH_MEDIAELEMENT=true
|
|
|
|
PATCH_MEDIAELEMENT_PLUGINS=true
|
|
|
|
|
2024-11-12 02:50:31 +01:00
|
|
|
.PHONY: \
|
|
|
|
all \
|
2024-11-13 07:41:46 +01:00
|
|
|
clean \
|
|
|
|
clean-css \
|
|
|
|
clean-js \
|
|
|
|
clean-mediaelement \
|
|
|
|
clean-mediaelement-plugins \
|
2024-11-12 02:50:31 +01:00
|
|
|
depend \
|
|
|
|
depend-mediaelement \
|
|
|
|
depend-mediaelement-plugins \
|
|
|
|
depend-node \
|
|
|
|
css \
|
|
|
|
src \
|
|
|
|
test
|
2024-11-10 15:08:51 +01:00
|
|
|
|
2024-11-12 02:50:31 +01:00
|
|
|
all: \
|
|
|
|
depend \
|
|
|
|
css \
|
|
|
|
src
|
2024-11-11 03:15:12 +01:00
|
|
|
|
2024-11-13 07:41:46 +01:00
|
|
|
clean: \
|
|
|
|
clean-css \
|
|
|
|
clean-js \
|
|
|
|
clean-mediaelement \
|
|
|
|
clean-mediaelement-plugins
|
|
|
|
|
|
|
|
clean-css:
|
|
|
|
rm -f dist/css/*.css dist/css/*.svg
|
|
|
|
|
|
|
|
clean-js:
|
|
|
|
rm -f dist/js/*.js
|
|
|
|
|
|
|
|
clean-mediaelement:
|
|
|
|
git -C mediaelement reset --hard HEAD
|
|
|
|
|
|
|
|
clean-mediaelement-plugins:
|
|
|
|
git -C mediaelement-plugins reset --hard HEAD
|
|
|
|
|
2024-11-12 02:50:31 +01:00
|
|
|
depend: \
|
|
|
|
depend-node \
|
|
|
|
depend-mediaelement \
|
|
|
|
depend-mediaelement-plugins
|
|
|
|
|
|
|
|
depend-mediaelement:
|
|
|
|
@echo "Preparing dependency \"mediaelement\" ..."
|
2024-11-13 07:35:37 +01:00
|
|
|
if test "$(PATCH_MEDIAELEMENT)" = "true" ; then \
|
|
|
|
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
|
2024-11-12 02:50:31 +01:00
|
|
|
cd mediaelement && grunt
|
|
|
|
|
|
|
|
depend-mediaelement-plugins:
|
|
|
|
@echo "Preparing dependency \"mediaelement-plugins\" ..."
|
2024-11-13 07:35:37 +01:00
|
|
|
if test "$(PATCH_MEDIAELEMENT_PLUGINS)" = "true" ; then \
|
|
|
|
git -C mediaelement-plugins reset --hard HEAD ; \
|
|
|
|
patch -d mediaelement-plugins -p1 < patches/mediaelement-plugins/01-playlist.js.diff ; \
|
|
|
|
fi
|
2024-11-12 02:50:31 +01:00
|
|
|
cd mediaelement-plugins && grunt
|
|
|
|
|
|
|
|
depend-node:
|
|
|
|
@echo "Installing required NodeJS dependencies ..."
|
|
|
|
npm install
|
2024-11-10 15:08:51 +01:00
|
|
|
|
|
|
|
css:
|
2024-11-12 02:50:31 +01:00
|
|
|
@echo "Building CSS ..."
|
2024-11-10 15:08:51 +01:00
|
|
|
css/build.sh
|
2024-11-12 02:50:31 +01:00
|
|
|
|
2024-11-10 15:08:51 +01:00
|
|
|
src:
|
2024-11-12 02:50:31 +01:00
|
|
|
@echo "Building Javascript ..."
|
2024-11-10 15:08:51 +01:00
|
|
|
src/build.sh
|
2024-11-12 02:50:31 +01:00
|
|
|
|
|
|
|
test:
|
|
|
|
@echo "Performing tests ..."
|
|
|
|
npm test
|