GFan is a tool for computations in ....
Here we should include the manual for the gfanlib flags/functions, ...
if you are using a local installation of gmp, compile like this FATTO
./configure CFLAGS="-I/PATH/gmp -L/PATH/gmp/.libs" make sudo make install
for local installation (not so sure...)
./configure prefix="/PATH/cddlib-0.94j" CFLAGS="-I/PATH/gmp -L/PATH/gmp/.libs" make make install
For compatibility with GFan, header files should be (as they did in a
previous version of cdd) in
cd /usr/local/include mkdir cdd sudo mv cdd*.h setoper.h splitmix64.h cdd
export CPPFLAGS="-I/usr/local/include/cdd" ./configure
configure: WARNING: cdd.h: present but cannot be compiled
./configure: line 4526: ./config.status: Permission denied
but does not seem to matter! Keep going!
Then configure and compile CoCoALib typing
cd CoCoALib-0.99 ./configure --with-libgfan=<PATH>/libgfan.a --with-libcddgmp=<PATH>/libcddgmp.a make