diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-06-06 20:43:12 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-06-06 21:10:57 +0000 |
| commit | fcffbcbce70a1f7fe254f6d11ca3291c5ffef35b (patch) | |
| tree | a2213845e3cddc8f7a6d307a5d08fa9215339a6e /cad/yosys | |
| parent | 03896b642b6e9e448ece02add1a88ef65385d505 (diff) | |
| download | ports-fcffbcbce70a1f7fe254f6d11ca3291c5ffef35b.tar.gz ports-fcffbcbce70a1f7fe254f6d11ca3291c5ffef35b.zip | |
cad/yosys: Update 0.29 → 0.30; Add TCMALLOC option
Diffstat (limited to 'cad/yosys')
| -rw-r--r-- | cad/yosys/Makefile | 8 | ||||
| -rw-r--r-- | cad/yosys/distinfo | 6 | ||||
| -rw-r--r-- | cad/yosys/pkg-plist | 1 |
3 files changed, 10 insertions, 5 deletions
diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile index 14d87cc627df..5f67bec820c9 100644 --- a/cad/yosys/Makefile +++ b/cad/yosys/Makefile @@ -1,6 +1,6 @@ PORTNAME= yosys DISTVERSIONPREFIX= yosys- -DISTVERSION= 0.29 +DISTVERSION= 0.30 CATEGORIES= cad MAINTAINER= yuri@FreeBSD.org @@ -36,7 +36,8 @@ TEST_TARGET= test # some tests fail, see https://github.com/YosysHQ/yosys/issues OPTIONS_GROUP= SOLVERS OPTIONS_GROUP_SOLVERS= CVC5 YICES Z3 -OPTIONS_DEFAULT= YICES # same as the default in C++ code +OPTIONS_DEFINE= TCMALLOC +OPTIONS_DEFAULT= TCMALLOC YICES # YICES: same as the default in C++ code ; TCMALLOC: should be the same default as in cad/surelog, cad/uhdm because surelog's lib is used in the yosys plugin cad/yosys-systemverilog SOLVERS_DESC= Install SAT solvers CVC5_DESC= CVC SAT Solver @@ -47,6 +48,9 @@ CVC5_RUN_DEPENDS= cvc5:math/cvc5 YICES_RUN_DEPENDS= yices_smt2:math/yices Z3_RUN_DEPENDS= z3:math/z3 +TCMALLOC_LDFLAGS= `pkg-config --libs libtcmalloc` +TCMALLOC_LIB_DEPENDS= libtcmalloc.so:devel/google-perftools + post-patch: ${REINPLACE_CMD} -e '/^CXX =/d; s/^LD = .*/LD = $$(CXX)/' \ -e '/^CONFIG/s/clang/${CHOSEN_COMPILER_TYPE}/' \ diff --git a/cad/yosys/distinfo b/cad/yosys/distinfo index 32cdc5ddbb54..15c809f7b985 100644 --- a/cad/yosys/distinfo +++ b/cad/yosys/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1683699968 -SHA256 (YosysHQ-yosys-yosys-0.29_GH0.tar.gz) = 475ba8cd06eec9050ebfd63a01e7a7c894d8f06c838b35459b7e29bbc89f4a22 -SIZE (YosysHQ-yosys-yosys-0.29_GH0.tar.gz) = 2524267 +TIMESTAMP = 1686070461 +SHA256 (YosysHQ-yosys-yosys-0.30_GH0.tar.gz) = 1b29c9ed3d396046b67c48f0900a5f2156c6136f2e0651671d05ee26369f147d +SIZE (YosysHQ-yosys-yosys-0.30_GH0.tar.gz) = 2542403 diff --git a/cad/yosys/pkg-plist b/cad/yosys/pkg-plist index 2a1cef9956d7..1dc280bb289a 100644 --- a/cad/yosys/pkg-plist +++ b/cad/yosys/pkg-plist @@ -72,6 +72,7 @@ bin/yosys-witness %%DATADIR%%/gowin/brams_map.v %%DATADIR%%/gowin/cells_map.v %%DATADIR%%/gowin/cells_sim.v +%%DATADIR%%/gowin/cells_xtra.v %%DATADIR%%/gowin/lutrams.txt %%DATADIR%%/gowin/lutrams_map.v %%DATADIR%%/greenpak4/cells_blackbox.v |