Searched refs:lib (Results 1 - 25 of 55) sorted by relevance

123

/seL4-l4v-10.1.1/isabelle/lib/scripts/
H A Dpolyml-version9 LD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$LD_LIBRARY_PATH" \
10 DYLD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$DYLD_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" \
10 DYLD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$DYLD_LIBRARY_PATH" \
/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Djava13 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
H A Dscalac10 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
H A Dscala17 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Djava13 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
H A Dscalac10 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
H A Dscala17 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dcompile98 lib=$1
105 if $shared && test -f "$dir/$lib.dll.lib"; then
107 lib=$dir/$lib.dll.lib
110 if test -f "$dir/$lib.lib"; then
112 lib=$dir/$lib
[all...]
H A Dltmain.sh3771 If OUTPUT-FILE ends in '.a' or '.lib', then a standard library is created
3772 using 'ar' and 'ranlib', or on Windows using 'lib'.
3856 || func_fatal_help "'$lib' is not a valid libtool archive"
4003 for lib in $libs; do
4004 echo "removing references to $lt_sysroot and '=' prefixes from $lib"
4008 for lib in $libs; do
4009 $SED -e "$sysroot_cmd s/\([ ']-[LR]\)=/\1/g; s/\([ ']\)=/\1/g" $lib \
4011 mv -f $tmpdir/tmp-la $lib
4348 lib=$destdir/$realname
4453 for lib i
[all...]
/seL4-l4v-10.1.1/isabelle/Admin/jenkins/ci-extras/
H A Dpackage10 mkdir -p lib
11 cp "target/ci-extras-1.0-SNAPSHOT-jar-with-dependencies.jar" "lib/ci-extras.jar"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/jenkins/ci-extras/
H A Dpackage10 mkdir -p lib
11 cp "target/ci-extras-1.0-SNAPSHOT-jar-with-dependencies.jar" "lib/ci-extras.jar"
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A DMuddyCore.sml13 val hdl = dlopen {lib = path, flag = RTLD_NOW, global = false}
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/regular-play/test/
H A Dperformance.sml4 Meta.load "../lib/regex";
5 Meta.load "../lib/regexRef";
6 Meta.load "../lib/regexExe";
7 Meta.load "../lib/regexExeM";
8 Meta.load "../lib/regexExeMC";
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolyffi.cpp205 HINSTANCE lib = LoadLibrary(libName); local
206 if (lib == NULL)
218 void *lib = dlopen(libName, RTLD_LAZY); local
219 if (lib == NULL)
227 return toSysWord(taskData, lib);
233 HINSTANCE lib = hApplicationInstance; local
235 void *lib = dlopen(NULL, RTLD_LAZY);
236 if (lib == NULL)
244 return toSysWord(taskData, lib);
253 void *lib
278 void *lib = *(void**)(args->WordP()->Get(0).AsAddress()); local
[all...]
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dmake_mlyacclib24 This file is generated from the contents of ML-Yacc's lib directory.
44 $MLYACCDIR/lib/$FILE
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dmake_mlyacclib24 This file is generated from the contents of ML-Yacc's lib directory.
44 $MLYACCDIR/lib/$FILE
/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/
H A Dmakedist166 perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings
167 perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
168 perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
170 src/Pure/System/distribution.ML src/Pure/System/distribution.scala lib/Tools/version
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dmakefile37 rm -f lib$(TARGET).a
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/
H A Dmakedist166 perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings
167 perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
168 perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
170 src/Pure/System/distribution.ML src/Pure/System/distribution.scala lib/Tools/version
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dltmain.sh3771 If OUTPUT-FILE ends in '.a' or '.lib', then a standard library is created
3772 using 'ar' and 'ranlib', or on Windows using 'lib'.
3856 || func_fatal_help "'$lib' is not a valid libtool archive"
4003 for lib in $libs; do
4004 echo "removing references to $lt_sysroot and '=' prefixes from $lib"
4008 for lib in $libs; do
4009 $SED -e "$sysroot_cmd s/\([ ']-[LR]\)=/\1/g; s/\([ ']\)=/\1/g" $lib \
4011 mv -f $tmpdir/tmp-la $lib
4348 lib=$destdir/$realname
4453 for lib i
[all...]
/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/model_check/
H A DmodelCheckLib.sig4 (*These lib is an interface to modelcheckers. The translationLib is
9 make these lib work. Thus maker sure, the parameter smv_path of temporalLib
11 before trying to use this lib.
/seL4-l4v-10.1.1/l4v/tools/c-parser/
H A Dmkrelease79 safemakedir "$outputdir/src/lib"
100 if grep -q -vE '^(lib/|tools/c-parser/)' "$CPARSER_DEPS"; then
101 echo >&2 'unexpected dependencies outside lib/ and tools/c-parser/:'
102 grep >&2 -vE '^(lib/|tools/c-parser/)' "$CPARSER_DEPS"
107 grep '^lib/' "$CPARSER_DEPS" |
112 lib/Word_Lib/ROOT
116 lib/Word_Lib
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.am76 lib/wrapper.exp lib/target-libpath.exp \
77 lib/libffi.exp libffi.call/cls_struct_va1.c \
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dbuild_polyml.scala137 else if (Platform.is_macos) Some(("otool -L", """\s*(\S+lib(?:polyml|gmp).*dylib).*""".r))
142 for { line <- lines; List(lib) <- pattern.unapplySeq(line) } yield lib
171 d <- List("target/bin", "target/lib")

Completed in 256 milliseconds

123