diff options
Diffstat (limited to 'vms/Makefile')
-rw-r--r-- | vms/Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/vms/Makefile b/vms/Makefile new file mode 100644 index 0000000..3306b52 --- /dev/null +++ b/vms/Makefile | |||
@@ -0,0 +1,23 @@ | |||
1 | .PHONY: run_light | ||
2 | run_light: | ||
3 | $(shell nix-build images.nix --no-out-link -A light) | ||
4 | |||
5 | .PHONY: run_standalone | ||
6 | run_standalone: | ||
7 | $(shell nix-build images.nix --no-out-link -A standalone) | ||
8 | |||
9 | .PHONY: run_docker | ||
10 | run_docker: | ||
11 | $(shell nix-build images.nix --no-out-link -A docker) | ||
12 | |||
13 | .PHONY: build_light | ||
14 | build_light: | ||
15 | nix-build images.nix --no-out-link -A light.eval | ||
16 | |||
17 | .PHONY: build_standalone | ||
18 | build_standalone: | ||
19 | nix-build images.nix --no-out-link -A standalone.eval | ||
20 | |||
21 | .PHONY: build_docker | ||
22 | build_docker: | ||
23 | nix-build images.nix --no-out-link -A docker.eval | ||