builtin.h (550B)
1 /* Copyright (c) INRIA and Microsoft Corporation. All rights reserved. 2 Licensed under the Apache 2.0 and MIT Licenses. */ 3 4 #ifndef KRML_HEADER_BUILTIN_H 5 #define KRML_HEADER_BUILTIN_H 6 7 /* For alloca, when using KaRaMeL's -falloca */ 8 #if (defined(_WIN32) || defined(_WIN64)) 9 #include <malloc.h> 10 #elif (defined(sun)) 11 #include <alloca.h> 12 #endif 13 14 /* If some globals need to be initialized before the main, then karamel will 15 * generate and try to link last a function with this type: */ 16 void krmlinit_globals(void); 17 18 #endif /* KRML_HEADER_BUILTIN_H */