scripts/build/companion_tools/400-libtool.sh
author Arnaud Lacombe <lacombar@gmail.com>
Thu Aug 05 17:59:49 2010 +0200 (2010-08-05)
changeset 2067 477c7955e6b0
parent 1730 c43d16b6b950
child 2154 250cdcc86441
permissions -rw-r--r--
complibs/ppl: fix PPL build with GMP 5.x.x

From http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9c19bc2b318a35016e0189f9552c98910be37f53

Author: Roberto Bagnara <bagnara@cs.unipr.it>
Revision log: Added support for GMP 5.0.

Adapted manually to match and not having to re-generate the configure script.

Signed-off-by: Arnaud Lacombe <lacombar@gmail.com>
richard@1730
     1
# Build script for libtool
richard@1730
     2
richard@1730
     3
CT_LIBTOOL_VERSION=2.2.6b
richard@1730
     4
richard@1730
     5
do_companion_tools_libtool_get() {
richard@1730
     6
    CT_GetFile "libtool-${CT_LIBTOOL_VERSION}" \
richard@1730
     7
               {ftp,http}://ftp.gnu.org/gnu/libtool
richard@1730
     8
}
richard@1730
     9
richard@1730
    10
do_companion_tools_libtool_extract() {
richard@1730
    11
    CT_Extract "libtool-${CT_LIBTOOL_VERSION}"
yann@1901
    12
    CT_Patch "libtool" "${CT_LIBTOOL_VERSION}"
richard@1730
    13
}
richard@1730
    14
richard@1730
    15
do_companion_tools_libtool_build() {
richard@1730
    16
    CT_DoStep EXTRA "Installing libtool"
richard@1730
    17
    mkdir -p "${CT_BUILD_DIR}/build-libtool"
richard@1730
    18
    CT_Pushd "${CT_BUILD_DIR}/build-libtool"
richard@1730
    19
    
richard@1730
    20
    CT_DoExecLog ALL \
richard@1730
    21
    "${CT_SRC_DIR}/libtool-${CT_LIBTOOL_VERSION}/configure" \
richard@1730
    22
        --prefix="${CT_TOOLS_OVERIDE_DIR}"
richard@1730
    23
    CT_DoExecLog ALL make
richard@1730
    24
    CT_DoExecLog ALL make install
richard@1730
    25
    CT_Popd
richard@1730
    26
    CT_EndStep
richard@1730
    27
}