From 2cb8a40febfe1b42ab2aebecbf6e0ec06b2c5e4d Mon Sep 17 00:00:00 2001 From: Mathieu Baudier Date: Sat, 7 May 2022 10:34:40 +0200 Subject: [PATCH] Version configure script --- configure | 55 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 55 insertions(+) create mode 100644 configure diff --git a/configure b/configure new file mode 100644 index 0000000..9b3e980 --- /dev/null +++ b/configure @@ -0,0 +1,55 @@ +#!/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" <