Go to most recent revision | Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 11130 | georgesk | 1 | # This file allows one to make the Wims source tarball comply |
| 2 | # to the DFSG |
||
| 3 | |||
| 4 | TRUNK = $(abspath $(shell dirname $(abspath $(lastword $(MAKEFILE_LIST))))/../..) |
||
| 5 | |||
| 6 | WIMSHOME = $(TRUNK)/wims |
||
| 7 | |||
| 8 | IS_SVN = $(shell if [ -d "$(TRUNK)/.svn" ]; then echo true; else echo false; fi) |
||
| 9 | |||
| 10 | all: |
||
| 11 | ifeq ($(IS_SVN), false) |
||
| 12 | $(MAKE) deletions |
||
| 13 | else |
||
| 14 | @echo "ERROR" |
||
| 15 | @echo "You should never use this Makefile inside a SVN repository." |
||
| 16 | endif |
||
| 17 | |||
| 18 | deletions: removeUseless deleteBinaries |
||
| 19 | |||
| 20 | removeUseless: |
||
| 21 | find $(WIMSHOME) -name "*.bak" -o -name .DS_Store | xargs rm -f |
||
| 22 | |||
| 23 | deleteBinaries: |
||
| 24 | # sourceless precompiled ELF files |
||
| 25 | rm -f $(WIMSHOME)/bin/true |
||
| 26 | rm -f $(WIMSHOME)/bin/false |
||
| 27 | #### java binary files |
||
| 28 | find $(WIMSHOME) -name "*.jar" | xargs rm -f |
||
| 29 | #### flash binaries |
||
| 30 | rm -f $(WIMSHOME)/public_html/flash/*.swf |
||
| 31 | #### uglyfied javascript libraries |
||
| 32 | for d in jquery jsxgraph ; do \ |
||
| 33 | rm -rf $(WIMSHOME)/public_html/scripts/js/$d; \ |
||
| 34 | done |
||
| 35 | #### uglyfied javascript files |
||
| 36 | # Joke Evers' jqmath |
||
| 37 | for f in jqmath.js ; do \ |
||
| 38 | rm -f $(WIMSHOME)/public_html/scripts/authors/jm.evers/js/$f; \ |
||
| 39 | done |
||
| 40 | # asciimathml which is provided by a debian package |
||
| 41 | rm -f $(WIMSHOME)/public_html/scripts/js/ASCIIMathML.js \ |
||
| 42 | $(WIMSHOME)/public_html/scripts/js/LaTeXMathML.js |
||
| 43 | # mootools which is provided by a debian package |
||
| 44 | rm -f $(WIMSHOME)/public_html/scripts/js/editor/scripts_1/mootools.js |
||
| 45 | ## uglified third party libraries which should be got from their |
||
| 46 | ## official repositories |
||
| 47 | rm -rf $(WIMSHOME)/public_html/scripts/js/bower_components/jquery.mb.extruder |
||
| 48 | rm -rf $(WIMSHOME)/public_html/scripts/js/bower_components/what-input |
||
| 49 | ### delete symbols which will be generated during |
||
| 50 | ### the post-installation |
||
| 51 | rm -f $(WIMSHOME)/public_html/gifs/symbols/20/*.gif |
||
| 52 | ############## remove edit-area's uglified javascript |
||
| 53 | rm -f $(WIMSHOME)/public_html/scripts/js/edit_area/*full* |
||
| 54 | |||
| 55 | downloads: |
||
| 56 | ## jquery.mb.extruder version 2.6.0 |
||
| 57 | dest=$(WIMSHOME)/public_html/scripts/js/bower_components/; \ |
||
| 58 | cd $${dest}; \ |
||
| 59 | wget https://github.com/pupunzi/jquery.mb.extruder/archive/2.6.0.zip; \ |
||
| 60 | unzip 2.6.0.zip; rm 2.6.0.zip |
||
| 61 | ## what-input version 3.0.0 |
||
| 62 | dest=$(WIMSHOME)/public_html/scripts/js/bower_components/; \ |
||
| 63 | cd $${dest}; \ |
||
| 64 | wget https://github.com/ten1seven/what-input/archive/v3.0.0.zip; \ |
||
| 65 | unzip v3.0.0.zip; rm v3.0.0.zip |
||
| 66 | |||
| 67 | |||
| 68 | .PHONY: all deletions removeUseless deleteBinaries |