CoCoALib is supplied as SOURCE code in C++, and so must be COMPILED before you can use it -- instructions on how to do this are below.
Before compilation you must ensure that you have available:-
make program (other versions may work too);
g++)
http://gmplib.org/
CoCoA-5 too, you need the BOOST libraries
(see http://www.boost.org/); more details are in src/CoCoA-5/INSTALL
Use the cd comand to go to the root directory CoCoALib-nnn.
In most cases the following two commands will suffice:
./configure
make
The command make compiles CoCoALib (and puts it in lib/libcocoa.a);
it also compiles & runs the test suite, and will compile CoCoA-5 if possible.
The compilation generally takes a few minutes. If there were no problems
you'll get the reassuring message:
Good news: all tests passed
(1) The configure script looks for the GMP library, and makes a few checks.
It assumes your compiler is g++. If it encounters a problem, it will
print out a helpful error message telling you.
(2) The command make library will compile the library but not run the tests.
The command make check will run the tests -- they are in src/tests/.
(3) For the adventurous: the command
./configure --help
explains the various options the script recognizes.
Also look at INSTALL-advanced
Main documentation for CoCoALib: index
Example programs using CoCoALib: ../../examples/index
If you have Microsoft Windows, read the file INSTALL-MicrosoftWindows
If you encounter problems while using CoCoALib (or trying to compile it), the best way to let us know is to report the issue via
http://cocoa.dima.unige.it/redmine/
Please tell us also the platform and compiler you are using.
Alternatively you can send us email at cocoa@dima.unige.it