mirror of
https://github.com/HDFGroup/hdf5.git
synced 2025-03-19 16:50:46 +08:00
Make this script relocatable again: derive a relative path for the
original installation prefix from the examples prefix. Use that relative path to locate the current installation prefix, always. Fall back to an absolute installation prefix if the relative path cannot be derived.
This commit is contained in:
parent
b8a93a7224
commit
d459daa1f7
@ -28,10 +28,33 @@
|
||||
# Initializations
|
||||
EXIT_SUCCESS=0
|
||||
EXIT_FAILURE=1
|
||||
|
||||
|
||||
#
|
||||
# Try to derive the path to the installation $prefix established
|
||||
# by ./configure relative to the examples directory established by
|
||||
# ./configure. If successful, set `prefix_relto_examplesdir` to the
|
||||
# relative path. Otherwise, set `prefix_relto_examplesdir` to the
|
||||
# absolute installation $prefix.
|
||||
#
|
||||
# This script uses the value of `prefix` in the user's environment, if
|
||||
# it is set, below. The content of $() is evaluated in a sub-shell, so
|
||||
# if `prefix` is set in the user's environment, the shell statements in
|
||||
# $() won't clobbered it.
|
||||
#
|
||||
prefix_relto_examplesdir=$(
|
||||
prefix=@prefix@
|
||||
examplesdir=@examplesdir@
|
||||
if [ ${examplesdir##${prefix}/} != ${examplesdir} ]; then
|
||||
echo $(echo ${examplesdir##${prefix}/} | \
|
||||
sed -E 's,[^/]+,..,g')
|
||||
else
|
||||
echo $prefix
|
||||
fi
|
||||
)
|
||||
|
||||
# Where the tool is installed.
|
||||
# default is relative path to installed location of the tools
|
||||
prefix="${prefix:-@prefix@}"
|
||||
prefix="${prefix:-${prefix_relto_examplesdir}}"
|
||||
PARALLEL=@PARALLEL@ # Am I in parallel mode?
|
||||
AR="@AR@"
|
||||
RANLIB="@RANLIB@"
|
||||
|
Loading…
x
Reference in New Issue
Block a user