In Amedeo's makefile system for firmware, one can build it with
commands like:

gmake cem.lcls.xc4vfx60.bit
gmake cem.lcls.xc4vfx60

(or "shortened" versions of the above).

From .bit + .elf to .ace
------------------------

xmd -tcl genace.tcl -jprog -hw implementation/download.bit -elf ./ppc405_0/code/my_led.elf -ace implementation/system.ace