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:
- Create a directory for your copy of polaris.
mkdir polaris
- Enter that directory.
cd polaris
- 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 -
- 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:
polaris/bin
polaris/devel_utils
polaris/include
polaris/man
polaris/omega
polaris/pccts
polaris/scanner
polaris/cvdl
polaris/cvdl/adapt
polaris/cvdl/autoinline
polaris/cvdl/base
... and so on
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.
- cd polaris/omega
- make libomega.a
- make POLARIS_DIR=/polaris install
Then, to make polaris:
- cd polaris/cvdl
- make polaris
In order to commit changes to polaris, we have to wait until we have regression tests in place.