Searched refs:LD_LIBRARY_PATH (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/scripts/
H A Dpolyml-version9 LD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$LD_LIBRARY_PATH" \
/seL4-l4v-10.1.1/l4v/isabelle/lib/scripts/
H A Dpolyml-version9 LD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$LD_LIBRARY_PATH" \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/lib/
H A Dtarget-libpath.exp73 if [info exists env(LD_LIBRARY_PATH)] {
74 set orig_ld_library_path "$env(LD_LIBRARY_PATH)"
113 # It only sets SHLIB_PATH and LD_LIBRARY_PATH when it executes a
116 # On IRIX 6, we have to set variables akin to LD_LIBRARY_PATH, but
121 # of LD_LIBRARY_PATH, and in other cases LD_LIBRARY_PATH is used if the
125 # SHLIB_PATH and LD_LIBRARY_PATH when unix_load sets these variables.
127 setenv LD_LIBRARY_PATH "$ld_library_path:$orig_ld_library_path"
129 setenv LD_LIBRARY_PATH "$ld_library_path"
137 # HP-UX executables searches LD_LIBRARY_PATH befor
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure11636 shlibpath_var=LD_LIBRARY_PATH
11749 shlibpath_var=LD_LIBRARY_PATH
11888 shlibpath_var=LD_LIBRARY_PATH
11915 shlibpath_var=LD_LIBRARY_PATH
11960 shlibpath_var=LD_LIBRARY_PATH
11976 shlibpath_var=LD_LIBRARY_PATH # How should we handle SHLIB_PATH
12005 shlibpath_var=LD_LIBRARY_PATH
12059 shlibpath_var=LD_LIBRARY_PATH
12080 shlibpath_var=LD_LIBRARY_PATH
12148 shlibpath_var=LD_LIBRARY_PATH
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure11623 shlibpath_var=LD_LIBRARY_PATH
11736 shlibpath_var=LD_LIBRARY_PATH
11875 shlibpath_var=LD_LIBRARY_PATH
11902 shlibpath_var=LD_LIBRARY_PATH
11947 shlibpath_var=LD_LIBRARY_PATH
11963 shlibpath_var=LD_LIBRARY_PATH # How should we handle SHLIB_PATH
11992 shlibpath_var=LD_LIBRARY_PATH
12046 shlibpath_var=LD_LIBRARY_PATH
12067 shlibpath_var=LD_LIBRARY_PATH
12135 shlibpath_var=LD_LIBRARY_PATH
[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/
H A Dintro.tex99 declare -x LD_LIBRARY_PATH=/usr/local/lib:$HOME/lib $
/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/
H A Dintro.tex97 declare -x LD_LIBRARY_PATH=/usr/local/lib:$HOME/lib

Completed in 136 milliseconds