From 76d34b0ec5b413286cb1f5f20a1219b204b31aaa Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Wed, 25 Mar 2020 01:17:20 +0100
Subject: [PATCH] Add simple Makefile to build Docker images

---
 Makefile | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..0a4f0d5
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,26 @@
+.PHONY: symbiyosys ghdl-formal NOCACHE
+
+# Support for make environment variable NOCACHE
+ifeq (NOCACHE,$(lastword $(MAKECMDGOALS)))
+    OPTIONS := --no-cache
+    $(info INFO: build without cache)
+    $(eval $(lastword$(MAKECMDGOALS)):dummy;@:)
+endif
+
+NOCACHE:
+	@#
+
+
+ifndef TAG
+    TAG := latest
+    $(info INFO: Using predefined tag 'latest')
+else
+    $(info INFO: Using user given tag '${TAG}')
+endif
+
+all: symbiyosys ghdl-formal
+
+.SECONDEXPANSION:
+symbiyosys ghdl-formal: $$@.Dockerfile
+	docker build ${OPTIONS} -t $@:${TAG} -f $@.Dockerfile .
+	docker build -t $@:latest -f $@.Dockerfile .