Deal with relative REMOTE_PREFIX so that I can use them in the Makefile.am

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@936 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/tools/compile-remote-worker.in b/tools/compile-remote-worker.in
index 10b8af1..ef2a8f9 100644 (file)
--- a/tools/compile-remote-worker.in
+++ b/tools/compile-remote-worker.in
@@ -8,6 +8,13 @@
 
 # Where to install the stuff into (REMOTE_PREFIX gets fixed by the makefile)
 PREFIX=$REMOTE_PREFIX
 
 # Where to install the stuff into (REMOTE_PREFIX gets fixed by the makefile)
 PREFIX=$REMOTE_PREFIX

+if echo $PREFIX | egrep '^/' > /dev/null ; then
+  echo "Prefix is an absolute path. Good, it makes configure happy"
+else
+  echo "Change prefix to an absolute path to keep configure happy"
+  PREFIX="$HOME/$PREFIX"
+fi
+echo "(PREFIX=$PREFIX)"

 
 # Where extra libraries are installed (if any)
 LD_LIBRARY_PATH="$PREFIX/lib"
 
 # Where extra libraries are installed (if any)
 LD_LIBRARY_PATH="$PREFIX/lib"