From 8eb07d94a12f0fb8d4a8f15043aedc8cadd7c676 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Wed, 22 Jul 2020 01:16:01 +0200
Subject: Initial commit

---
 vms/Makefile | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 vms/Makefile

(limited to 'vms/Makefile')

diff --git a/vms/Makefile b/vms/Makefile
new file mode 100644
index 0000000..3306b52
--- /dev/null
+++ b/vms/Makefile
@@ -0,0 +1,23 @@
+.PHONY: run_light
+run_light:
+	$(shell nix-build images.nix --no-out-link -A light)
+
+.PHONY: run_standalone
+run_standalone:
+	$(shell nix-build images.nix --no-out-link -A standalone)
+
+.PHONY: run_docker
+run_docker:
+	$(shell nix-build images.nix --no-out-link -A docker)
+
+.PHONY: build_light
+build_light:
+	nix-build images.nix --no-out-link -A light.eval
+
+.PHONY: build_standalone
+build_standalone:
+	nix-build images.nix --no-out-link -A standalone.eval
+
+.PHONY: build_docker
+build_docker:
+	nix-build images.nix --no-out-link -A docker.eval
-- 
cgit v1.2.3