scripts/build/companion_libs/gmp.sh
changeset 1810 e44f67656c5f
parent 1809 b488b4815f9b
child 1890 39045a2f1163
     1.1 --- a/scripts/build/companion_libs/gmp.sh	Thu Feb 18 20:43:31 2010 +0100
     1.2 +++ b/scripts/build/companion_libs/gmp.sh	Wed Feb 17 23:50:49 2010 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  do_gmp_target() { :; }
     1.5  
     1.6  # Overide functions depending on configuration
     1.7 -if [ "${CT_GMP}" = "y" ]; then
     1.8 +if [ "${CT_GMP}" = "y" -o "${CT_GMP_TARGET}" = "y" ]; then
     1.9  
    1.10  # Download GMP
    1.11  do_gmp_get() {
    1.12 @@ -21,6 +21,8 @@
    1.13      CT_Patch "gmp-${CT_GMP_VERSION}"
    1.14  }
    1.15  
    1.16 +if [ "${CT_GMP}" = "y" ]; then
    1.17 +
    1.18  do_gmp() {
    1.19  
    1.20      mkdir -p "${CT_BUILD_DIR}/build-gmp"
    1.21 @@ -56,7 +58,9 @@
    1.22      CT_EndStep
    1.23  }
    1.24  
    1.25 -if [ "${CT_COMPLIBS_TARGET}" = "y" ]; then
    1.26 +fi # CT_GMP
    1.27 +
    1.28 +if [ "${CT_GMP_TARGET}" = "y" ]; then
    1.29  
    1.30  do_gmp_target() {
    1.31      mkdir -p "${CT_BUILD_DIR}/build-gmp-target"
    1.32 @@ -87,6 +91,6 @@
    1.33      CT_EndStep
    1.34  }
    1.35  
    1.36 -fi # CT_COMPLIBS_TARGET == y
    1.37 +fi # CT_GMP_TARGET
    1.38  
    1.39 -fi # CT_GMP == y
    1.40 +fi # CT_GMP || CT_GMP_TARGET