The vck_190_v1_0_xsa.tcl script then sets the platform output type to hw_export.
vck_190_v1_0_xsa.tcl
hw_export