# From directory ....spec7/hdl/syn/spec7_tandem_boot
# hdlmake list-files > proj_file_list.txt

../../top/spec7_tandem_boot/spec7_tandem_boot_top.vhd
../../top/spec7_tandem_boot/spec7_tandem_boot_top.xdc

# bmm not supported by hdlmake? Need to add it manually...
../../ip/ps_pci_tandem.bd

# include hardware version ID un FPGA USER_ID register:
hdl_version.xdc
