diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index c40999d..0000000 --- a/Makefile +++ /dev/null @@ -1,21 +0,0 @@ -export PATH := node_modules/.bin:$(PATH) - -build: public/main.js - -public/main.js: install $(shell find src \( -type d -o \( -type f -a -regex ".*\.ml" \) \)) - @echo "Building $@" - @bsb -make-world - @rollup --config rollup.config.js - @terser $@ --output $@ --compress --mangle - -install: - @npm install - @bsb -init init - @mv init/node_modules/bs-platform node_modules - @rm -rf init - -clean: - @echo "Cleaning" - @rm -f public/main.js - @rm -rf node_modules lib - @find src -name '*.bs.js' -exec rm {} \; |