XSA file creation is enabled by adding the following to your depfile:
@vivado.create_xsa = True
Notably, the XSA-creating TCL command only works if there's a copy of the bitstream at <implementation_run_directory>/<top_entity_name>.bit. So I updated the bitfile function to save the bitfile there, and then copy it under the IPBB products directory immediately afterwards.
XSA file creation is enabled by adding the following to your depfile:
Notably, the XSA-creating TCL command only works if there's a copy of the bitstream at
<implementation_run_directory>/<top_entity_name>.bit. So I updated thebitfilefunction to save the bitfile there, and then copy it under the IPBBproductsdirectory immediately afterwards.