# HG changeset patch
# User wenzelm
# Date 1124192537 -7200
# Node ID d17cfb0b9ba2b1a7c209af9c6d0b658c627a492b
# Parent  bfb571252817012d6b1333d066e09c0467211706
proper ML_DBASE for .../bin/poly;

diff -r bfb571252817 -r d17cfb0b9ba2 lib/scripts/run-polyml
--- a/lib/scripts/run-polyml	Tue Aug 16 13:42:16 2005 +0200
+++ b/lib/scripts/run-polyml	Tue Aug 16 13:42:17 2005 +0200
@@ -46,13 +46,18 @@
 check_file "$POLY"
 
 if [ -z "$ML_DBASE" ]; then
+  if [ ! -e "$ML_HOME/ML_dbase${ML_DBASE_SUFFIX}" -a "$(basename "$ML_HOME")" = bin ]; then
+    ML_DBASE_HOME="$(cd "$ML_HOME"; cd "$(pwd -P)"; cd ../lib/poly; pwd)"
+  else
+    ML_DBASE_HOME="$ML_HOME"
+  fi
   if [ -z "$COPYDB" ]; then
-    ML_DBASE_PREFIX="$ML_HOME/"
+    ML_DBASE_PREFIX="$ML_DBASE_HOME/"
     ML_DBASE="ML_dbase${ML_DBASE_SUFFIX}"
   else
-    ML_DBASE="$ML_HOME/ML_dbase${ML_DBASE_SUFFIX}"
+    ML_DBASE="$ML_DBASE_HOME/ML_dbase${ML_DBASE_SUFFIX}"
   fi
-  export POLYPATH="$(fixpath "$ML_HOME")"
+  export POLYPATH="$(fixpath "$ML_DBASE_HOME")"
 else
   export POLYPATH="$(fixpath "$(dirname "$ML_DBASE")")"
 fi