2009-08-30tools wrapper: introduce the silent WRAPPER_NEEDED config option
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> [Sun, 30 Aug 2009 00:57:40 +0200] rev 1495
tools wrapper: introduce the silent WRAPPER_NEEDED config option

Add the WRAPPER_NEEDED silent config option, that can be selected by
components that require it (companion libs so far).
Rely on this config option when deciding to install the wrapper,
instead of checking GMP/MPFR or PPL/CLoog/MPC.

2009-08-30Merge the C wrapper.
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> [Sun, 30 Aug 2009 00:35:58 +0200] rev 1494
Merge the C wrapper.

2009-08-30config: choose whether to use the shell or the C wrapper
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> [Sun, 30 Aug 2009 00:27:12 +0200] rev 1493
config: choose whether to use the shell or the C wrapper

Offer a config choice on whether to isntall the script wrapper, or
the compiled C wrapper. Update docs/overview.txt accordingly.

2009-08-29tool wrapper: add initial wrapper coded in C
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> [Sat, 29 Aug 2009 18:27:47 +0200] rev 1492
tool wrapper: add initial wrapper coded in C

Add an initial wrapper:
- find the realpath of the tool being called
- add the '.' in front of the tool name
- add the '/lib' dir to the base dir of the tool
- set and export LD_LIBRARY_PATH
- execve the real tool

2009-08-30overview: fix table of content, fix the hacker's way
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> [Sun, 30 Aug 2009 00:30:45 +0200] rev 1491
overview: fix table of content, fix the hacker's way

table of content: add missing entry
the hacker's way: no need to "make install"

2009-08-28README: fix some space alignment
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> [Fri, 28 Aug 2009 12:09:04 +0200] rev 1490
README: fix some space alignment

2009-08-28duma: fix downloading by forcing extension to .tar.gz
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> [Fri, 28 Aug 2009 11:57:29 +0200] rev 1489
duma: fix downloading by forcing extension to .tar.gz

Downoading a non-existing file from sourceforge gives you a "200 OK"
and an index.html. As we try to retrieve a .tar.bz2 first, and duma
is bundled in a .tar.gz, we won't get appropriate content, so
just force the extension to avoid the problem.

Thanks to Ingmar Schraub <is@eseco.de> for pointing out the issue.