myplayer/Makefile

80 lines
1.7 KiB
Makefile
Raw Permalink Normal View History

PATCH_MEDIAELEMENT=true
PATCH_MEDIAELEMENT_PLUGINS=true
.PHONY: \
all \
2024-11-13 07:41:46 +01:00
clean \
clean-css \
clean-js \
clean-mediaelement \
clean-mediaelement-plugins \
depend \
depend-mediaelement \
depend-mediaelement-plugins \
depend-node \
css \
src \
test
2024-11-10 15:08:51 +01:00
all: \
depend \
css \
src
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
depend: \
depend-node \
depend-mediaelement \
depend-mediaelement-plugins
depend-mediaelement:
@echo "Preparing dependency \"mediaelement\" ..."
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
cd mediaelement && grunt
depend-mediaelement-plugins:
@echo "Preparing dependency \"mediaelement-plugins\" ..."
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
cd mediaelement-plugins && grunt
depend-node:
@echo "Installing required NodeJS dependencies ..."
npm install
2024-11-10 15:08:51 +01:00
css:
@echo "Building CSS ..."
2024-11-10 15:08:51 +01:00
css/build.sh
2024-11-10 15:08:51 +01:00
src:
@echo "Building Javascript ..."
2024-11-10 15:08:51 +01:00
src/build.sh
test:
@echo "Performing tests ..."
npm test