config/companion_libs/ppl.in
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Fri Aug 06 00:00:26 2010 +0200 (2010-08-06) |
| branch | 1.8 |
| changeset 2074 |
a98794799cbf |
| parent 1386 |
7995942261f2
|
| child 2072 |
72b3996ba3e6 |
| permissions |
-rw-r--r-- |
complibs/cloog: with static ppl, correctly link with libm
On some Fedora boxen (at least FC13), it is also required
to link with libm when static ppl is used.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from 5526fb72a893f89286d6daa29da0161ca988a1d0)