set -tmpdir "C:/Documents and Settings/GENERAL/Bureau/GENERIC_16_16/xst/projnav.tmp" set -xsthdpdir "C:/Documents and Settings/GENERAL/Bureau/GENERIC_16_16/xst" elaborate -ifn scheduler2_2.prj -ifmt mixed