set -tmpdir "F:/WORKAREA/blink_led/xst/projnav.tmp"
set -xsthdpdir "F:/WORKAREA/blink_led/xst"
elaborate
-ifn blinking.prj
-ifmt mixed
