diff --git a/ChangeLog b/ChangeLog index bccd50b..65600b9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -36,3 +36,11 @@ * fixed segfaults when opening non-existant files * allow $random arg to be hiearchical reference * allow bit references to scalar variables + +2005-09-17 Mark Hummel + + * added --enable-gprof configuration switch + * added --enable-all-static configuration switch + * changed --version and --help output to be work with help2man + * added man page + diff --git a/Makefile.am b/Makefile.am index b7f2b32..6e15a0b 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,7 +1,7 @@ if USE_LXT LXT=lxt endif -SUBDIRS = replace $(LXT) src . +SUBDIRS = doc replace $(LXT) src . EXTRA_DIST = bootstrap diff --git a/Makefile.in b/Makefile.in index ce97771..247b4c2 100644 --- a/Makefile.in +++ b/Makefile.in @@ -62,7 +62,7 @@ RECURSIVE_TARGETS = all-recursive check-recursive dvi-recursive \ uninstall-recursive ETAGS = etags CTAGS = ctags -DIST_SUBDIRS = replace lxt src . +DIST_SUBDIRS = doc replace lxt src . DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) distdir = $(PACKAGE)-$(VERSION) top_distdir = $(distdir) @@ -175,7 +175,7 @@ sharedstatedir = @sharedstatedir@ sysconfdir = @sysconfdir@ target_alias = @target_alias@ @USE_LXT_TRUE@LXT = lxt -SUBDIRS = replace $(LXT) src . +SUBDIRS = doc replace $(LXT) src . EXTRA_DIST = bootstrap AM_CFLAGS = @PATHS@ all: config.h diff --git a/TODO b/TODO index f36506f..5f6318f 100644 --- a/TODO +++ b/TODO @@ -1,4 +1,3 @@ -* create man pages * add email addresses * add lxt2 support * add dynamic loading of pli code diff --git a/configure b/configure index 01a3a68..c67594c 100755 --- a/configure +++ b/configure @@ -1026,6 +1026,7 @@ Optional Features: --enable-FEATURE[=ARG] include FEATURE [ARG=yes] --enable-m32 compile in 32 bit modes (default is no) --disable-lxt compile lxt pli routines (default is yes) + --enable-all-static Build completely static (standalone) binaries. --disable-dependency-tracking speeds up one-time build --enable-dependency-tracking do not reject slow dependency extractors --enable-shared[=PKGS] @@ -1035,6 +1036,8 @@ Optional Features: --enable-fast-install[=PKGS] optimize for fast installation [default=yes] --disable-libtool-lock avoid locking (might break parallel builds) + --enable-gprof Produce gprof profiling data in 'gmon.out' (GCC + only). Optional Packages: --with-PACKAGE[=ARG] use PACKAGE [ARG=yes] @@ -1973,6 +1976,17 @@ fi; echo "$as_me:$LINENO: result: $ac_cv_enable_lxt" >&5 echo "${ECHO_T}$ac_cv_enable_lxt" >&6 +# Before configuring libtool check for --enable-all-static option +# Check whether --enable-all-static or --disable-all-static was given. +if test "${enable_all_static+set}" = set; then + enableval="$enable_all_static" + + if test "$enableval" = "yes" ; then + LT_LDFLAGS="-all-static $LT_LDFLAGS" + fi + +fi; + # Checks for programs. ac_ext=cc ac_cpp='$CXXCPP $CPPFLAGS' @@ -3701,6 +3715,7 @@ else RANLIB="$ac_cv_prog_RANLIB" fi + if test X"$ac_cv_enable_m32" = Xyes then CFLAGS="$CFLAGS -m32" @@ -4313,7 +4328,7 @@ ia64-*-hpux*) ;; *-*-irix6*) # Find out which ABI we are using. - echo '#line 4316 "configure"' > conftest.$ac_ext + echo '#line 4331 "configure"' > conftest.$ac_ext if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5 (eval $ac_compile) 2>&5 ac_status=$? @@ -5428,7 +5443,7 @@ fi # Provide some information about the compiler. -echo "$as_me:5431:" \ +echo "$as_me:5446:" \ "checking for Fortran 77 compiler version" >&5 ac_compiler=`set X $ac_compile; echo $2` { (eval echo "$as_me:$LINENO: \"$ac_compiler --version &5\"") >&5 @@ -6526,11 +6541,11 @@ else -e 's:.*FLAGS}? :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:6529: $lt_compile\"" >&5) + (eval echo "\"\$as_me:6544: $lt_compile\"" >&5) (eval "$lt_compile" 2>conftest.err) ac_status=$? cat conftest.err >&5 - echo "$as_me:6533: \$? = $ac_status" >&5 + echo "$as_me:6548: \$? = $ac_status" >&5 if (exit $ac_status) && test -s "$ac_outfile"; then # The compiler can only warn and ignore the option if not recognized # So say no if there are warnings other than the usual output. @@ -6788,11 +6803,11 @@ else -e 's:.*FLAGS}? :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:6791: $lt_compile\"" >&5) + (eval echo "\"\$as_me:6806: $lt_compile\"" >&5) (eval "$lt_compile" 2>conftest.err) ac_status=$? cat conftest.err >&5 - echo "$as_me:6795: \$? = $ac_status" >&5 + echo "$as_me:6810: \$? = $ac_status" >&5 if (exit $ac_status) && test -s "$ac_outfile"; then # The compiler can only warn and ignore the option if not recognized # So say no if there are warnings other than the usual output. @@ -6850,11 +6865,11 @@ else -e 's:.*FLAGS}? :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:6853: $lt_compile\"" >&5) + (eval echo "\"\$as_me:6868: $lt_compile\"" >&5) (eval "$lt_compile" 2>out/conftest.err) ac_status=$? cat out/conftest.err >&5 - echo "$as_me:6857: \$? = $ac_status" >&5 + echo "$as_me:6872: \$? = $ac_status" >&5 if (exit $ac_status) && test -s out/conftest2.$ac_objext then # The compiler can only warn and ignore the option if not recognized @@ -8236,7 +8251,7 @@ linux*) libsuff= case "$host_cpu" in x86_64*|s390x*|powerpc64*) - echo '#line 8239 "configure"' > conftest.$ac_ext + echo '#line 8254 "configure"' > conftest.$ac_ext if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5 (eval $ac_compile) 2>&5 ac_status=$? @@ -9111,7 +9126,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext < conftest.$ac_ext <&5) + (eval echo "\"\$as_me:11475: $lt_compile\"" >&5) (eval "$lt_compile" 2>conftest.err) ac_status=$? cat conftest.err >&5 - echo "$as_me:11464: \$? = $ac_status" >&5 + echo "$as_me:11479: \$? = $ac_status" >&5 if (exit $ac_status) && test -s "$ac_outfile"; then # The compiler can only warn and ignore the option if not recognized # So say no if there are warnings other than the usual output. @@ -11519,11 +11534,11 @@ else -e 's:.*FLAGS}? :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:11522: $lt_compile\"" >&5) + (eval echo "\"\$as_me:11537: $lt_compile\"" >&5) (eval "$lt_compile" 2>out/conftest.err) ac_status=$? cat out/conftest.err >&5 - echo "$as_me:11526: \$? = $ac_status" >&5 + echo "$as_me:11541: \$? = $ac_status" >&5 if (exit $ac_status) && test -s out/conftest2.$ac_objext then # The compiler can only warn and ignore the option if not recognized @@ -12034,7 +12049,7 @@ linux*) libsuff= case "$host_cpu" in x86_64*|s390x*|powerpc64*) - echo '#line 12037 "configure"' > conftest.$ac_ext + echo '#line 12052 "configure"' > conftest.$ac_ext if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5 (eval $ac_compile) 2>&5 ac_status=$? @@ -12909,7 +12924,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext < conftest.$ac_ext <&5) + (eval echo "\"\$as_me:13910: $lt_compile\"" >&5) (eval "$lt_compile" 2>conftest.err) ac_status=$? cat conftest.err >&5 - echo "$as_me:13899: \$? = $ac_status" >&5 + echo "$as_me:13914: \$? = $ac_status" >&5 if (exit $ac_status) && test -s "$ac_outfile"; then # The compiler can only warn and ignore the option if not recognized # So say no if there are warnings other than the usual output. @@ -13954,11 +13969,11 @@ else -e 's:.*FLAGS}? :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:13957: $lt_compile\"" >&5) + (eval echo "\"\$as_me:13972: $lt_compile\"" >&5) (eval "$lt_compile" 2>out/conftest.err) ac_status=$? cat out/conftest.err >&5 - echo "$as_me:13961: \$? = $ac_status" >&5 + echo "$as_me:13976: \$? = $ac_status" >&5 if (exit $ac_status) && test -s out/conftest2.$ac_objext then # The compiler can only warn and ignore the option if not recognized @@ -15320,7 +15335,7 @@ linux*) libsuff= case "$host_cpu" in x86_64*|s390x*|powerpc64*) - echo '#line 15323 "configure"' > conftest.$ac_ext + echo '#line 15338 "configure"' > conftest.$ac_ext if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5 (eval $ac_compile) 2>&5 ac_status=$? @@ -16097,11 +16112,11 @@ else -e 's:.*FLAGS}? :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:16100: $lt_compile\"" >&5) + (eval echo "\"\$as_me:16115: $lt_compile\"" >&5) (eval "$lt_compile" 2>conftest.err) ac_status=$? cat conftest.err >&5 - echo "$as_me:16104: \$? = $ac_status" >&5 + echo "$as_me:16119: \$? = $ac_status" >&5 if (exit $ac_status) && test -s "$ac_outfile"; then # The compiler can only warn and ignore the option if not recognized # So say no if there are warnings other than the usual output. @@ -16359,11 +16374,11 @@ else -e 's:.*FLAGS}? :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:16362: $lt_compile\"" >&5) + (eval echo "\"\$as_me:16377: $lt_compile\"" >&5) (eval "$lt_compile" 2>conftest.err) ac_status=$? cat conftest.err >&5 - echo "$as_me:16366: \$? = $ac_status" >&5 + echo "$as_me:16381: \$? = $ac_status" >&5 if (exit $ac_status) && test -s "$ac_outfile"; then # The compiler can only warn and ignore the option if not recognized # So say no if there are warnings other than the usual output. @@ -16421,11 +16436,11 @@ else -e 's:.*FLAGS}? :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:16424: $lt_compile\"" >&5) + (eval echo "\"\$as_me:16439: $lt_compile\"" >&5) (eval "$lt_compile" 2>out/conftest.err) ac_status=$? cat out/conftest.err >&5 - echo "$as_me:16428: \$? = $ac_status" >&5 + echo "$as_me:16443: \$? = $ac_status" >&5 if (exit $ac_status) && test -s out/conftest2.$ac_objext then # The compiler can only warn and ignore the option if not recognized @@ -17807,7 +17822,7 @@ linux*) libsuff= case "$host_cpu" in x86_64*|s390x*|powerpc64*) - echo '#line 17810 "configure"' > conftest.$ac_ext + echo '#line 17825 "configure"' > conftest.$ac_ext if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5 (eval $ac_compile) 2>&5 ac_status=$? @@ -18682,7 +18697,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext < conftest.$ac_ext <&5 +echo "$as_me: error: Can't have --enable-gprof without --disable-shared (we + recommend also using --enable-all-static)." >&2;} + { (exit 1); exit 1; }; } + fi + if test ! "$enable_all_static" = "yes" ; then + { echo "$as_me:$LINENO: WARNING: We recommend --enable-all-static with --enable-gprof." >&5 +echo "$as_me: WARNING: We recommend --enable-all-static with --enable-gprof." >&2;} + fi + { echo "$as_me:$LINENO: Enabling gprof profiling data (to gmon.out)." >&5 +echo "$as_me: Enabling gprof profiling data (to gmon.out)." >&6;} + CFLAGS="$CFLAGS -pg" + CXXFLAGS="$CXXFLAGS -pg" + LDFLAGS="$LDFLAGS -pg" + LT_LDFLAGS="$LT_LDFLAGS -pg" + else + { { echo "$as_me:$LINENO: error: We only support --enable-gprof with GCC right now." >&5 +echo "$as_me: error: We only support --enable-gprof with GCC right now." >&2;} + { (exit 1); exit 1; }; } + fi + fi + +fi; for ac_prog in gperf do @@ -22412,7 +22460,7 @@ _ACEOF fi - ac_config_files="$ac_config_files Makefile replace/Makefile src/Makefile lxt/Makefile" + ac_config_files="$ac_config_files Makefile replace/Makefile src/Makefile lxt/Makefile doc/Makefile" cat >confcache <<\_ACEOF # This file is a shell script that caches the results of configure @@ -22981,6 +23029,7 @@ do "replace/Makefile" ) CONFIG_FILES="$CONFIG_FILES replace/Makefile" ;; "src/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; "lxt/Makefile" ) CONFIG_FILES="$CONFIG_FILES lxt/Makefile" ;; + "doc/Makefile" ) CONFIG_FILES="$CONFIG_FILES doc/Makefile" ;; "depfiles" ) CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;; "config.h" ) CONFIG_HEADERS="$CONFIG_HEADERS config.h" ;; *) { { echo "$as_me:$LINENO: error: invalid argument: $ac_config_target" >&5 diff --git a/configure.in b/configure.in index 9c6bef7..5187352 100644 --- a/configure.in +++ b/configure.in @@ -18,11 +18,22 @@ AC_ARG_ENABLE([lxt],AC_HELP_STRING([--disable-lxt], [ac_cv_enable_lxt=no],ac_cv_enable_lxt=yes) AC_MSG_RESULT([$ac_cv_enable_lxt]) +# Before configuring libtool check for --enable-all-static option +AC_ARG_ENABLE(all-static, + AC_HELP_STRING([--enable-all-static], + [Build completely static (standalone) binaries.]), + [ + if test "$enableval" = "yes" ; then + LT_LDFLAGS="-all-static $LT_LDFLAGS" + fi +]) + # Checks for programs. AC_PROG_CXX AC_PROG_CC AC_PROG_INSTALL AC_PROG_RANLIB + if test X"$ac_cv_enable_m32" = Xyes then CFLAGS="$CFLAGS -m32" @@ -31,6 +42,33 @@ then fi AC_PROG_LIBTOOL + +AC_ARG_ENABLE(gprof, +AC_HELP_STRING([--enable-gprof], + [Produce gprof profiling data in 'gmon.out' (GCC only).]), +[ + if test "$enableval" = "yes" ; then + dnl Probably other compilers support -pg or something similar; + dnl feel free to extend this to include them. + if test "$GCC" = "yes"; then + if test "$enable_shared" = "yes" ; then + AC_MSG_ERROR(Can't have --enable-gprof without --disable-shared (we + recommend also using --enable-all-static).) + fi + if test ! "$enable_all_static" = "yes" ; then + AC_MSG_WARN(We recommend --enable-all-static with --enable-gprof.) + fi + AC_MSG_NOTICE([Enabling gprof profiling data (to gmon.out).]) + CFLAGS="$CFLAGS -pg" + CXXFLAGS="$CXXFLAGS -pg" + LDFLAGS="$LDFLAGS -pg" + LT_LDFLAGS="$LT_LDFLAGS -pg" + else + AC_MSG_ERROR(We only support --enable-gprof with GCC right now.) + fi + fi +]) + AC_CHECK_PROGS([XGPERF],[gperf],[none]) if test "$XGPERF" = "none" then @@ -103,5 +141,5 @@ then AC_DEFINE([HAVE_LXT],1,[Set to one if lxt library should be used]) fi -AC_CONFIG_FILES([Makefile] [replace/Makefile] [src/Makefile] [lxt/Makefile]) +AC_CONFIG_FILES([Makefile] [replace/Makefile] [src/Makefile] [lxt/Makefile] [doc/Makefile]) AC_OUTPUT diff --git a/doc/Makefile.am b/doc/Makefile.am new file mode 100644 index 0000000..901c194 --- /dev/null +++ b/doc/Makefile.am @@ -0,0 +1,3 @@ +EXTRA_DIST = veriwell.1 +man_MANS = veriwell.1 + diff --git a/doc/veriwell.1 b/doc/veriwell.1 new file mode 100644 index 0000000..0eae6d1 --- /dev/null +++ b/doc/veriwell.1 @@ -0,0 +1,140 @@ +.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.35. +.TH VERIWELL "1" "September 2005" "Veriwell 2.8.2," "User Commands" +.SH NAME +Veriwell \- manual page for Veriwell 2.8.2, +.SH SYNOPSIS +.B veriwell +[\fIoptions\fR] \fI \fR[\fI\fR...] +.SH DESCRIPTION +\&'VeriWell' is a Verilog simulator supporting the IEEE 1364\-1995 standard. +.SH OPTIONS +.TP +\fB\-c\fR +Compile only \- do not simulate +.TP +\fB\-s\fR +Enter interactive mode before running +.TP +\fB\-t\fR +Turn trace on +.TP +\fB\-f\fR +Read options from +.TP +\fB\-i\fR +Read commands from +.TP +\fB\-l\fR +Set log file to +.TP +\fB\-l\fR nolog +Disable log file +.TP +\fB\-k\fR +Set key file to +.TP +\fB\-k\fR nokey +Disable key file +.TP +\fB\-y\fR +Search directory for module definitions +.TP +\-?, \fB\-h\fR +This message +.TP ++synopsys +Enable Synopsys HDL Compiler(tm) 2.x checking +.TP ++mindelays +Use minimum delays +.TP ++maxdelays +Use maximum delays +.TP ++typdelays +Use typical delays +.HP ++define+= Define macros +.TP ++libext+ +Specify library suffix +.TP ++incdir+ +Specify include search path +.TP +++ +Define plusargs +.TP +\fB\-\-help\fR +This message +.TP +\fB\-\-version\fR +Print version +.TP +\fB\-\-bindir\fR +Binary install path +.TP +\fB\-\-libdir\fR +Library install path +.TP +\fB\-\-includedir\fR +Include install path +.TP +\fB\-\-cflags\fR +Compiler flags used +.TP +\fB\-\-ldflags\fR +Linker flags used +.TP +\fB\-\-libs\fR +Libraries used +.IP +All other options are tested for arguments and ignored +.SH EXAMPLES +If lxt support is compiled in the following system tasks are supported: +.TP +$lxt_recordon +Enable waveform dump +.TP +$lxt_recordoff +Disable waveform dump +.TP +$lxt_recordclose +End waveform dump +.TP +$lxt_recordfile filename options +Set filename and options +.TP +$lxt_recordsetup options +Set options +.TP +$lxt_recordvar options +Start waveform dump +.SS "Lxt Options:" +.TP +incsize= +Specify incremental file size in bytes +.TP +sequence +Record 0 time signal changes +.TP +nosequence +Do not record 0 time signal changes +.TP +design= +Specify design name +.TP +depth= +Specify extraction depth +.SH AUTHOR +Written by Elliot Mednick and Mark Hummel +.SH "REPORTING BUGS" +Report bugs at +.SH COPYRIGHT +Copyright \(co 1993-2005 Elliot Mednick and Mark Hummel +.PP +Veriwell comes with ABSOLUTELY NO WARRANTY; This is free +software, and you are welcome to redistribute it under the +terms of the GNU General Public License as published by +the Free Software Foundation; either version 2 of the License, +or (at your option) any later version. diff --git a/src/veriwell.cc b/src/veriwell.cc index 2a8b2b6..fd64314 100644 --- a/src/veriwell.cc +++ b/src/veriwell.cc @@ -59,6 +59,13 @@ tree dbg1; /* for debugging */ extern LibPath_t *ypathList; char *versionString = VERSION; +char copyright[] = "Copyright (C) 1993-2005 Elliot Mednick and Mark Hummel\n\n" + "Veriwell comes with ABSOLUTELY NO WARRANTY; This is free\n" + "software, and you are welcome to redistribute it under the\n" + "terms of the GNU General Public License as published by\n" + "the Free Software Foundation; either version 2 of the License,\n" + "or (at your option) any later version. " + "\n\n"; #define MAX_LEVEL 25 Bit mask_right[sizeof(Bit) * 8 + 1]; @@ -109,14 +116,8 @@ void init() time_t t = time(NULL); /* Print out our header */ - printf_V("\n\n\t%s version %s, \n" - "\tCopyright (C) 1993-2005 Elliot Mednick and Mark Hummel\n\n" - "\tVeriwell comes with ABSOLUTELY NO WARRANTY; This is free\n" - "\tsoftware, and you are welcome to redistribute it under the\n" - "\tterms of the GNU General Public License as published by\n" - "\tthe Free Software Foundation; either version 2 of the License,\n" - "\tor (at your option) any later version. " - "\n\n", VERIWELL, VERSION); + printf_V("\n\n%s version %s, \n", VERIWELL, VERSION ); + printf_V( copyright ); printf_V(veriuser_version_str); @@ -589,7 +590,9 @@ void process_cmdline(char *input) CmdlineHelp(); shell_exit(0); } else if (!strcmp( input, "--version" ) ) { - printf( "%s\n", VERSION ); + printf("%s %s, \n\n", VERIWELL, VERSION ); + printf( copyright ); + printf( "\nWritten by Elliot Mednick and Mark Hummel\n" ); shell_exit(0); } else if (!strcmp( input, "--bindir" ) ) { printf( "%s\n", BINDIR ); @@ -769,28 +772,53 @@ int moreinput(char *infile) void CmdlineHelp() { - printf("Usage: veriwell [options] [...]\n"); - printf(" -c Compile only - do not simulate\n"); - printf(" -s Enter interactive mode before running\n"); - printf(" -t Turn trace on\n"); - printf(" -f Read options from \n"); - printf(" -i Read commands from \n"); - printf(" -l Set log file to \n"); - printf(" -l nolog Disable log file\n"); - printf(" -k Set key file to \n"); - printf(" -k nokey Disable key file\n"); - printf(" -?, -h This message\n"); - printf - (" +synopsys Enable Synopsys HDL Compiler(tm) 2.x checking\n"); - printf(" --help This message\n"); - printf(" --version print version\n"); - printf(" --bindir Binary install path\n"); - printf(" --libdir Library install path\n"); - printf(" --includedir Include install path\n"); - printf(" --cflags Compiler flags used\n"); - printf(" --ldflags Linker flags used\n"); - printf(" --libs Libraries used\n"); + printf( "'VeriWell' is a Verilog simulator supporting the IEEE 1364-1995 standard.\n\n" ); + printf("Usage: veriwell [options] [...]\n\n"); + printf("Options:\n"); + printf(" -c Compile only - do not simulate\n"); + printf(" -s Enter interactive mode before running\n"); + printf(" -t Turn trace on\n"); + printf(" -f Read options from \n"); + printf(" -i Read commands from \n"); + printf(" -l Set log file to \n"); + printf(" -l nolog Disable log file\n"); + printf(" -k Set key file to \n"); + printf(" -k nokey Disable key file\n"); + printf(" -y Search directory for module definitions\n"); + printf(" -?, -h This message\n"); + printf(" +synopsys Enable Synopsys HDL Compiler(tm) 2.x checking\n"); + printf(" +mindelays Use minimum delays\n"); + printf(" +maxdelays Use maximum delays\n"); + printf(" +typdelays Use typical delays\n"); + printf(" +define+= Define macros\n"); + printf(" +libext+ Specify library suffix \n"); + printf(" +incdir+ Specify include search path\n"); + printf(" ++ Define plusargs\n"); + printf(" --help This message\n"); + printf(" --version Print version\n"); + printf(" --bindir Binary install path\n"); + printf(" --libdir Library install path\n"); + printf(" --includedir Include install path\n"); + printf(" --cflags Compiler flags used\n"); + printf(" --ldflags Linker flags used\n"); + printf(" --libs Libraries used\n"); printf(" All other options are tested for arguments and ignored\n"); + printf("\nExamples:\n"); + printf("If lxt support is compiled in the following system" + " tasks are supported:\n\n"); + printf(" $lxt_recordon Enable waveform dump\n"); + printf(" $lxt_recordoff Disable waveform dump\n"); + printf(" $lxt_recordclose End waveform dump\n"); + printf(" $lxt_recordfile filename options Set filename and options\n"); + printf(" $lxt_recordsetup options Set options\n"); + printf(" $lxt_recordvar options Start waveform dump\n\n"); + printf("Lxt Options:\n"); + printf(" incsize= Specify incremental file size in bytes\n"); + printf(" sequence Record 0 time signal changes\n"); + printf(" nosequence Do not record 0 time signal changes\n"); + printf(" design= Specify design name\n"); + printf(" depth= Specify extraction depth\n"); + printf("\nReport bugs at \n"); } /* Parse the input files and generate a syntax tree */