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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dcompile91 linker_opts="$linker_opts -LIBPATH:$file"
135 linker_opts=
195 linker_opts="$linker_opts $flag"
201 linker_opts="$linker_opts $2"
225 if test -n "$linker_opts"; then
226 linker_opts="-link$linker_opts"
[all...]

Completed in 8 milliseconds