Searched refs:GCC (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A Dget_tool_prefix.sh5 GCC=$(find $BIN -maxdepth 2 -name 'arm-none-eabi-gcc' 2> /dev/null )
7 if [[ -z $GCC ]]
11 ls $GCC | sed 's/-gcc$/-/' | head -n 1
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1868 /* Override any GCC internal prototype to avoid an error.
1869 Use char because int might match the return type of a GCC
4569 GCC=yes
4571 GCC=
4641 if test "$GCC" = yes; then
4647 if test "$GCC" = yes; then
5243 if test yes = "$GCC"; then
5266 # If it fails, then pretend we aren't using GCC.
5835 if test yes != "$GCC"; then
5840 if test yes = "$GCC"; the
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1930 /* Override any GCC internal prototype to avoid an error.
1931 Use char because int might match the return type of a GCC
4181 GCC=yes
4183 GCC=
4253 if test "$GCC" = yes; then
4259 if test "$GCC" = yes; then
5537 if test yes = "$GCC"; then
5560 # If it fails, then pretend we aren't using GCC.
6129 if test yes != "$GCC"; then
6134 if test yes = "$GCC"; the
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86FOREIGNCALL.sml128 (* GCC likes to keep the stack on a 16-byte alignment. *)
234 (* GCC likes to keep the stack on a 16-byte alignment. *)
324 (* GCC likes to keep the stack on a 16-byte alignment. *)
422 (* GCC likes to keep the stack on a 16-byte alignment. *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dglobals.h360 the beginning of the object. Later versions of GCC get this right. */
362 #error Poly/ML requires GCC version 3 or newer
/seL4-l4v-10.1.1/HOL4/examples/CCS/
H A DExpansionScript.sml956 (WEAK_EQUIV O (GCC Wbsm) O $expands) E1 E2) /\
959 ($expands O (GCC Wbsm) O WEAK_EQUIV) E1 E2)) /\
961 ?E2. EPS E' E2 /\ (WEAK_EQUIV O (GCC Wbsm) O $expands) E1 E2) /\
963 ?E1. EPS E E1 /\ ($expands O (GCC Wbsm) O WEAK_EQUIV) E1 E2)``);
H A DContractionScript.sml1090 (WEAK_EQUIV O (GCC Wbsm) O $contracts) E1 E2) /\
1093 ($contracts O (GCC Wbsm) O WEAK_EQUIV) E1 E2)) /\
1095 ?E2. EPS E' E2 /\ (WEAK_EQUIV O (GCC Wbsm) O $contracts) E1 E2) /\
1097 ?E1. EPS E E1 /\ ($contracts O (GCC Wbsm) O WEAK_EQUIV) E1 E2)``);
H A DCongruenceScript.sml338 GCC R = (\g h. !c. GCONTEXT c ==> R (c g) (c h))`;
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dbootup.tex153 code and data is mapped (e.g.\ in GCC, with the standard linker script, the

Completed in 141 milliseconds