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