The page describes how to get the CPTC Testbed running under WinNT/2k. This is done by installing several software packages on your machine and then downloading and compiling the CPTC sources yourself.
In order to compile the CPTC sources you must install Cygwin on your machine. Only Cygwin 1.1 is supported at the moment. It may compile with Cygwin 1.0, but it will not compile under Cygwin B20.1.
The reason for requiring the use of Cygwin is that the Makefiles's in the sources have not been translated to the NMAKE syntax. The compilation process is still very much "UNIX"-based. Even though the compilation process is "UNIX"-based, the sources can be compiled with both "UNIX"-based and native compilers. At present, the CPTC sources have been compiled using the following compilers,
The testbed almost, but not quite, compiles using the following compilers.
Here is an overview of steps described in this document,
Unless otherwise noted as being optional or recommended, the following software is required in order to compile the CPTC sources.
Either download and compile these packages from source, or down the precompiled binaries from ftp://ftp.cs.cornell.edu/pub/stodghil/cygwin/
Absolutely required,
Almost certaintly needed,
Files that end with a `.bz2' can be decompressed with `bunzip2', as in
% bunzip2 foo.tar.bz2 % tar xf foo.tar
Contact Paul Stodghill for details.
(Originally from ftp://ftp.xraylith.wisc.edu/pub/khan/gnu-win32/mingw/gcc-2.95.2/)
Once you have all of the Cygwin software installed, issue the following commands,
[ If you are using BASH: ] % export CVSROOT=:pserver:stodghil@cvs.tc.cornell.edu:/usr/local/cvs/crackprop [ If you are using TCSH: ] % setenv CVSROOT :pserver:stodghil@cvs.tc.cornell.edu:/usr/local/cvs/crackprop % cvs login Password: [ get the password from Paul ] % cvs checkout cptc-support % cvs checkout cptc-testbed
Be patient. Both packages are well over a million lines of source code. They will take a while to download.
Once you have downloaded all of the software, you can compile the cptc-support software using the following "quick" recipe: First, chose a compiler and configure the source code for building,
% cd cptc-support % ./default-configure COMPILER [ COMPILER is one of "cygwin", "mingw", "intel" ]
Notes: When using MinGW, the environment variable MINGWROOT must be set to root of the MinGW directory tree before running "./default-configure" or "./configure". That is, if the MinGW version of gcc is at /usr/local/mingw/bin/gcc.exe, then
% setenv MINGWROOT /usr/local/mingw
Next, compile the cptc-support software.
% make BOPT=g % make BOPT=g clean [ this generated a "debugging" version of all of the software. ] % make BOPT=O % make BOPT=O clean [ this generated an "optimized" version of all of the software. ]
There are other configuration approaches that you can try once you are familiar with the "quick" approach.
Configuring the testbed
% cd [...]/cptc-testbed/src % setenv CPTC_SUPPORT .../cptc-support (or whereever you have it) % ./configure
Compiling the testbed
% make % make install
Testing the testbed
% cd ../models % ../bin/test_all
The same steps can be used to compile the cptc-support and CPTC testbed software under Linux. The only differences are the required software. Get in touch with Paul Stodghill if you are interested.