diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 6c9a2b3..0000000 --- a/Makefile +++ /dev/null @@ -1,22 +0,0 @@ -export PATH := node_modules/.bin:$(PATH) - -build: public/main.js - -public/main.js: node_modules $(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 - -node_modules: package.json - @bsb -init init - @mv init/node_modules . - @rm -rf init - @npm install - @touch -c node_modules - -clean: - @echo "Cleaning" - @rm -f public/main.js - @rm -rf node_modules lib - @find src -name '*.bs.js' -exec rm {} \; |