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