To test PLI 1.0 acc_ interface:

BEFORE STARTING:
   Make sure binary Cver is installed in bin directory 2 levels up
   (/usr/bin/cver) and run the shell script in install.tst directory to
   verify correct installation of Cver.

   This script assumes you are using new +loadpli1= dynamic library PLI
   execution.  If you need to statically link your PLI libraries contact
   Pragmatic C to obtain the libraries and test scripts.

HOW TO RUN THE TEST SCRIPT FOR ALL SYSTEMS EXCEPT MAC OSX

1) Run the shell script inst_pli.sh [OS name].  Various compiler and Verilog
   output messages will be printed but there should be no diff command
   differences printed.  You must pass the name of your system as the one
   argument to the script.  Depending on your platform, names are:
   for X86 linux (suffix lnx), Sparc (suffix sparc-gcc), 
   or X86 64-bit (lnx64).

   Run the shell script opt_inst_pli.sh [OS name] to test PLI using
   optimizer (-O) incremental compiler.

   The commands to run Cver with dynamically loaded user PLI library
   explicitly access the user .so library in this directory.  For your
   PLI libraries, it is better to set the LD_LIBRARY_PATH environment
   variables so explicit "./" is not needed

2) After completing the test, you can run clean.sh to remove work files.
   The inst_pli.sh script removes each PLI library .so dynamic library after
   running the test that uses it so unless something went wrong, you
   do not need to run clean.sh.  

3) Use makefile.[your OS] as a template for your PLI programs.

HOW TO RUN THE TEST SCRIPT FOR MAC OSX

1) Run the shell script inst_pli.osx.sh.  Notice you do not need the
   OS shell argument here.  Various compiler and Verilog
   output messages will be printed but there should be no diff command
   differences printed.  You must run this different script for MAC OSX
   because OSX uses .dylib suffix for dynamic libraries and uses the
   mach dynamic library mechanism instead of normal .so and dlopen. 

   By convention, makefile.osx assumes this test is run in release
   directory tree with include files in pli_incs 2 directory levels up
   and cver binary is in bin directory also 2 levels up.

   The commands to run Cver with dynamically loaded user PLI library
   explicitly access the user .dylib library in this directory.  For your
   PLI libraries, it is better to set the LD_LIBRARY_PATH environment
   variables so explicit "./" is not needed

   Mac OSX linker (from mach OS) requires that a leading '_' be added to
   each symbol name.  Cver does this automatically but you must make
   sure that your bootstrap routine name does not start with underscore ('_').

2) After completing the test, run clean.sh to remove work files.
   The inst_pli.sh script removes each PLI library .so dynamic library after
   running the test that uses it so unless something went wrong, you
   do not need to run clean.sh.  

3) Use makefile.osx as a template for your PLI models.  You must use
   exactly the LFLAGS options and set and export LD_LIBRARY_PATH
   environment variable, or your .dylib user PLI code will not load
   properly.