Searched refs:host (Results 1 - 25 of 43) sorted by relevance

12

/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dremote_dmg.scala52 val (user, host, tar_gz_file, dmg_file) =
54 case List(SSH.Target(user, host), tar_gz_file, dmg_file) =>
55 (user, host, Path.explode(tar_gz_file), Path.explode(dmg_file))
60 using(SSH.open_session(options, host = host, user = user, port = port))(
H A Disabelle_cronjob.scala150 host: String,
171 context.open_session(host = proper_string(ssh_host) getOrElse host, user = user, port = port,
177 SQL.member(Build_Log.Prop.build_host.ident, host :: more_hosts) +
307 List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail,
335 val task_name = "build_history-" + r.host
343 isabelle_repos.ext(r.host),
H A Dbuild_log.scala378 def parse(engine: String, host: String, start: Date,
383 val prefix = proper_string(host) orElse proper_string(engine) getOrElse "build"
387 val build_host = if (host == "") Nil else List(Prop.build_host.name -> host)
416 case Isatest.Start(log_file.Strict_Date(start), host) :: _ =>
417 parse(Isatest.engine, host, start, Isatest.End,
420 case AFP_Test.Start(log_file.Strict_Date(start), host) :: _ =>
421 parse(AFP_Test.engine, host, start, AFP_Test.End,
431 val host =
435 parse(Jenkins.engine, host, star
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Dremote_dmg.scala52 val (user, host, tar_gz_file, dmg_file) =
54 case List(SSH.Target(user, host), tar_gz_file, dmg_file) =>
55 (user, host, Path.explode(tar_gz_file), Path.explode(dmg_file))
60 using(SSH.open_session(options, host = host, user = user, port = port))(
H A Disabelle_cronjob.scala150 host: String,
171 context.open_session(host = proper_string(ssh_host) getOrElse host, user = user, port = port,
177 SQL.member(Build_Log.Prop.build_host.ident, host :: more_hosts) +
307 List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail,
335 val task_name = "build_history-" + r.host
343 isabelle_repos.ext(r.host),
H A Dbuild_log.scala378 def parse(engine: String, host: String, start: Date,
383 val prefix = proper_string(host) orElse proper_string(engine) getOrElse "build"
387 val build_host = if (host == "") Nil else List(Prop.build_host.name -> host)
416 case Isatest.Start(log_file.Strict_Date(start), host) :: _ =>
417 parse(Isatest.engine, host, start, Isatest.End,
420 case AFP_Test.Start(log_file.Strict_Date(start), host) :: _ =>
421 parse(AFP_Test.engine, host, start, AFP_Test.End,
431 val host =
435 parse(Jenkins.engine, host, star
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dssh.scala20 /* target machine: user@host syntax */
28 case Pattern(user, host) => (user, host)
35 case (user, host) => Some(List(user, host))
77 def open_session(options: Options, host: String, user: String = "", port: Int = 0,
80 init_context(options).open_session(host = host, user = user, port = port,
88 def connect_session(host: String, user: String = "", port: Int = 0,
93 val session = jsch.getSession(proper_string(user) getOrElse null, host, make_por
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dssh.scala20 /* target machine: user@host syntax */
28 case Pattern(user, host) => (user, host)
35 case (user, host) => Some(List(user, host))
77 def open_session(options: Options, host: String, user: String = "", port: Int = 0,
80 init_context(options).open_session(host = host, user = user, port = port,
88 def connect_session(host: String, user: String = "", port: Int = 0,
93 val session = jsch.getSession(proper_string(user) getOrElse null, host, make_por
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dbuild-ios.sh20 ../configure --host=${triple} && make
H A Dltmain.sh2066 host-triplet: $host
2158 echo "host: $host"
2418 case $host in
2753 # and $host is mingw, cygwin, or some other w32 environment. Relies on a
2785 # $host is mingw, cygwin, or some other w32 environment. Relies on a correctly
2822 # $build is MSYS and $host is Cygwin, or (3) $build is Cygwin. In case (1) or
2867 # Verify that ARG1 (a file name in $build format) was converted to $host
2875 func_error "Could not determine host fil
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dnetwork.cpp304 static Handle makeHostEntry(TaskData *taskData, struct hostent *host);
1189 struct hostent *host = (struct hostent *)arg; local
1194 for (j = 0; j < host->h_length; j++)
1199 /* Convert a host entry into a tuple for ML. */
1200 static Handle makeHostEntry(TaskData *taskData, struct hostent *host) argument
1212 name = SAVE(C_string_to_Poly(taskData, host->h_name));
1215 for (i=0, p = host->h_aliases; *p != NULL; p++, i++);
1216 aliases = convert_string_list(taskData, i, host->h_aliases);
1219 addrType = Make_arbitrary_precision(taskData, host->h_addrtype);
1223 for (i=0, p = host
1661 struct hostent *host = gethostbyname(hostName); local
1681 struct hostent *host = gethostbyaddr((char*)&addr, sizeof(addr), AF_INET); local
[all...]
H A DMakefile.in92 host_triplet = @host@
431 host = @host@
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dltmain.sh2066 host-triplet: $host
2158 echo "host: $host"
2418 case $host in
2753 # and $host is mingw, cygwin, or some other w32 environment. Relies on a
2785 # $host is mingw, cygwin, or some other w32 environment. Relies on a correctly
2822 # $build is MSYS and $host is Cygwin, or (3) $build is Cygwin. In case (1) or
2867 # Verify that ARG1 (a file name in $build format) was converted to $host
2875 func_error "Could not determine host fil
[all...]
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/computer/
H A Dvalues.ml8 % constants, definitions, and axioms common to both the host level %
H A Dmicrocode.ml144 The following generates axioms defining the host's microcode MICROCODE
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in89 host_triplet = @host@
236 host = @host@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in90 host_triplet = @host@
290 host = @host@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in89 host_triplet = @host@
273 host = @host@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/lib/
H A Dlibffi.exp125 if { [is_remote host] == 0 && [which $compiler] != 0 } {
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A Dproblems2tptp.sml54 ["TPTP file created by " ^ host () ^ " at " ^
H A DUseful.sig298 val host : unit -> string value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A Dproblems2tptp.sml54 ["TPTP file created by " ^ host () ^ " at " ^
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in89 host_triplet = @host@
296 host = @host@
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in90 host_triplet = @host@
317 host = @host@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in89 host_triplet = @host@
246 host = @host@

Completed in 118 milliseconds

12