on master help sign in
If EXIT_SUCCESS and EXIT_FAILURE are not defined (as is the case on Arduino), explicitly define them using standard values (EXIT_SUCCESS == 0, EXIT_FAILURE == 1). In the long term the RTS should be modified to not call exit directly at all since it does not make sense on embedded platforms. The calls to exit(EXIT_SUCCESS) and exit(EXIT_FAILURE). Should be replaced by macros that do something sensible on the platform.
4382706stepcut
rts/idris_rts.h+7
@@ -13,6 +13,13 @@
13#include "idris_heap.h"
13#include "idris_heap.h"
14#include "idris_stats.h"
14#include "idris_stats.h"
15
15
16+#ifndef EXIT_SUCCESS
17+#define EXIT_SUCCESS 0
18+#endif
19+#ifndef EXIT_FAILURE
20+#define EXIT_FAILURE 1
21+#endif
22+
16// Closures
23// Closures
17
24
18typedef enum {
25typedef enum {