How can I obtain a development copy of Polaris?

Polaris is set up with CVS (Concurrent Versioning System). On Purdue ECN machines, you can check out a version of Polaris by doing the following:

  1. Create a directory for your copy of polaris.
    mkdir polaris
  2. Enter that directory.
    cd polaris
  3. There should be a bzipped tar file of all the helper utilities that Polaris uses (such as the PCCTS scanner, OmegaTest, etc.). Copy the helper routines over to your private copy of polaris.
    bzcat /home/yara/re/paramnt/tools/polaris1.7.0/polaris_helpers.tar.bz2 | tar -xvf -
  4. Check out the Polaris source files from the CVS repository: /home/yara/re/paramnt/tools/polaris1.7.0/cvdl-cvsroot . Check them out into a directory named "cvdl".
    /usr/local/bin/cvs -d /home/yara/re/paramnt/tools/polaris1.7.0/cvdl-cvsroot checkout -d cvdl cvdl-1.7.0
You should now have a directory tree of:

To begin compiling Polaris, you must set one variable (either by the environment or by adding it to Rules.make in the cvdl directory).
In Rules.make:
POLARIS_DIR = /polaris

You will also need to make the omega library.

  1. cd polaris/omega
  2. make libomega.a
  3. make POLARIS_DIR=/polaris install

Then, to make polaris:

  1. cd polaris/cvdl
  2. make polaris

In order to commit changes to polaris, we have to wait until we have regression tests in place.