Commit 10f8e4e5 authored by Ille, Ondrej, Ing.'s avatar Ille, Ondrej, Ing.

Enable PSL output.

parent 60acecf8
......@@ -96,7 +96,7 @@ def add_flags(ui, lib, build) -> None:
#lib.add_compile_option("ghdl.flags", ["-Wc,-g"])
lib.add_compile_option("ghdl.flags", ["-fprofile-arcs", "-ftest-coverage", "-fpsl"])
ui.set_sim_option("ghdl.elab_flags", ["-Wl,-lgcov", "-Wl,--coverage", "-Wl,-no-pie", "-fpsl"])
ui.set_sim_option("ghdl.sim_flags", ["--ieee-asserts=disable-at-0"])
ui.set_sim_option("ghdl.sim_flags", ["--ieee-asserts=disable-at-0", "--psl-report=psl_output"])
modelsim_init_files = get_common_modelsim_init_files()
ui.set_sim_option("modelsim.init_files.after_load", modelsim_init_files)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment