Damien George
|
136f67523b
|
Factor and simplify Makefile's and mpconfig.
|
2014-01-07 14:54:15 +00:00 |
|
Paul Sokolovsky
|
d674bd5989
|
Convert USE_READLINE config option to be consistent with others.
|
2014-01-04 19:38:19 +02:00 |
|
Paul Sokolovsky
|
c90c0f68a2
|
Move INT_FMT, etc. declaration into global mpconfig.h .
This in particular makes it available for stm port.
|
2014-01-04 01:57:00 +02:00 |
|
Paul Sokolovsky
|
b372bfca21
|
Rename default config file to mpconfig.h, and port's to mpconfigport.h.
mpconfig.h will automatically pull mpconfigport.h.
|
2014-01-03 19:03:11 +02:00 |
|