ExternalLibs-GFan

User documentation

GFan is a tool for computations in ....

Here we should include the manual for the gfanlib flags/functions, ...

**gfan** website

**cdd** website

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 include/cdd/:

  cd /usr/local/include
  mkdir cdd
  sudo mv cdd*.h setoper.h splitmix64.h   cdd

  export CPPFLAGS="-I/usr/local/include/cdd"
  ./configure

I get

  configure: WARNING: cdd.h: present but cannot be compiled

and also

  ./configure: line 4526: ./config.status: Permission denied

but does not seem to matter! Keep going!

  make

Then configure and compile CoCoALib typing

  cd CoCoALib-0.99
  ./configure --with-libgfan=<PATH>/libgfan.a --with-libcddgmp=<PATH>/libcddgmp.a
  make