From 18b90eaadffe4e37df95ac20d3348af1be5e7a52 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Wed, 25 Mar 2020 12:48:23 +0100
Subject: [PATCH] Add all to .PHONY

---
 Makefile               | 2 +-
 ghdl-formal.Dockerfile | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 0a4f0d5..baf65c9 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: symbiyosys ghdl-formal NOCACHE
+.PHONY: symbiyosys ghdl-formal all NOCACHE
 
 # Support for make environment variable NOCACHE
 ifeq (NOCACHE,$(lastword $(MAKECMDGOALS)))
diff --git a/ghdl-formal.Dockerfile b/ghdl-formal.Dockerfile
index 420f360..77945a0 100644
--- a/ghdl-formal.Dockerfile
+++ b/ghdl-formal.Dockerfile
@@ -3,7 +3,6 @@
 FROM symbiyosys as symbiyosys-ghdl
 
 ARG LLVM_VER="7"
-#ARG GNAT_VER="8"
 
 RUN apt-get update -qq && \
     DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \