Instructions for Windows Users

To run Cver on Windows take following steps:

1. First download and install Cygwin from www.cygwin.com.
2. Download the source tar ball file from the downloads   page. Save into your home Cygwin directory (such as c:\Cygwin\home\yourname\).
3. Open the Cygwin shell.
4. Note: Windows (IE) sometimes renames the tar file name with an extra ".tar". If this occurred in the shell type the following command:

   $mv gplcver-1.10x.src.tar.tar gplcver-1.10x.src.tar.bz2

5. Also in the shell do the following commands:

   $bunzip2 gplcver-1.10x.src.tar.bz2
   $tar xvj gplcver-1.10x.src.tar
   $cd gplcver-1.10x.src/src
   $make -f makefile.cygwin

6. Make sure it installed correctly by running the tests in tests_and_examples/install.tst.

To use the PLI on Cygwin please read the README in tests_and_examples/examples.vpi.