2019-01-31 02:54:47 +00:00
|
|
|
.PHONY: clean build
|
|
|
|
|
|
|
|
all: build
|
|
|
|
|
|
|
|
install:
|
|
|
|
spago install
|
|
|
|
|
|
|
|
build:
|
|
|
|
@spago build
|
2019-06-19 18:49:48 +00:00
|
|
|
@spago bundle-app --to dist/bundle.js
|
2019-02-01 04:31:06 +00:00
|
|
|
@npm run parcel-build
|
2019-01-31 02:54:47 +00:00
|
|
|
@rm -f dist/*.gz
|
2019-08-27 04:14:28 +00:00
|
|
|
@gzip -k dist/app.min.js.map
|
2019-01-31 02:54:47 +00:00
|
|
|
@gzip -k dist/app.min.js
|
|
|
|
@find dist -type f -printf "%kK\\t%h/%f\\n" | sort -k 2
|
2019-08-27 04:14:28 +00:00
|
|
|
@cp dist/app.min.js.map ../static/js/app.min.js.map
|
|
|
|
@cp dist/app.min.js.map.gz ../static/js/app.min.js.map.gz
|
2019-01-31 02:54:47 +00:00
|
|
|
@cp dist/app.min.js ../static/js/app.min.js
|
|
|
|
@cp dist/app.min.js.gz ../static/js/app.min.js.gz
|
|
|
|
|
|
|
|
docs:
|
|
|
|
@rm -Rf generated-docs
|
|
|
|
@purs docs ".spago/*/*/src/**/*.purs" --format html
|
|
|
|
|
2019-02-06 15:49:05 +00:00
|
|
|
docset: docs
|
|
|
|
@(cd docset; python3 ./gen-docset.py)
|
2019-01-31 02:54:47 +00:00
|
|
|
clean:
|
|
|
|
rm -f dist/*
|
|
|
|
|
|
|
|
# inotifywait -m -r -q -e close_write --format '%T %w%f' --timefmt '%T' src | while read FILE; do echo $FILE; make; done
|