© 2015 Anna Bigatti, Anders Nedergaard Jensen
GNU Free Documentation License, Version 1.2

CoCoALib Documentation Index

User documentation

GFan is a tool for computations in ....

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


Download and compile Gfan

**gfan** website
**cdd** website

Compile cdd

if you are using a local installation of gmp, compile like this FATTO

  ./configure CFLAGS="-I/PATH/gmp  -L/PATH/gmp/.libs"
  sudo make install

for local installation (not so sure...)

  ./configure prefix="/PATH/cddlib-0.94j" CFLAGS="-I/PATH/gmp  -L/PATH/gmp/.libs"
  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

Now compile gfanlib:

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

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!


Compile CoCoALib with libgfan

Then configure and compile CoCoALib typing

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

Maintainer documentation

Bugs, shortcomings and other ideas

Main changes