/seL4-l4v-10.1.1/isabelle/lib/scripts/ |
H A D | polyml-version | 9 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 D | polyml-version | 9 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 D | java | 13 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
|
H A D | scalac | 10 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
|
H A D | scala | 17 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/ |
H A D | java | 13 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
|
H A D | scalac | 10 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
|
H A D | scala | 17 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | compile | 98 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 D | ltmain.sh | 3771 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 D | package | 10 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 D | package | 10 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 D | MuddyCore.sml | 13 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 D | performance.sml | 4 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 D | polyffi.cpp | 205 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 D | make_mlyacclib | 24 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 D | make_mlyacclib | 24 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 D | makedist | 166 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 D | makefile | 37 rm -f lib$(TARGET).a
|
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/ |
H A D | makedist | 166 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 D | ltmain.sh | 3771 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 D | modelCheckLib.sig | 4 (*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 D | mkrelease | 79 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 D | Makefile.am | 76 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 D | build_polyml.scala | 137 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")
|