set -tmpdir "./xst/projnav.tmp" elaborate -ifn mix_cpx.prj -ifmt mixed