Set IDRIS_ENABLE_STATS in config.mk instead of in idris_stats.h. stats are not supported on Arduino. Also make sure that when IDRIS_ENABLE_STATS is not set, the idris_stats.h does not pull in time.h as this header is not available on the Arduino platform.
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.
Added rts/arudino/idris_main.c. It is similar to the standard idris_main.c except it does not attempt to handle argv/argc and it also calls the Arduino init() function.

Additionally, all the rts .c files are now included in the data-files section of the idris.cabal file. When using Idris to cross-compile, we need to recompile the RTS for the target platform. We do not know what platforms might be targeted in advance, so we need to have all the RTS source files available at compile time.
Merge remote-tracking branch 'upstream/master' into fix/master/arduino
Added nominal man-page.
More efficiency improvements

More efforts to avoid allocation where no updates happen.
Merge pull request #1428 from trillioneyes/repl-definitions

Improving :let
Merge pull request #1462 from jfdm/docs/man

Added nominal man-page.
Record import paths in ibc

This way, an ibc contains everything needed to compile to an executable
(including pointers to the other ibcs)
Merge branch 'master' of github.com:idris-lang/Idris-dev
Use strings for code generators

Makes it easy to add third party CGs without requiring them in the repo
Added idris-c executable

Eventually, this should be the only way to invoke code generators (by
invoking "idris-foo Main.ibc" for the code generator for backend foo.

For the moment, this serves as an example 'main' for any new code
generators, and *all* new code generators should be implemented this
way.
Fix implicits bug

If the ordering we guess is not the same as the ordering that is
eventually decided, everything goes to pot... so this patch no longer
makes that flawed assumption!
Invoke external code generator

If --codegen specifies somethng which isn't one of the built-in code
generators, invoke an external CG. For --codegen foo, this should be a
command which takes the following form:

idris-foo <ibc-file-list> [-o <output-file>]

idris-foo should read the ibc files, and generate an output file called
<output-file>. Naturally it's easiest to use Idris as a library to do
this. See the codegen/ directory in the Idris-dev repository for
examples.
Store parameters in function types

Need this so that parameters are properly propagated into definitions
where necessary, and not propagated otherwise.
Don't update after '?' when case splitting

lhs has no metavariables after all, and we don't want to update the rhs
anyway. Fixes #1464
Truncate results in primitives002 test

Precision varies, and since the test is meant to check the primitives
are implementing what they're supposed to, truncation is okay. This
stops the test failing on 64 bit machines.
Fix warning in io003 on clang
Merge pull request #1466 from edwinb/master

Fix warning in io003 on clang
Document --check in --help