Merged dockerfiles

This commit is contained in:
Jef Roosens 2022-02-22 18:04:54 +01:00
parent 6a44eb705a
commit f6b0e29552
Signed by untrusted user: Jef Roosens
GPG key ID: B580B976584B5F30
5 changed files with 56 additions and 58 deletions

View file

@ -42,6 +42,17 @@ pvieter: $(SOURCES)
c:
$(V) -o vieter.c $(SRC_DIR)
# Build the CLI tool
.PHONY: cli
cli: dvieterctl
dvieterctl: cli.v
$(V_PATH) -showcc -o dvieterctl cli.v
.PHONY: cli-prod
cli-prod: vieterctl
vieterctl: cli.v
cli-prod:
$(V_PATH) -showcc -o vieterctl -prod cli.v
# =====EXECUTION=====
# Run the server in the default 'data' directory