diff options
Diffstat (limited to 'server')
| -rw-r--r-- | server/makefile | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/server/makefile b/server/makefile index c959b948..8c8303ac 100644 --- a/server/makefile +++ b/server/makefile @@ -16,13 +16,23 @@ SERVER = ../target/release/hurrycurry-server REPLAYTOOL = ../target/release/hurrycurry-replaytool +DISCOVER = ../target/release/hurrycurry-discover +BOT = ../target/release/hurrycurry-bot -.PHONY: all -all: $(SERVER) $(REPLAYTOOL) +.PHONY: all clean server replaytool discover bot +all: server replaytool discover bot +server: $(SERVER) +replaytool: $(REPLAYTOOL) +discover: $(DISCOVER) +bot: $(BOT) clean: $(SERVER): $(shell find protocol src -type f) cargo $(CARGOFLAGS) build --release $(REPLAYTOOL): $(shell find protocol replaytool -type f) { cd replaytool; cargo $(CARGOFLAGS) build --release; } +$(BOT): $(shell find protocol bot client-lib -type f) + { cd bot; cargo $(CARGOFLAGS) build --release; } +$(DISCOVER): $(shell find protocol discover -type f) + { cd discover; cargo $(CARGOFLAGS) build --release; } |