From 66c290c98567955feddabd989ce18f93f1c30ec0 Mon Sep 17 00:00:00 2001
From: Juan Escobar <juan.escobar@aero.obs-mip.fr>
Date: Fri, 29 Sep 2023 12:25:43 +0300
Subject: [PATCH] Juan 29/09/2023:configure, move all public lib to WORKDIR if
asked
---
src/configure | 13 ++++++++-----
1 file changed, 8 insertions(+), 5 deletions(-)
diff --git a/src/configure b/src/configure
index 1f59609e9..a154339d1 100755
--- a/src/configure
+++ b/src/configure
@@ -617,15 +617,18 @@ if [ "x${MVWORK}" == "xYES" ] ; then
echo ' ---> initialisez la et relance "./configure"'
exit 1
fi
- if [ -d $WORKDIR ] && [ ${LOCAL} == ${LOCAL##/work} ] ; then
+ if [ -d ${WORKDIR} ] && [ ${LOCAL} == ${LOCAL##/work} ] ; then
# if we are not allready in the workdir --> move stuff
WORK=$WORKDIR/${RACINE}_WORKDIR
mkdir -p ${WORK}
- for dir in MY_RUN exe pub
+ for dir in MY_RUN exe pub src/LIB
do
- [ -d $LOCAL/${dir} ] && [ ! -L $LOCAL/${dir} ] \
- && mv $LOCAL/${dir} ${WORK}/. \
- && ln -s ${WORK}/${dir} $LOCAL/.
+ if [ -d ${LOCAL}/${dir} ] && [ ! -L ${LOCAL}/${dir} ] ; then
+ DIR=$( dirname ${WORK}/${dir} )
+ mkdir -p ${DIR}
+ mv ${LOCAL}/${dir} ${DIR}/.
+ ln -fs ${WORK}/${dir} ${LOCAL}/${dir}
+ fi
done
fi
fi
--
GitLab