search

hdl / containers

Building and deploying container images for open source electronic design automation (EDA)
https://hdl.github.io/containers/
Apache License 2.0
107 stars 25 forks source link

Yosys build has failed for a long time #70

Open Topi-ab opened 4 months ago

Topi-ab commented 4 months ago

I was wondering why hdlc/formal from docker hub had outdated yosys build.

Now I realized that the last time build succeeded was Dec 15, 2023. https://github.com/hdl/containers/actions/workflows/yosys.yml https://github.com/hdl/containers/actions/runs/7216298306

Looks like g++ is missing from the preparation https://github.com/hdl/containers/actions/runs/9705516523/job/26787730757#step:3:1431

Topi-ab commented 4 months ago

It seems I found the issue. Tried to push a commit, but failed due to missing permissions.

debian-bullseye/yosys/HDLC:

  1. Add build-essential to makedepends
  bison
  flex
  gawk
  gcc
  build-essential
  pkg-config
  zlib1g-dev
  clang
  git
  make
)
  1. Change git clone line to include submodules:

git clone --recurse-submodules https://github.com/YosysHQ/yosys.git /tmp/yosys

parasyte commented 4 months ago

Today I hit two issues with the old Yosys in this container. One is that abc crashes with an assertion failure in some cases, and it was supposedly fixed by https://github.com/YosysHQ/yosys/pull/4351 in Yosys 0.41.

The other problem I just kind of hope was resolved since December, but the abc one is my current blocker.

Topi-ab commented 3 months ago

@umarcor

You are able to fix this, right?