From eeb59068531c7fc85893ec4fa6721535113f0f5b Mon Sep 17 00:00:00 2001 From: eine Date: Tue, 29 Dec 2020 06:58:00 +0100 Subject: remove yosys.diff, was upstreamed to YosysHQ/yosys --- yosys.diff | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 yosys.diff diff --git a/yosys.diff b/yosys.diff deleted file mode 100644 index 3e3ecc3..0000000 --- a/yosys.diff +++ /dev/null @@ -1,27 +0,0 @@ -diff --git a/Makefile b/Makefile -index b3cfd71..ea45121 100644 ---- a/Makefile -+++ b/Makefile -@@ -13,6 +13,7 @@ ENABLE_TCL := 1 - ENABLE_ABC := 1 - ENABLE_GLOB := 1 - ENABLE_PLUGINS := 1 -+ENABLE_GHDL := 0 - ENABLE_READLINE := 1 - ENABLE_EDITLINE := 0 - ENABLE_VERIFIC := 0 -@@ -487,6 +489,14 @@ ifeq ($(ENABLE_PROTOBUF),1) - LDLIBS += $(shell pkg-config --cflags --libs protobuf) - endif - -+ifeq ($(ENABLE_GHDL),1) -+GHDL_DIR ?= /usr/local/ghdl -+GHDL_INCLUDE_DIR ?= $(GHDL_DIR)/include -+GHDL_LIB_DIR ?= $(GHDL_DIR)/lib -+CXXFLAGS += -I$(GHDL_INCLUDE_DIR) -DYOSYS_ENABLE_GHDL -+LDLIBS += $(GHDL_LIB_DIR)/libghdl.a $(shell cat $(GHDL_LIB_DIR)/libghdl.link) -+endif -+ - ifeq ($(ENABLE_COVER),1) - CXXFLAGS += -DYOSYS_ENABLE_COVER - endif -- cgit v1.2.3