8 cd system/script && vivado -mode batch -nolog -nojournal -source recreate.tcl
9 system/system.hdf system/system.bit:
10 cd system/script && vivado -mode batch -nolog -nojournal -source build.tcl
11 petalinux/bootscript: FORCE
12 $(MAKE) -C petalinux bootscript
13 petalinux/images/linux/BOOT.BIN: FORCE
14 $(MAKE) -C petalinux images/linux/BOOT.BIN
17 dist: system/system.hdf system/system.bit petalinux/bootscript petalinux/images/linux/BOOT.BIN
20 petalinux_config: system/system.hdf
21 $(MAKE) -C petalinux config
23 $(MAKE) -C petalinux build bootscript