echo " -gdir <dir> : generation directory (default $generationdir)"
echo " -instprefix <dir> : creatools install prefix"
echo " -instprefix3 <dir> : 3rd party library install prefix"
echo " -gdir <dir> : generation directory (default $generationdir)"
echo " -instprefix <dir> : creatools install prefix"
echo " -instprefix3 <dir> : 3rd party library install prefix"