Searched refs:HAVE_LONG_LONG (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Darb.h38 #ifdef HAVE_LONG_LONG
H A Drun_time.h93 #ifdef HAVE_LONG_LONG
H A Drun_time.cpp360 #ifdef HAVE_LONG_LONG
H A Darb.cpp494 #ifdef HAVE_LONG_LONG
H A Drealconv.cpp237 #ifndef HAVE_LONG_LONG
/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h183 #undef HAVE_LONG_LONG macro
184 #define HAVE_LONG_LONG 1 macro

Completed in 51 milliseconds