diff options
Diffstat (limited to 'cad/yosys/Makefile')
-rw-r--r-- | cad/yosys/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile index 93b24e0cc50b..18c208669bde 100644 --- a/cad/yosys/Makefile +++ b/cad/yosys/Makefile @@ -1,6 +1,6 @@ PORTNAME= yosys DISTVERSIONPREFIX= yosys- -DISTVERSION= 0.25 +DISTVERSION= 0.26 CATEGORIES= cad MAINTAINER= yuri@FreeBSD.org @@ -32,7 +32,7 @@ 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/3505 +TEST_TARGET= test # some tests fail, see https://github.com/YosysHQ/yosys/issues/3666 OPTIONS_GROUP= SOLVERS OPTIONS_GROUP_SOLVERS= CVC5 YICES Z3 |