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