/* Copyright (c) INRIA and Microsoft Corporation. All rights reserved. | |
Licensed under the Apache 2.0 License. */ | |
#ifndef __KREMLIN_BUILTIN_H | |
#define __KREMLIN_BUILTIN_H | |
/* For alloca, when using KreMLin's -falloca */ | |
#if (defined(_WIN32) || defined(_WIN64)) | |
# include <malloc.h> | |
#endif | |
/* If some globals need to be initialized before the main, then kremlin will | |
* generate and try to link last a function with this type: */ | |
void kremlinit_globals(void); | |
#endif |