aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile21
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 {} \;