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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dcompile86 if test -z "$lib_path"; then
87 lib_path=$file
89 lib_path="$lib_path;$file"
102 for dir in $lib_path $LIB
133 lib_path=
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dsql.scala395 val lib_path = Path.explode("$ISABELLE_SQLITE_HOME/" + Platform.jvm_platform)
397 File.find_files(lib_path.file) match {
399 case _ => error("Exactly one file expected in directory " + lib_path.expand)
401 System.setProperty("org.sqlite.lib.path", File.platform_path(lib_path))
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dsql.scala395 val lib_path = Path.explode("$ISABELLE_SQLITE_HOME/" + Platform.jvm_platform)
397 File.find_files(lib_path.file) match {
399 case _ => error("Exactly one file expected in directory " + lib_path.expand)
401 System.setProperty("org.sqlite.lib.path", File.platform_path(lib_path))

Completed in 91 milliseconds