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.

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

Print available frontends and backends list when running synlig --help #2688

Merged
merged 1 commit into from
Nov 29, 2024

Conversation

kamilrakoczy
Copy link
Collaborator

Fixes: #2669

Fragment of help message:

    -L logfile
        like -l but open log file in line buffered mode

    -o outfile
        write the design to the specified file on exit

    -b backend
        use this backend for the output file specified on the command line
        list of available backends: aiger, blif, btor, cxxrtl, edif, firrtl,
        ilang, intersynth, jny, json, rtlil, simplec, smt2, smv, spice, table,
        test_autotb, verilog, xaiger

    -f frontend
        use the specified frontend for the input files on the command line
        list of available frontends: aiger, blif, ilang, json, liberty, rtlil,
        systemverilog, uhdm, verilog, verilog_with_uhdm, write_file, xaiger2

    -H
        print the command list

    -h command
        print the help message for the specified command

    -s scriptfile
        execute the commands in the script file

    -c tcl_scriptfile
        execute the commands in the tcl script file (see 'help tcl' for details)

Message on frontend not found error:

list of available frontends: aiger, blif, ilang, json, liberty, rtlil,
systemverilog, uhdm, verilog, verilog_with_uhdm, write_file, xaiger2

ERROR: No such frontend: xxx

Message on backend not found error:

list of available backends: aiger, blif, btor, cxxrtl, edif, firrtl, ilang,
intersynth, jny, json, rtlil, simplec, smt2, smv, spice, table, test_autotb,
verilog, xaiger

ERROR: No such backend: xxx

@tgorochowik tgorochowik merged commit 10efd31 into main Nov 29, 2024
36 checks passed
@tgorochowik tgorochowik deleted the 69176-print-available-frontends-and-backends branch November 29, 2024 16:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

synlig -h and synlig -f xxx should print list of available frontends
3 participants