diff options
author | Joris | 2017-03-24 09:21:04 +0000 |
---|---|---|
committer | Joris | 2017-03-24 09:21:04 +0000 |
commit | cfca18262c1ff48dcb683ddab7d03cf8e55573ff (patch) | |
tree | 8a438430cee7411259fc395d8f3898488e85d750 /Makefile | |
parent | 293eb8295162bf0a038f488237db9c9d1316c04d (diff) |
Features/categories
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -1,10 +1,11 @@ all: build clean: - @cabal clean > /dev/null + @stack clean > /dev/null @rm -r elm-stuff >/dev/null 2>&1 || true install: + @stack setup @elm package install --yes # Watch @@ -27,10 +28,11 @@ watch-js: build-and-launch-server: build-server kill-server launch-server launch-server: - @./dist/build/sharedCost/sharedCost & + @stack exec sharedCost & kill-server: - @pkill sharedCost || true + @killall sharedCost || : + # Build # ----- @@ -39,7 +41,7 @@ kill-server: build: build-server build-elm build-js build-server: - @cabal build || true + @stack build || true build-elm: @elm make src/client/elm/Main.elm --output public/javascripts/client.js || true |