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.
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-devel
tar zxvf certi-3.2.4-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 ...
make ... wait the compilation end ...
make install ... wait for make install end ...
make package
\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: