tuned;
authorwenzelm
Thu, 28 Sep 2006 11:56:30 +0200
changeset 20759 1cd271a4fb12
parent 20758 19be439e35f9
child 20760 f8281cbf37a5
tuned;
lib/scripts/run-polyml-4.9.1
--- a/lib/scripts/run-polyml-4.9.1	Thu Sep 28 11:55:56 2006 +0200
+++ b/lib/scripts/run-polyml-4.9.1	Thu Sep 28 11:56:30 2006 +0200
@@ -36,13 +36,7 @@
 else
   POLYLIB="$ML_HOME"
 fi
-
-if [ -z "$LD_LIBRARY_PATH" ]; then
-  LD_LIBRARY_PATH="$POLYLIB"
-else
-  LD_LIBRARY_PATH="$POLYLIB:$LD_LIBRARY_PATH"
-fi
-export LD_LIBRARY_PATH
+export LD_LIBRARY_PATH="$POLYLIB:$LD_LIBRARY_PATH"
 
 
 ## prepare databases
@@ -85,7 +79,7 @@
 
 if [ -n "$OUTFILE" ]; then
   if [ -e "${OUTFILE}.o" ]; then
-    cc -o "$OUTFILE" "${OUTFILE}.o" -lpolymain -lpolyml -lstdc++ || fail_out
+    cc -o "$OUTFILE" "${OUTFILE}.o" -L "$POLYLIB" -lpolymain -lpolyml -lstdc++ || fail_out
     rm -f "${OUTFILE}.o"
   fi
   [ -f "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE"