diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile index 9d16ca501ec8..2abfeb8f6542 100644 --- a/cad/yosys/Makefile +++ b/cad/yosys/Makefile @@ -1,46 +1,46 @@ # Created by: Johnny Sorocil PORTNAME= yosys DISTVERSIONPREFIX= yosys- -DISTVERSION= 0.12 +DISTVERSION= 0.13 CATEGORIES= cad MAINTAINER= yuri@FreeBSD.org COMMENT= Yosys Open SYnthesis Suite 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} TEST_DEPENDS= bash:shells/bash \ iverilog:cad/iverilog USES= bison compiler:c++11-lang gmake pkgconfig python:3.6+ readline \ shebangfix tcl SHEBANG_FILES= backends/smt2/smtbmc.py \ misc/yosys-config.in SHEBANG_GLOB= *.sh USE_GITHUB= yes GH_ACCOUNT= YosysHQ BINARY_ALIAS= python3=${PYTHON_CMD} tclsh=${TCLSH} MAKE_ARGS= ABCEXTERNAL=abc MAKE_ENV= MAKE=${GMAKE} TEST_TARGET= test 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 f4caa12ac5da..99b84f066cf4 100644 --- a/cad/yosys/distinfo +++ b/cad/yosys/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1638604342 -SHA256 (YosysHQ-yosys-yosys-0.12_GH0.tar.gz) = 0a7467058d11a5d905bf43a5f5fdafbbb22369365b7cc083215d8cf9a45975fa -SIZE (YosysHQ-yosys-yosys-0.12_GH0.tar.gz) = 2060970 +TIMESTAMP = 1642267779 +SHA256 (YosysHQ-yosys-yosys-0.13_GH0.tar.gz) = 004c203cb516887a8c76678a1fd76381198a8c46a17f4d893c34b7521df894b5 +SIZE (YosysHQ-yosys-yosys-0.13_GH0.tar.gz) = 2066136