[Bug 266917] cad/yosys Fails to use cad/abc since 0.22

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=266917

            Bug ID: 266917
           Summary: cad/yosys Fails to use cad/abc since 0.22
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: ports-bugs@FreeBSD.org
          Reporter: manu@freebsd.org
                CC: uddka@student.kit.edu, yuri@freebsd.org
                CC: uddka@student.kit.edu, yuri@freebsd.org

yosys now emit some abc script that uses fraig -x instead of ifraig (See
https://github.com/YosysHQ/yosys/commit/114253cd54808d929022014928eff9cd5eb0f275).
Problem is our cad/abc doesn't support this command.
Simply try to compile any project using yosys/abc and you will have :
2.41.1.1. Executing ABC.
Running ABC command: "abc" -s -f <abc-temp-dir>/abc.script 2>&1
ABC: ABC command line: "source <abc-temp-dir>/abc.script".
ABC: 
ABC: + read_blif <abc-temp-dir>/input.blif 
ABC: + read_lut <abc-temp-dir>/lutdefs.txt 
ABC: + strash 
ABC: + &get -n 
ABC: + &fraig -x 
ABC: &fraig: unknown option x
ABC: ** cmd error: aborting 'source <abc-temp-dir>/abc.script'

A good example is devel/lattice-ice40-examples-hx1k/

I couldn't find if there is some other abc that people are using or if updating
cad/abc to the latest tag will solve this.

-- 
You are receiving this mail because:
You are the assignee for the bug.