New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

SymbiYosys Backend Doesn't Support Running All Tasks #257

Open

GCHQDeveloper560 opened this issue Jul 15, 2021 · 0 comments · May be fixed by #362

Contributor

GCHQDeveloper560 commented Jul 15, 2021

The documentation in the SymbiYosys backend indicates that all tasks should be run if there's no setting for tasknames:

   symbiyosys:
     tasknames:
       # A list of task names to pass to sby. Defaults to empty (in which case
       # sby will run each task in the .sby file)
       - my_proof

However, leaving this unset produces the following sby error:

ERROR: Exactly one task is required when workdir is specified.

It appears that for this to work the -d option for sby should be removed in favour of using the default output directories.

The text was updated successfully, but these errors were encountered:

Henkru linked a pull request

that will close this issue

[fix] fix the build command for symbiyosys #362

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment