Skip to content
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

[fix] fix the build command for symbiyosys #362

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[fix] fix the build command for symbiyosys #362

wants to merge 1 commit into from

Commits on Dec 29, 2022

  1. [fix] fix the build command for symbiyosys 

    The current `run` step of the symbiyosys backend generates a `sby` command which includes the hardcoded `-d build` argument. However, this command line argument is incompatible with multiple tasks.

This fix removes the hardcoded `-d` argument and introduces a new `extra_options` tool option for the symbiyosys backend, which can be used to pass additional arguments for the `sby` command (e.g. `-d build`, if necessary).

The example usage of the `extra_options`:
```
   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
     extra_options:
       # A list of extra command line arguments to sby. Defaults to empty.
       - -d
       - build
```
    @Henkru
    Henkru committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    14a192e View commit details
    Browse the repository at this point in the history