# TODO call Vivado, now call is commented out while the Vivado project structure exported is still under consolidation.
# The minimal set of files (including the TASTE auto generated ones) for such project structure is being defined. This set shall be the minimal still sufficient input to a working synthesis.
# TODO Header file generation might be added when run-time reconfiguration tasks are addressed.
# Following check is hugly and error prone, since it inspects vivado log. Change to check command return code instead using something like subprocess.check_call
# Extract return code out of make? or avoid using Makefiles and call directly vivado etc.
if("Generating bistream of project succeed"notinstatus)and("Now we would call vivado"notinstatus):
# Following check is ugly and error prone, since it inspects Vivado log. Change to check command return code instead using something like 'subprocess.check_call'
# Extract return code out of make? or avoid using Makefiles and call directly Vivado etc.
if("Generating bitstream of project succeed"notinstatus)and("Now we would call Vivado"notinstatus):
panic('Bitfile synthesis failed in "%s"'%os.getcwd())
# Bambu options reused from CoRA-MBAD. As further tests are performed, such options might be tailored for the ZynQ target and design needs in question.