lib/scripts/run-polyml
changeset 41614 b7cd80330a16
parent 40544 34e56a6668ba
child 48002 6de952f4069f
equal deleted inserted replaced
41613:5bde4a5cc172 41614:b7cd80330a16
    37   POLYLIB="$(cd "$ML_HOME"; cd "$(pwd -P)"; cd ../lib; pwd)"
    37   POLYLIB="$(cd "$ML_HOME"; cd "$(pwd -P)"; cd ../lib; pwd)"
    38 else
    38 else
    39   POLYLIB="$ML_HOME"
    39   POLYLIB="$ML_HOME"
    40 fi
    40 fi
    41 
    41 
    42 export LD_LIBRARY_PATH="$POLYLIB:$LD_LIBRARY_PATH"
    42 librarypath "$POLYLIB"
    43 export DYLD_LIBRARY_PATH="$POLYLIB:$DYLD_LIBRARY_PATH"
       
    44 
    43 
    45 
    44 
    46 ## prepare databases
    45 ## prepare databases
    47 
    46 
    48 if [ -z "$INFILE" ]; then
    47 if [ -z "$INFILE" ]; then