GFan is a tool for computations in ....
Here we should include the manual for the gfanlib flags/functions, ...
**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
2011
2010