dist/install.sh

Sun, 10 Sep 2023 13:10:07 +0200

author
Mike Becker <universe@uap-core.de>
date
Sun, 10 Sep 2023 13:10:07 +0200
changeset 44
1d963f2c7e91
parent 27
e6e7e63b8b5e
permissions
-rwxr-xr-x

make FeatureType.default an xs:boolean - fixes #296

#!/bin/sh

PREFIX=/usr/local

# help text
printhelp()
{
	echo "Usage: $0 [PREFIX=<path>]"
	echo
	echo "Default PREFIX: /usr/local"
}

# error function
exit_on_error()
{
  echo "$1"
  exit 1
}

#
# parse arguments 
#
for arg in "$@"
do
    case "$arg" in
		"PREFIX="*)         PREFIX=${arg#PREFIX=} ;;
		"--help"*)          printhelp; exit 1 ;;
		"-"*) echo "unknown option: $arg"; exit 1 ;;
	esac
done

#
# create install dir
#
echo "mkdir -p $PREFIX/lib/uwproj $PREFIX/bin"
mkdir -p "$PREFIX/lib/uwproj" "$PREFIX/bin" \
  || exit_on_error "Creating install directory failed."

#
# install the JAR file
#
echo "cp ../target/uwproj-0.1-jar-with-dependencies.jar $PREFIX/lib/uwproj/uwproj-0.1.jar"
cp "../target/uwproj-0.1-jar-with-dependencies.jar" "$PREFIX/lib/uwproj/uwproj-0.1.jar" \
  || exit_on_error "Installing JAR file failed."

#
# create a run script in the bin dir
#
echo "cp bin/uwproj $PREFIX/bin"
sed "s:%%PREFIX%%:$PREFIX:g" "bin/uwproj" > "$PREFIX/bin/uwproj" \
  || exit_on_error "Creating run script failed."

echo "chmod 0555 $PREFIX/bin/uwproj"
chmod 0755 "$PREFIX/bin/uwproj" \
  || exit_on_error "Changing permissions for run script failed."

echo
echo "uwproj has been successfully installed."

mercurial