# HG changeset patch # User wenzelm # Date 1160655976 -7200 # Node ID 214843edd729acd282240d31410c1288ac0daf52 # Parent 05c3703cc6c54880c191f1981bad1e985ad08a9c set DYLD_LIBRARY_PATH (for Darwin); diff -r 05c3703cc6c5 -r 214843edd729 lib/scripts/run-polyml-4.9.1 --- a/lib/scripts/run-polyml-4.9.1 Thu Oct 12 14:14:11 2006 +0200 +++ b/lib/scripts/run-polyml-4.9.1 Thu Oct 12 14:26:16 2006 +0200 @@ -36,7 +36,9 @@ else POLYLIB="$ML_HOME" fi + export LD_LIBRARY_PATH="$POLYLIB:$LD_LIBRARY_PATH" +export DYLD_LIBRARY_PATH="$POLYLIB:$DYLD_LIBRARY_PATH" ## prepare databases