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