diff options
Diffstat (limited to 'Makefile.patch')
-rw-r--r-- | Makefile.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Makefile.patch b/Makefile.patch new file mode 100644 index 000000000000..fa3b8bc0d210 --- /dev/null +++ b/Makefile.patch @@ -0,0 +1,20 @@ +--- Makefile ++++ Makefile +@@ -331,7 +331,7 @@ + + ANALYZE_DEP:=ghdl_$(backend)$(EXEEXT) + GHDL=$(PWD)/$(ANALYZE_DEP) +-ANALYZE_OPTS:= ++#ANALYZE_OPTS:= + ANALYZE:=$(GHDL) -a $(ANALYZE_OPTS) $(LIB_CFLAGS) + + # TODO?: don't include, make it separate +@@ -341,7 +341,7 @@ + ifeq "$(backend)" "gcc" + # ghdl with gcc backend is already installed, no need to specify ghdl1 + # (and we don't know where it is). +- STD_GHDL_FLAGS= ++ #STD_GHDL_FLAGS= + else + # Specify ghdl1 path, as it is spawned by ghdl. + STD_GHDL_FLAGS=--GHDL1=$(PWD)/ghdl1-$(backend)$(EXEEXT) |