Searched refs:Platform (Results 1 - 25 of 31) sorted by relevance

12

/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dbuild_polyml.scala86 (if (Platform.is_windows) "-windows" else if (Platform.is_macos) "-darwin" else "-linux")
94 case None if Platform.is_windows =>
136 if (Platform.is_linux) Some(("ldd", """\s*libgmp.*=>\s*(\S+).*""".r))
137 else if (Platform.is_macos) Some(("otool -L", """\s*(\S+lib(?:polyml|gmp).*dylib).*""".r))
179 if (Platform.is_linux) {
182 else if (Platform.is_macos) {
H A Dbuild_cygwin.scala21 require(Platform.is_windows)
H A Dbuild_jdk.scala128 if (Platform.is_windows) error("Cannot build jdk on Windows")
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Dbuild_polyml.scala86 (if (Platform.is_windows) "-windows" else if (Platform.is_macos) "-darwin" else "-linux")
94 case None if Platform.is_windows =>
136 if (Platform.is_linux) Some(("ldd", """\s*libgmp.*=>\s*(\S+).*""".r))
137 else if (Platform.is_macos) Some(("otool -L", """\s*(\S+lib(?:polyml|gmp).*dylib).*""".r))
179 if (Platform.is_linux) {
182 else if (Platform.is_macos) {
H A Dbuild_cygwin.scala21 require(Platform.is_windows)
H A Dbuild_jdk.scala128 if (Platform.is_windows) error("Cannot build jdk on Windows")
/seL4-l4v-10.1.1/isabelle/src/Pure/System/
H A Dplatform.scala13 object Platform
22 /* Platform identifiers */
H A Dcygwin.scala22 require(Platform.is_windows)
H A Disabelle_system.scala65 if (Platform.is_windows)
69 if (Platform.is_windows) Cygwin.init(isabelle_root1, cygwin_root1)
73 if (Platform.is_windows)
87 val temp = if (Platform.is_windows) System.getenv("TEMP") else null
107 if (Platform.is_windows)
289 if (Platform.is_windows) List(cygwin_root() + "\\bin\\bash.exe")
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Dplatform.scala13 object Platform
22 /* Platform identifiers */
H A Dcygwin.scala22 require(Platform.is_windows)
H A Disabelle_system.scala65 if (Platform.is_windows)
69 if (Platform.is_windows) Cygwin.init(isabelle_root1, cygwin_root1)
73 if (Platform.is_windows)
87 val temp = if (Platform.is_windows) System.getenv("TEMP") else null
107 if (Platform.is_windows)
289 if (Platform.is_windows) List(cygwin_root() + "\\bin\\bash.exe")
/seL4-l4v-10.1.1/isabelle/src/Pure/GUI/
H A Dgui.scala32 if (Platform.is_windows || Platform.is_macos)
41 Platform.is_macos &&
45 Platform.is_windows &&
65 if (Platform.is_windows || Platform.is_macos) None
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/GUI/
H A Dgui.scala32 if (Platform.is_windows || Platform.is_macos)
41 Platform.is_macos &&
45 Platform.is_windows &&
65 if (Platform.is_windows || Platform.is_macos) None
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dsession_build.scala163 "jdk-" + Platform.jvm_version + "_" + Platform.jvm_platform + ")")
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dsession_build.scala163 "jdk-" + Platform.jvm_version + "_" + Platform.jvm_platform + ")")
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dgenerate-ios-source-and-headers.py10 class Platform(object): class in inherits:object
42 class simulator_platform(Platform):
52 class device_platform(Platform):
H A Dgenerate-osx-source-and-headers.py9 class Platform(object): class in inherits:object
37 class desktop_platform_32(Platform):
47 class desktop_platform_64(Platform):
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dfile_watcher.scala35 if (Platform.is_windows) none else new Impl(handle, delay)
H A Dfile.scala33 if (Platform.is_windows) {
66 if (Platform.is_windows) {
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dmain.scala148 if (Platform.is_windows) {
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dfile_watcher.scala35 if (Platform.is_windows) none else new Impl(handle, delay)
H A Dfile.scala33 if (Platform.is_windows) {
66 if (Platform.is_windows) {
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Dmain.scala148 if (Platform.is_windows) {
/seL4-l4v-10.1.1/isabelle/src/Pure/ML/
H A Dml_process.scala69 if (Platform.is_windows)

Completed in 111 milliseconds

12