1 # This file adds the functions to build the CLooG library
2 # Copyright 2009 Yann E. MORIN
3 # Licensed under the GPL v2. See COPYING in the root of this package
6 do_cloog_extract() { :; }
8 do_cloog_target() { :; }
10 # Overide functions depending on configuration
11 if [ "${CT_PPL_CLOOG_MPC}" = "y" ]; then
15 CT_GetFile "cloog-ppl-${CT_CLOOG_VERSION}" \
16 ftp://gcc.gnu.org/pub/gcc/infrastructure
23 CT_Extract "cloog-ppl-${CT_CLOOG_VERSION}"
25 # Version 0.15.3 has a dirname 'cloog-ppl' (with no version in it!)
26 # while versions 0.15.4 onward do have the version in the dirname.
27 case "${CT_CLOOG_VERSION}" in
29 *) _t="-${CT_CLOOG_VERSION}";;
31 CT_Pushd "${CT_SRC_DIR}/cloog-ppl${_t}"
32 CT_Patch "cloog-ppl-${CT_CLOOG_VERSION}" nochdir
39 # Version 0.15.3 has a dirname 'cloog-ppl' (with no version in it!)
40 # while versions 0.15.4 onward do have the version in the dirname.
41 case "${CT_CLOOG_VERSION}" in
43 *) _t="-${CT_CLOOG_VERSION}";;
46 mkdir -p "${CT_BUILD_DIR}/build-cloog-ppl"
47 cd "${CT_BUILD_DIR}/build-cloog-ppl"
49 CT_DoStep INFO "Installing CLooG/ppl"
51 CT_DoLog EXTRA "Configuring CLooG/ppl"
52 CFLAGS="${CT_CFLAGS_FOR_HOST}" \
54 "${CT_SRC_DIR}/cloog-ppl${_t}/configure" \
57 --prefix="${CT_PREFIX_DIR}" \
58 --with-gmp="${CT_PREFIX_DIR}" \
59 --with-ppl="${CT_PREFIX_DIR}" \
64 CT_DoLog EXTRA "Building CLooG/ppl"
65 CT_DoExecLog ALL make ${PARALLELMFLAGS}
67 if [ "${CT_COMP_LIBS_CHECK}" = "y" ]; then
68 CT_DoLog EXTRA "Checking CLooG/ppl"
69 CT_DoExecLog ALL make ${PARALLELMFLAGS} -s check
72 CT_DoLog EXTRA "Installing CLooG/ppl"
73 CT_DoExecLog ALL make install
75 # Remove spuriously installed file
76 CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/cloog"