configure

changeset 74
831928419249
parent 73
072fa3e165f0
     1.1 --- a/configure	Sun Sep 24 18:48:42 2023 +0200
     1.2 +++ b/configure	Sun Oct 01 14:41:17 2023 +0200
     1.3 @@ -227,6 +227,28 @@
     1.4      echo no
     1.5      return 0
     1.6  }
     1.7 +dependency_error_tools()
     1.8 +{
     1.9 +    printf "checking for tools... "
    1.10 +    # dependency tools platform="unix"
    1.11 +    while true
    1.12 +    do
    1.13 +        if notisplatform "unix"; then
    1.14 +            break
    1.15 +        fi
    1.16 +        cat >> $TEMP_DIR/make.mk << __EOF__
    1.17 +# Dependency: tools
    1.18 +RMDIR=rm -fR
    1.19 +MKDIR=mkdir -p
    1.20 +
    1.21 +__EOF__
    1.22 +        echo yes
    1.23 +        return 1
    1.24 +    done
    1.25 +
    1.26 +    echo no
    1.27 +    return 0
    1.28 +}
    1.29  
    1.30  
    1.31  
    1.32 @@ -249,11 +271,6 @@
    1.33              break
    1.34          fi
    1.35  
    1.36 -        cat >> "$TEMP_DIR/make.mk" << __EOF__
    1.37 -MKDIR=mkdir -p
    1.38 -RMDIR=rm -fR
    1.39 -
    1.40 -__EOF__
    1.41          break
    1.42      done
    1.43      break
    1.44 @@ -290,6 +307,10 @@
    1.45      DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED ucx "
    1.46      ERROR=1
    1.47  fi
    1.48 +if dependency_error_tools; then
    1.49 +    DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED tools "
    1.50 +    ERROR=1
    1.51 +fi
    1.52  
    1.53  # Features
    1.54  

mercurial