static void usage(void)
{
printf("Usage: %s [OPTION]... COMMAND [OPTION]...\n"
"\n"
"COMMAND is one of:\n"
" -a [OPTION]... FILE...\tAnalyse FILEs into work library\n"
" -e [OPTION]... UNIT\t\tElaborate and generate code for UNIT\n"
" -r [OPTION]... UNIT\t\tExecute previously elaborated UNIT\n"
" --codegen UNIT\t\tGenerate native shared library for UNIT\n"
" --dump [OPTION]... UNIT\t\tPrint out previously analysed UNIT\n"
" --make [OPTION]... [UNIT]...\tGenerate makefile to rebuild UNITs\n"
"\n"
"Global options may be placed before COMMAND:\n"
" -L PATH\t\tAdd PATH to library search paths\n"
" -h, --help\t\tDisplay this message and exit\n"
" --std=REV\t\tVHDL standard revision to use\n"
" -v, --version\t\tDisplay version and copyright information\n"
" --work=NAME\tUse NAME as the work library\n"
"\n"
"Analyse options:\n"
" --bootstrap\tAllow compilation of STANDARD package\n"
" --prefer-explicit\tExplict operators always hide implicit\n"
"\n"
"Elaborate options:\n"
" --cover\t\tEnable code coverage reporting\n"
" --disable-opt\tDisable LLVM optimisations\n"
" --dump-llvm\tPrint generated LLVM IR\n"
" --native\t\tGenerate native code shared library\n"
"\n"
"Run options:\n"
" -b, --batch\t\tRun in batch mode (default)\n"
" -c, --command\t\tRun in TCL command line mode\n"
" --exclude=GLOB\tExclude signals matching GLOB from wave dump\n"
" --format=FMT\tWaveform format is one of lxt, fst, or vcd\n"
" --include=GLOB\tInclude signals matching GLOB in wave dump\n"
" --stats\t\tPrint statistics at end of run\n"
" --stop-delta=N\tStop after N delta cycles (default %d)\n"
" --stop-time=T\tStop after simulation time T (e.g. 5ns)\n"
" --trace\t\tTrace simulation events\n"
" -w, --wave=FILE\tWrite waveform data; file name is optional\n"
"\n"
"Dump options:\n"
" -e, --elab\t\tDump an elaborated unit\n"
" -b, --body\t\tDump package body\n"
" --nets\t\tShow mapping from signals to nets\n"
"\n"
"Make options:\n"
" --deps-only\tOutput dependencies without actions\n"
" --native\t\tGenerate actions for native code generation\n"
" --posix\t\tStrictly POSIX compliant makefile\n"
"\n",
PACKAGE,
opt_get_int("stop-delta"));
printf("Library search paths:\n");
void *token = NULL;
const char *path;
while ((path = lib_enum_search_paths(&token)) != NULL)
printf(" %s\n", path);
printf("\nReport bugs to %s\n", PACKAGE_BUGREPORT);
}
static void usage(void)
{
printf("Usage: %s [OPTION]... COMMAND [OPTION]...\n"
"\n"
"COMMAND is one of:\n"
" -a [OPTION]... FILE...\t\tAnalyse FILEs into work library\n"
" -e [OPTION]... UNIT\t\tElaborate and generate code for UNIT\n"
" -r [OPTION]... UNIT\t\tExecute previously elaborated UNIT\n"
" --codegen UNIT\t\t\tGenerate native shared library for UNIT\n"
" --dump [OPTION]... UNIT\tPrint out previously analysed UNIT\n"
" --list\t\t\t\tPrint all units in the library\n"
" --make [OPTION]... [UNIT]...\tGenerate makefile to rebuild UNITs\n"
" --syntax FILE...\t\tCheck FILEs for syntax errors only\n"
"\n"
"Global options may be placed before COMMAND:\n"
" --force-init\tCreate a library in an existing directory\n"
" -h, --help\t\tDisplay this message and exit\n"
" --ignore-time\tSkip source file timestamp check\n"
" -L PATH\t\tAdd PATH to library search paths\n"
" --map=LIB:PATH\tMap library LIB to PATH\n"
" --messages=STYLE\tSelect full or compact message format\n"
" --std=REV\t\tVHDL standard revision to use\n"
" -v, --version\t\tDisplay version and copyright information\n"
" --work=NAME\tUse NAME as the work library\n"
"\n"
"Analyse options:\n"
" --bootstrap\tAllow compilation of STANDARD package\n"
" --relax=RULES\tDisable certain pedantic rule checks\n"
"\n"
"Elaborate options:\n"
" --cover\t\tEnable code coverage reporting\n"
" --disable-opt\tDisable LLVM optimisations\n"
" --dump-llvm\tPrint generated LLVM IR\n"
" --dump-vcode\tPrint generated intermediate code\n"
" -g NAME=VALUE\t\tSet top level generic NAME to VALUE\n"
" --native\t\tGenerate native code shared library\n"
" -V, --verbose\t\tPrint resource usage at each step\n"
"\n"
"Run options:\n"
" -b, --batch\t\tRun in batch mode (default)\n"
" -c, --command\t\tRun in TCL command line mode\n"
" --exclude=GLOB\tExclude signals matching GLOB from wave dump\n"
" --exit-severity=S\tExit after assertion failure of severity S\n"
" --format=FMT\tWaveform format is one of lxt, fst, or vcd\n"
" --include=GLOB\tInclude signals matching GLOB in wave dump\n"
#ifdef ENABLE_VHPI
" --load=PLUGIN\tLoad VHPI plugin at startup\n"
#endif
" --stats\t\tPrint statistics at end of run\n"
" --stop-delta=N\tStop after N delta cycles (default %d)\n"
" --stop-time=T\tStop after simulation time T (e.g. 5ns)\n"
" --trace\t\tTrace simulation events\n"
#ifdef ENABLE_VHPI
" --vhpi-trace\tTrace VHPI calls and events\n"
#endif
" -w, --wave=FILE\tWrite waveform data; file name is optional\n"
"\n"
"Dump options:\n"
" -e, --elab\t\tDump an elaborated unit\n"
" -b, --body\t\tDump package body\n"
" --nets\t\tShow mapping from signals to nets\n"
"\n"
"Make options:\n"
" --deps-only\tOutput dependencies without actions\n"
" --native\t\tGenerate actions for native code generation\n"
" --posix\t\tStrictly POSIX compliant makefile\n"
"\n",
PACKAGE,
opt_get_int("stop-delta"));
printf("Library search paths:\n");
void *token = NULL;
const char *path;
while ((path = lib_enum_search_paths(&token)) != NULL)
printf(" %s\n", path);
printf("\nReport bugs to %s\n", PACKAGE_BUGREPORT);
}
