diff options
author | Joris | 2020-11-01 13:42:56 +0100 |
---|---|---|
committer | Joris | 2020-11-01 13:42:56 +0100 |
commit | 87e288cd01fbd04675a562bca582f7c2e591c010 (patch) | |
tree | 5cb92d3cc6b4b084516fddf32ce30bcb25f2c335 /Makefile | |
parent | adaec3d1925477e0922bf6ed88a708db4c97d766 (diff) |
Improve a bit
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 27 |
1 files changed, 5 insertions, 22 deletions
@@ -1,26 +1,9 @@ -all: build +build: install + @elm make src/Main.elm --output public/client.js || true clean: - @rm -r node_modules >/dev/null 2>&1 || true - @rm -r elm-stuff >/dev/null 2>&1 || true + @echo "Cleaning" + @rm -rf elm-stuff -install: - @npm install +install: elm-package.json @elm package install - -watch: kill-server launch-server watch-client - -# Build and launch -# ---------------- - -kill-server: - @fuser -k 8080/tcp || true - -launch-server: - @./node_modules/http-server/bin/http-server ./public -p 8080 & - -build: - @elm make src/Main.elm --output public/client.js || true - -watch-client: - @./node_modules/nodemon/bin/nodemon.js --watch src -e elm --exec 'clear && make build --silent' |