      ExternalLibs-GFan
      Copyright (c)  2015 Anna Bigatti, Anders Nedergaard Jensen
      GNU Free Documentation License, Version 1.2
%!includeconf: ../aux-txt2tags/config.t2t
      TeXTitle{ExternalLibs-GFan}{Anna Bigatti, Anders Nedergaard Jensen}


== User documentation ==
%======================================================================

**GFan** is a tool for computations in ....

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

=== Examples ===
- [ex-GFan1.C ../../examples/index.html#ex-GFan1.C]


=== Download and compile Gfan ===

 | [**gfan** website http://home.math.au.dk/jensen/software/gfan/gfan.html]
 | [**cdd** website http://www.inf.ethz.ch/personal/fukudak/cdd_home/]

Compile cdd:
if you are using a local installation of gmp, compile like this
```
./configure --prefix="/PATH/cddlib-0.94j" CFLAGS="-I/PATH/gmp -L/PATH/gmp/.libs"
make
sudo make install
```
For compatibility with GFan, header files should be (as they did in a
previous version of cdd) in ``cddlib-0.94j/include/cdd``:
```
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
```
I get
``` configure: WARNING: cdd.h: present but cannot be compiled
(does not seem to matter)

=== 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
make
```

== Maintainer documentation ==
%======================================================================



== Bugs, shortcomings and other ideas ==
%======================================================================




== Main changes ==
%======================================================================

**2015**
- September: first inclusion


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
