diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-10-31 18:04:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-31 18:04:53 +0100 |
| commit | 8d69220be7267754a680a11b2f70bab331c6b8cd (patch) | |
| tree | 2358751b0695c0ed0615617a24f8e325d949831b /Makefile | |
| parent | 499390e9ce0091e2c3f6d5dd95d1c62283ffe0d5 (diff) | |
| parent | 59b6ac47c9121278c9259b82c68b38477ccb73ad (diff) | |
| download | yosys-8d69220be7267754a680a11b2f70bab331c6b8cd.tar.gz yosys-8d69220be7267754a680a11b2f70bab331c6b8cd.tar.bz2 yosys-8d69220be7267754a680a11b2f70bab331c6b8cd.zip | |
Merge pull request #3533 from YosysHQ/micko/liberty
Liberty file support using verific library
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -19,6 +19,7 @@ ENABLE_EDITLINE := 0 ENABLE_GHDL := 0 ENABLE_VERIFIC := 0 ENABLE_VERIFIC_EDIF := 0 +ENABLE_VERIFIC_LIBERTY := 0 DISABLE_VERIFIC_EXTENSIONS := 0 DISABLE_VERIFIC_VHDL := 0 ENABLE_COVER := 1 @@ -544,6 +545,10 @@ ifeq ($(ENABLE_VERIFIC_EDIF),1) VERIFIC_COMPONENTS += edif CXXFLAGS += -DVERIFIC_EDIF_SUPPORT endif +ifeq ($(ENABLE_VERIFIC_LIBERTY),1) +VERIFIC_COMPONENTS += synlib +CXXFLAGS += -DVERIFIC_LIBERTY_SUPPORT +endif ifneq ($(DISABLE_VERIFIC_EXTENSIONS),1) VERIFIC_COMPONENTS += extensions CXXFLAGS += -DYOSYSHQ_VERIFIC_EXTENSIONS |