X-Git-Url: https://git.argeo.org/?a=blobdiff_plain;f=configure;h=9f4921508d34b49520dafd39942a6d05ddf1ab7f;hb=2619a620291f0d07dc69790347d2c9216fe9f909;hp=da5dffbd145f01926ae75f61d4ec5b10c0a83dce;hpb=752f713658d450dccf0a273ea03a68092ca532ec;p=gpl%2Fargeo-suite.git diff --git a/configure b/configure old mode 100644 new mode 100755 index da5dffb..9f49215 --- a/configure +++ b/configure @@ -1,55 +1,7 @@ #!/bin/sh -# We build where we are -SDK_BUILD_BASE=$(pwd -P)/output - # Source are located where this script is SDK_SRC_BASE="$(cd "$(dirname "$0")"; pwd -P)" -SDK_MK=$SDK_SRC_BASE/sdk.mk - -#echo SDK_BUILD_BASE=$SDK_BUILD_BASE -#echo SDK_SRC_BASE=$SDK_SRC_BASE -#echo SDK_MK=$SDK_MK - -if [ -f "$SDK_MK" ]; -then - -echo "File $SDK_MK already exists. Remove it in order to configure a new build location:" -echo "rm $SDK_MK" -exit 1 - -else - -if [ -z "$JAVA_HOME" ] -then -echo "Environment variable JAVA_HOME must be set" -exit 1 -fi - -# Create build directory, so that it can be used right away -# and we check whether we have the rights -mkdir -p $SDK_BUILD_BASE -if [ -f "$SDK_MK" ]; -then -echo "Cannot create $SDK_BUILD_BASE, SDK configuration has failed." -exit 2 -fi - -# Generate sdk.mk -cat > "$SDK_MK" <