CERTI comes as either as an installer (binary) or compressed tar source archives.
This section describes how to build CERTI executables from the source code.
The primary distribution format is gzip compressed tar source archive (.tar.gz) or ZIP archive (.zip) and may be found on Savannah CERTI download area: http://download.savannah.nongnu.org/releases/certi/ .
CERTI build system uses CMake, http://www.cmake.org/ which is a cross-platform build system generator. CMake should be used to compile CERTI SDK on a variety of platform/compiler combination like:
You may follow generic CMake usage instruction for building CERTI on various platforms: Running CMake, http://www.cmake.org/cmake/help/runningcmake.html://www.cmake.org/ or you may try to follow the below CERTI CMake usage.
CERTI compilation requires a working C++ compiler and some development tools. You may have them already installed on your system or you may download and install the missing prerequisites. All used tools are free software.
CMake
yum install cmake
apt-get install cmake
Flex, Bison and m4
yum install flex bison
apt-get install flex bison
NSIS (optionally, for building a Windows installer)
libxml2 (optionally, to enable federation save and restore)
yum install libxml2-devel
apt-get install libxml2-dev
X11 (optionally, to enable billard example with a graphical animation)
yum install libX11-devel
yum install xorg-x11-xbitmaps
apt-get install libx11-dev xbitmaps
If you get a tarball source CERTI distribution such as you may found in the download section of the Savannah project http://download.savannah.nongnu.org/releases/certi/, you should follow these steps:
tar zxvf certi-3.4.0-Source.tar.gz ... wait for tar ending ...
mkdir build_certi cd build_certi cmake -DCMAKE_INSTALL_PREFIX=/path/to/install /path/to/certi-\<version\>-Source ... wait for cmake run ending ...
compile your certi
make ... wait the compilation end ...
install CERTI
make install ... wait for make install end ...
make package
After that you will have a compiled and usable CERTI package.
CMake 2.6.0 and up comes with a nice and handy graphical user interface which may be invoked with the cmake-gui command.
Enter the Start menu and launch the CMake application. Enter the folder for the source code (e.g. \certi
, created during the previous step). Enter the folder for building the programs (e.g. \tempo
).
Hit the Configure
button.
Choose the appropriate Generator.
Verify the the paths for the different tools (flex, bison) before hitting Configure
again.
Repeat Configure
until you get an enabled OK
button.
You should get a build
folder (e.g. \tempo) which looks like this:
Launch the CERTI.sln
(e.g. using Microsoft Visual C++ 2005).
Select desired configuration (Debug or Release) and build the project (using Build All). Take a look at your folder: