config/companion_libs/ppl.in
author "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
Fri Jan 27 13:31:16 2012 +0100 (2012-01-27)
changeset 2854 a70abdbfa342
parent 2368 482a006e5b18
child 2957 3e2f2100a76d
permissions -rw-r--r--
complibs/cloog: fix linking with libm

In Ubuntu 11.04 and 11.10, the default options for ld have changed.
--no-copy-dt-needed-entries and --as-needed are now enabled by default, which
causes errors like:

[EXTRA] Checking CLooG/ppl
[DEBUG] ==> Executing: 'make' '-j3' '-s' 'check'
[ALL ] Making check in .
[ALL ] config.status: creating include/cloog/cloog-config.h
[ALL ] config.status: include/cloog/cloog-config.h is unchanged
[ALL ] libtool: link: i686-build_pc-linux-gnu-gcc -Wall -fomit-frame-pointer
-pipe -o cloog cloog.o -L/<snip>/build/static/lib ./.libs/libcloog.a -lm
/<snip>/build/static/lib/libppl_c.a /<snip>/build/static/lib/libpwl.a
/<snip>/build/static/lib/libppl.a /<snip>/build/static/lib/libgmpxx.a
/<snip>/build/static/lib/libgmp.a -lstdc++
[ALL ] /usr/bin/ld: /<snip>/build/static/lib/libppl.a(MIP_Problem.o):
undefined reference to symbol 'sqrt@@GLIBC_2.0'
[ALL ] /usr/bin/ld: note: 'sqrt@@GLIBC_2.0' is defined in DSO
/usr/lib/gcc/i686-linux-gnu/4.6.1/../../../i386-linux-gnu/libm.so so try adding
it to the linker command line
[ALL ] /usr/lib/gcc/i686-linux-gnu/4.6.1/../../../i386-linux-gnu/libm.so:
could not read symbols: Invalid operation
[ALL ] collect2: ld returned 1 exit status
[ERROR] make[2]: *** [cloog] Error 1
[ERROR] make[1]: *** [check-recursive] Error 1

See:
https://wiki.ubuntu.com/NattyNarwhal/ToolchainTransition

This patch fixes these errors by placing '-lm' at the right place on the command
line as libppl requires libm when linking cloog.

Signed-off-by: "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
yann@1324
     1
# PPL options
yann@1324
     2
yann@1324
     3
choice
yann@1324
     4
    bool
yann@1324
     5
    prompt "PPL version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@1324
     8
yann@2338
     9
config PPL_V_0_11_2
yann@2338
    10
    bool
yann@2338
    11
    prompt "0.11.2 (EXPERIMENTAL)"
yann@2338
    12
    depends on EXPERIMENTAL
yann@2368
    13
    select PPL_0_11
yann@2338
    14
yann@2318
    15
config PPL_V_0_11_1
yann@2318
    16
    bool
yann@2318
    17
    prompt "0.11.1 (EXPERIMENTAL)"
yann@2318
    18
    depends on EXPERIMENTAL
yann@2368
    19
    select PPL_0_11
yann@2318
    20
yann@2072
    21
config PPL_V_0_11
yann@2072
    22
    bool
yann@2072
    23
    prompt "0.11 (EXPERIMENTAL)"
yann@2072
    24
    depends on EXPERIMENTAL
yann@2368
    25
    select PPL_0_11
yann@2072
    26
yann@1324
    27
config PPL_V_0_10_2
yann@1324
    28
    bool
yann@1324
    29
    prompt "0.10.2"
yann@1324
    30
yann@1324
    31
endchoice
yann@1324
    32
yann@1324
    33
config PPL_VERSION
yann@1324
    34
    string
yann@1535
    35
# Don't remove next line
yann@1535
    36
# CT_INSERT_VERSION_STRING_BELOW
yann@2338
    37
    default "0.11.2" if PPL_V_0_11_2
yann@2318
    38
    default "0.11.1" if PPL_V_0_11_1
yann@2072
    39
    default "0.11" if PPL_V_0_11
yann@1324
    40
    default "0.10.2" if PPL_V_0_10_2
yann@2368
    41
yann@2368
    42
# For PPL 0.11, we need to pull libpwl if configured static
yann@2368
    43
config PPL_0_11
yann@2368
    44
    bool
yann@2368
    45
    select PPL_NEEDS_LIBPWL if ! COMPLIBS_SHARED
yann@2368
    46
yann@2368
    47
config PPL_NEEDS_LIBPWL
yann@2368
    48
    bool