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.
commit4382706ab4499e84095f193c469f000312539497
authorstepcut <jeremy@n-heptane.com>
dateWed 16 Jul 2014, 15:24 (12 years ago)
parent17c887a
rts/idris_rts.h+7
@@ -13,6 +13,13 @@
1313#include "idris_heap.h"
1414#include "idris_stats.h"
1515
16+#ifndef EXIT_SUCCESS
17+#define EXIT_SUCCESS 0
18+#endif
19+#ifndef EXIT_FAILURE
20+#define EXIT_FAILURE 1
21+#endif
22+
1623// Closures
1724
1825typedef enum {