GFan is a tool for computations in ....
Here we should include the manual for the gfanlib flags/functions, ...
Compile cdd: if you are using a local installation of gmp, compile like this
./configure --prefix="/PATH/cddlib-094h" 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
mkdir include/cdd mv include/*.h include/cdd
Now compile gfanlib:
export CPPFLAGS="-I/PATH/cddlib-094h/include/cdd" ./configure make includedir=/Users/bigatti/0.99/cddlib-094h/include
configure: WARNING: cdd.h: present but cannot be compiled
(does not seem to matter)
Then configure and compile CoCoALib typing
cd CoCoALib-0.99 ./configure --with-libgfan=<PATH>/libgfan.a --with-libcddgmp=<PATH>/libcddgmp.a make