diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile index 67743102ff3f..aa7cbb94501b 100644 --- a/cad/yosys/Makefile +++ b/cad/yosys/Makefile @@ -1,62 +1,64 @@ PORTNAME= yosys -DISTVERSION= 0.46 +DISTVERSION= 0.47 CATEGORIES= cad MAINTAINER= yuri@FreeBSD.org COMMENT= Yosys Open SYnthesis Suite -WWW= https://yosyshq.net/yosys/ +WWW= https://yosyshq.net/yosys/ \ + https://github.com/YosysHQ/yosys LICENSE= ISCL LICENSE_FILE= ${WRKSRC}/COPYING BUILD_DEPENDS= abc:cad/abc \ bash:shells/bash \ gawk:lang/gawk LIB_DEPENDS= libffi.so:devel/libffi RUN_DEPENDS= xdot:x11/py-xdot@${PY_FLAVOR} \ bash:shells/bash TEST_DEPENDS= iverilog:cad/iverilog USES= bison compiler:c++11-lang gmake pkgconfig python readline \ shebangfix tcl SHEBANG_FILES= backends/smt2/smtbmc.py \ misc/yosys-config.in SHEBANG_GLOB= *.sh *.py USE_GITHUB= yes GH_ACCOUNT= YosysHQ +GH_TUPLE= jarro2783:cxxopts:4bf61f0:cxxopts/libs/cxxopts BINARY_ALIAS= python3=${PYTHON_CMD} tclsh=${TCLSH} MAKE_ARGS= ABCEXTERNAL=abc MAKE_ENV= MAKE=${GMAKE} TEST_TARGET= test # some tests fail, see https://github.com/YosysHQ/yosys/issues/3731 OPTIONS_GROUP= SOLVERS OPTIONS_GROUP_SOLVERS= CVC5 YICES Z3 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 YICES_DESC= Yices SAT Solver Z3_DESC= Z3 SAT Solver 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}/' \ ${WRKSRC}/Makefile post-install: ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/yosys .include diff --git a/cad/yosys/distinfo b/cad/yosys/distinfo index 4d032be2c22d..90123d036228 100644 --- a/cad/yosys/distinfo +++ b/cad/yosys/distinfo @@ -1,3 +1,5 @@ -TIMESTAMP = 1728533248 -SHA256 (YosysHQ-yosys-0.46_GH0.tar.gz) = 429966c5ac990bdd82f0084c5afa5f890b144014cc8aa093a184a89339c27937 -SIZE (YosysHQ-yosys-0.46_GH0.tar.gz) = 3043092 +TIMESTAMP = 1730924311 +SHA256 (YosysHQ-yosys-0.47_GH0.tar.gz) = b22a1dc2fd62a3ddd89d572c8d3755c122a5fee7640c8c8a1e10683da116ca77 +SIZE (YosysHQ-yosys-0.47_GH0.tar.gz) = 3020517 +SHA256 (jarro2783-cxxopts-4bf61f0_GH0.tar.gz) = b82f3475956e9456e416c2234e12dcd8151099278b9cbf1617aa30483af00c58 +SIZE (jarro2783-cxxopts-4bf61f0_GH0.tar.gz) = 160621