ExternalLibs-GFan

© 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, ...

Examples

Download and compile Normaliz

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

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

  mkdir include/cdd
  mv include/*.h include/cdd

Now compile gfanlib:

  export CPPFLAGS="-I/PATH/cddlib-094h/include/cdd"
  ./configure
  make includedir=/PATH/cddlib-094h/include

Maintainer documentation

Bugs, shortcomings and other ideas

Main changes

2011

2010