mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity

update

Browse source
This commit is contained in:
Alain Dargelas 2024-10-16 20:49:00 -07:00
commit 156bfafea0
3 changed files with 14 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

13
Makefile
View file

@ -24,6 +24,7 @@ ENABLE_VERIFIC_HIER_TREE := 1
ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0
ENABLE_VERIFIC_EDIF := 0
ENABLE_VERIFIC_LIBERTY := 0
ENABLE_VERIFIC_UPF := 1
ENABLE_COVER := 1
ENABLE_LIBYOSYS := 0
ENABLE_ZLIB := 1
@ -48,6 +49,11 @@ DISABLE_SPAWN := 0
# Needed for environments that don't have proper thread support (i.e. emscripten, wasm--for now)
DISABLE_ABC_THREADS := 0
# UPF requires TCL
ifeq ($(ENABLE_VERIFIC_UPF),1)
ENABLE_TCL := 1
endif
# clang sanitizers
SANITIZER =
# SANITIZER = address
@ -155,7 +161,7 @@ ifeq ($(OS), Haiku)
CXXFLAGS += -D_DEFAULT_SOURCE
endif
YOSYS_VER := 0.46+32
YOSYS_VER := 0.46+107
# Note: We arrange for .gitcommit to contain the (short) commit hash in
# tarballs generated with git-archive(1) using .gitattributes. The git repo
@ -532,6 +538,11 @@ ifeq ($(ENABLE_VERIFIC_LIBERTY),1)
VERIFIC_COMPONENTS += synlib
CXXFLAGS += -DVERIFIC_LIBERTY_SUPPORT
endif
ifeq ($(ENABLE_VERIFIC_UPF),1)
VERIFIC_COMPONENTS += hdl_file_sort verilog_nl
VERIFIC_COMPONENTS += commands upf
CXXFLAGS += -DVERIFIC_UPF_SUPPORT
endif
ifeq ($(ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS),1)
VERIFIC_COMPONENTS += extensions
CXXFLAGS += -DYOSYSHQ_VERIFIC_EXTENSIONS

2
verific

@ -1 +1 @@
Subproject commit daddc8a191f4206ab3a03faebbc0018828b18591
Subproject commit 6c424575286e66b434fab12663a627653e2c265e

2
yosys-slang

@ -1 +1 @@
Subproject commit 9cdd8ccc73b870021c8245652148baa12777bc16
Subproject commit e11a98349bf687f945b47a5eb69bae49dd4f0b63