aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJoris2020-07-13 21:30:32 +0200
committerJoris2020-07-13 21:30:32 +0200
commitd1135ff55db85ef81bbe2bd8f283cdbbd5464298 (patch)
treea971c4d88b862b21ca2263c6c48b053d64c9b125 /Makefile
parent73a9d499c9e3709d99d61bbbbf412611a5c503b9 (diff)
Show map and add marks with right click
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile21
1 files changed, 21 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..cfcf127
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,21 @@
+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
+
+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 {} \;