scripts/functions: Fix CT_ExtractGit function.
Change CT_ExtractGit so that it clones the repository, instead of just
symlinking it. After cloning, any given ref is checked out, or if no
ref is given, the HEAD of the repository is checked out.
This makes CT_Extract behave similar for git repositories as it does
for tarballs, so that it for example can be used for passing glibc-ports
as a git repository.
Signed-off-by: "Esben Haabendal" <esben.haabendal@prevas.dk>
[yann.morin.1998@anciens.enib.fr: fix incomplete var rename]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
1 # This file adds the functions to build the PPL library
2 # Copyright 2009 Yann E. MORIN
3 # Licensed under the GPL v2. See COPYING in the root of this package
6 do_ppl_extract() { :; }
9 # Overide functions depending on configuration
10 if [ "${CT_PPL}" = "y" ]; then
14 CT_GetFile "ppl-${CT_PPL_VERSION}" \
15 http://www.cs.unipr.it/ppl/Download/ftp/releases/${CT_PPL_VERSION} \
16 ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION} \
17 ftp://gcc.gnu.org/pub/gcc/infrastructure
22 CT_Extract "ppl-${CT_PPL_VERSION}"
23 CT_Patch "ppl" "${CT_PPL_VERSION}"
27 mkdir -p "${CT_BUILD_DIR}/build-ppl"
28 cd "${CT_BUILD_DIR}/build-ppl"
30 CT_DoStep INFO "Installing PPL"
32 CT_DoLog EXTRA "Configuring PPL"
36 CFLAGS="${CT_CFLAGS_FOR_HOST}" \
37 CXXFLAGS="${CT_CFLAGS_FOR_HOST}" \
38 "${CT_SRC_DIR}/ppl-${CT_PPL_VERSION}/configure" \
41 --prefix="${CT_COMPLIBS_DIR}" \
42 --with-libgmp-prefix="${CT_COMPLIBS_DIR}" \
43 --with-libgmpxx-prefix="${CT_COMPLIBS_DIR}" \
44 --with-gmp-prefix="${CT_COMPLIBS_DIR}" \
47 --disable-assertions \
51 --enable-interfaces='c c++' \
55 # --enable-optimization=speed or sspeed (yes, with 2 's')
57 CT_DoLog EXTRA "Building PPL"
58 CT_DoExecLog ALL make ${JOBSFLAGS}
60 if [ "${CT_COMPLIBS_CHECK}" = "y" ]; then
61 CT_DoLog EXTRA "Checking PPL"
62 CT_DoExecLog ALL make ${JOBSFLAGS} -s check
65 CT_DoLog EXTRA "Installing PPL"
66 CT_DoExecLog ALL make install
68 # Remove spuriously installed file
69 CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/ppl-config"