diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-02-18 13:52:49 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-02-18 13:52:49 +0100 |
| commit | 5fa2aa27417447e62cee6edfbf6c1fb07d7b17b0 (patch) | |
| tree | 85cf1dbd58bba9d3316b4a818c5cf9ac1007a647 /frontends/verific/Makefile.inc | |
| parent | c4bf34f6ce7d6b8f80b4d1a4b88f8f0e0dc17813 (diff) | |
| download | yosys-5fa2aa27417447e62cee6edfbf6c1fb07d7b17b0.tar.gz yosys-5fa2aa27417447e62cee6edfbf6c1fb07d7b17b0.tar.bz2 yosys-5fa2aa27417447e62cee6edfbf6c1fb07d7b17b0.zip | |
Move Verific SVA importer to extra C++ source file
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific/Makefile.inc')
| -rw-r--r-- | frontends/verific/Makefile.inc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontends/verific/Makefile.inc b/frontends/verific/Makefile.inc index debaac0c5..972f4f9f1 100644 --- a/frontends/verific/Makefile.inc +++ b/frontends/verific/Makefile.inc @@ -3,6 +3,8 @@ OBJS += frontends/verific/verific.o ifeq ($(ENABLE_VERIFIC),1) +OBJS += frontends/verific/verificsva.o + EXTRA_TARGETS += share/verific share/verific: |