Searched refs:hostname (Results 1 - 17 of 17) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/
H A D.acl2holrc.bash4 hostname=`hostname`
6 if [ "$hostname" = "kala.cl.cam.ac.uk" ] ; then \
10 elif [ "$hostname" = "oliphaunt-0.cs.utexas.edu" ] ; then \
/seL4-l4v-10.1.1/isabelle/Admin/Release/
H A Dmirror-website5 HOST=$(hostname)
/seL4-l4v-10.1.1/l4v/isabelle/Admin/Release/
H A Dmirror-website5 HOST=$(hostname)
/seL4-l4v-10.1.1/isabelle/src/HOL/Tools/ATP/scripts/
H A Dremote_atp107 $message =~ s/ \(Bad hostname ['"][^'"]*['"]\)//;
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Tools/ATP/scripts/
H A Dremote_atp107 $message =~ s/ \(Bad hostname ['"][^'"]*['"]\)//;
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Disabelle_cronjob.scala390 val hostname = Isabelle_System.hostname()
395 "[" + Build_Log.print_date(date) + ", " + hostname + ", " + task_name + "]: " + msg)
518 File.write(main_state_file, main_start_date + " " + log_service.hostname)
H A Dbuild_history.scala179 val build_host = Isabelle_System.hostname()
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Disabelle_cronjob.scala390 val hostname = Isabelle_System.hostname()
395 "[" + Build_Log.print_date(date) + ", " + hostname + ", " + task_name + "]: " + msg)
518 File.write(main_state_file, main_start_date + " " + log_service.hostname)
H A Dbuild_history.scala179 val build_host = Isabelle_System.hostname()
/seL4-l4v-10.1.1/isabelle/src/Pure/System/
H A Disabelle_system.scala321 def hostname(): String = bash("hostname -s").check.out
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Disabelle_system.scala321 def hostname(): String = bash("hostname -s").check.out
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHolmake.sml142 val hostname = if Systeml.isUnix then value
143 case Mosml.run "hostname" [] "" of
154 val newname0 = hostname^timestamp
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sml910 val hostname = if Systeml.isUnix then value
911 case Mosml.run "hostname" [] "" of
941 val newname0 = hostname^timestamp
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dbuild.scala796 " (" + Isabelle_System.getenv("ML_IDENTIFIER") + " on " + Isabelle_System.hostname() +")")
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Dbuild.scala796 " (" + Isabelle_System.getenv("ML_IDENTIFIER") + " on " + Isabelle_System.hostname() +")")
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure574 # hostname on some systems (SVR3.2, old GNU/Linux) returns a bogus exit status,
576 ac_hostname=`(hostname || uname -n) 2>/dev/null | sed 1q`
2394 hostname = `(hostname || uname -n) 2>/dev/null | sed 1q`
20100 on `(hostname || uname -n) 2>/dev/null | sed 1q`
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure574 # hostname on some systems (SVR3.2, old GNU/Linux) returns a bogus exit status,
576 ac_hostname=`(hostname || uname -n) 2>/dev/null | sed 1q`
2603 hostname = `(hostname || uname -n) 2>/dev/null | sed 1q`
23117 on `(hostname || uname -n) 2>/dev/null | sed 1q`

Completed in 307 milliseconds