commit 58ebde46646dd49d22b2accfa9c7a78e15921e48
author Damien George <damien.p.george@gmail.com> Wed May 21 20:32:59 2014 +0100
committer Damien George <damien.p.george@gmail.com> Wed May 21 20:32:59 2014 +0100
tree bdb130a761309e138cd9d3ff60f4639c897a8808
parent aa7cf6f72f4e8a553f892629bb3338ab8c982d57

Tidy up some configuration options.

MP_ALLOC_* -> MICROPY_ALLOC_*
MICROPY_PATH_MAX -> MICROPY_ALLOC_PATH_MAX
MICROPY_ENABLE_REPL_HELPERS -> MICROPY_HELPER_REPL
MICROPY_ENABLE_LEXER_UNIX -> MICROPY_HELPER_LEXER_UNIX
MICROPY_EXTRA_* -> MICROPY_PORT_*

See issue #35.

py/repl.h

diff --git a/py/repl.h b/py/repl.h
index 36acfc3..92688f9 100644
--- a/py/repl.h
+++ b/py/repl.h
@@ -24,6 +24,6 @@
  * THE SOFTWARE.
  */
 
-#if MICROPY_ENABLE_REPL_HELPERS
+#if MICROPY_HELPER_REPL
 bool mp_repl_continue_with_input(const char *input);
 #endif