02_alloca.patch (545B)
1 Bug 1857190 - include alloca.h on Solaris 2 3 diff --git a/dist/karamel/include/krml/internal/builtin.h b/dist/karamel/include/krml/internal/builtin.h 4 index f55e5f824e..07ff156788 100644 5 --- a/dist/karamel/include/krml/internal/builtin.h 6 +++ b/dist/karamel/include/krml/internal/builtin.h 7 @@ -7,6 +7,8 @@ 8 /* For alloca, when using KaRaMeL's -falloca */ 9 #if (defined(_WIN32) || defined(_WIN64)) 10 #include <malloc.h> 11 +#elif (defined(sun)) 12 +#include <alloca.h> 13 #endif 14 15 /* If some globals need to be initialized before the main, then karamel will