Juan 29/09/2023:configure, move all public lib to WORKDIR if asked

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