diff options
author | Joris | 2022-07-05 15:05:22 +0200 |
---|---|---|
committer | Joris | 2022-07-05 15:05:22 +0200 |
commit | f02ff6b9a988db111e0384640876f20ecd0e8293 (patch) | |
tree | 2e40a88a8f10887dc985be18033682bb369ec179 /Makefile | |
parent | 650a23ed763d8627af14ed154fdb9097a80875c5 (diff) |
Simplify tooling
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 339ea3e..0000000 --- a/Makefile +++ /dev/null @@ -1,35 +0,0 @@ -all: build - -# Dev commands - -start: - @nix-shell --command "tmuxinator local" - -stop: - @nix-shell --command "tmuxinator stop ad-listener" - -# Other commands - -clean: - @stack clean > /dev/null - -install: - @stack setup - -watch: build - @nodemon --watch src --delay 0.2 -e hs,conf --exec 'clear && make build-and-launch' - -build-and-launch: - @(pkill ad-listener || true) && (stack build && make run || true) - -run: - @stack exec ad-listener - -build: - @stack build - -repl: - @stack repl - -test: - @stack test |