Searched refs:HAVE_ALLOCA_H (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h31 #undef HAVE_ALLOCA_H macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dbasicio.cpp65 #ifdef HAVE_ALLOCA_H
H A Dwinbasicio.cpp58 #ifdef HAVE_ALLOCA_H
H A Darb.cpp67 #ifdef HAVE_ALLOCA_H
H A Dxwindows.cpp159 #ifdef HAVE_ALLOCA_H

Completed in 86 milliseconds