diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-10-05 08:20:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-05 08:20:03 +0200 |
| commit | b5d3920bf5441c6d9f83ee5345fbd3ca80adf098 (patch) | |
| tree | e49a9df3a2f7581cd1cad6b2e2a49d09bd139a0a /Makefile | |
| parent | 620af8b663485647575b9bb4e8aed669c109c0c5 (diff) | |
| parent | 1a6f10e8bacfe36ac436c86f8e4b3bdda05e267c (diff) | |
| download | yosys-b5d3920bf5441c6d9f83ee5345fbd3ca80adf098.tar.gz yosys-b5d3920bf5441c6d9f83ee5345fbd3ca80adf098.tar.bz2 yosys-b5d3920bf5441c6d9f83ee5345fbd3ca80adf098.zip | |
Merge pull request #3499 from YosysHQ/micko/verific_edif
Add support for EDIF file reading using Verific
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -18,6 +18,7 @@ ENABLE_READLINE := 1 ENABLE_EDITLINE := 0 ENABLE_GHDL := 0 ENABLE_VERIFIC := 0 +ENABLE_VERIFIC_EDIF := 0 DISABLE_VERIFIC_EXTENSIONS := 0 DISABLE_VERIFIC_VHDL := 0 ENABLE_COVER := 1 @@ -527,6 +528,10 @@ ifneq ($(wildcard $(VERIFIC_DIR)/vhdl),) VERIFIC_COMPONENTS += vhdl endif endif +ifeq ($(ENABLE_VERIFIC_EDIF),1) +VERIFIC_COMPONENTS += edif +CXXFLAGS += -DVERIFIC_EDIF_SUPPORT +endif ifneq ($(DISABLE_VERIFIC_EXTENSIONS),1) VERIFIC_COMPONENTS += extensions CXXFLAGS += -DYOSYSHQ_VERIFIC_EXTENSIONS |