Installing on Fedora Cluster Machine

Dependencies

1. g++, install using sudo yum install gcc-c++

2. Flex, install using sudo yum install flex

3. Bison, install using sudo yum install bison

4. OpenSSL, install using sudo yum install openssl

5. OpenSSL development package, install using sudo yum install openssl-devel

6. GMP, install using sudo yum install gmp

7. GMP devel, install using sudo yum install gmp-devel

8. Valgrind, install using sudo yum install valgrind

Z3, slightly more complicated installation

git clone https://git01.codeplex.com/z3 to get the repository

python scripts/mk_make.py 
cd build
make

If all goes will in the compilation for make, you will get a message similar to this:

Z3 was successfully built.
Z3Py scripts can already be executed in the 'build' directory.
Z3Py scripts stored in arbitrary directories can be also executed if 'build' directory is added to the PYTHONPATH environment variable.
Use the following command to install Z3 at prefix /usr.
    sudo make install

Installing Rapidnet

git clone https://github.com/powerist/rapidnet.git to get the repository.

Finish up installing Z3. Note the location of the build directory for Z3, in this case it may be /usr. Go to src/rapidnet-compiler/wscript and change the environment variables. Now type sudo make install, and Z3 will be successfully installed.

cd into rapidnet and run ./waf to compile rapidnet and run.