30840ebc99
Add -Wdouble-promotion and -Wfloat-conversion for most ports to ban out implicit floating point conversions, and add extra Travis builds using MICROPY_FLOAT_IMPL_FLOAT to uncover warnings which weren't found previously. For the unix port -Wsign-comparison is added as well but only there since only clang supports this but gcc doesn't. |
||
|---|---|---|
| .. | ||
| test-frzmpy | ||
| main.c | ||
| Makefile | ||
| Makefile.test | ||
| modmachine.c | ||
| moduos.c | ||
| mpconfigport.h | ||
| mphalport.h | ||
| mps2.ld | ||
| nrf51.ld | ||
| qstrdefsport.h | ||
| README.md | ||
| startup.c | ||
| stm32.ld | ||
| test_main.c | ||
| uart.c | ||
| uart.h | ||
This is experimental, community-supported port for Cortex-M emulation as provided by QEMU (http://qemu.org).
The purposes of this port are to enable:
- Continuous integration
- run tests against architecture-specific parts of code base
- Experimentation
- simulation & prototyping of anything that has architecture-specific code
- exploring instruction set in terms of optimising some part of MicroPython or a module
- Streamlined debugging
- no need for JTAG or even an MCU chip itself
- no need to use OpenOCD or anything else that might slow down the process in terms of plugging things together, pressing buttons, etc.
This port will only work with with GCC ARM Embedded
toolchain and not with CodeSourcery toolchain. You will need to modify
LDFLAGS if you want to use CodeSourcery's version of arm-none-eabi.
The difference is that CodeSourcery needs -T generic-m-hosted.ld while
ARM's version requires --specs=nano.specs --specs=rdimon.specs to be
passed to the linker.
To build and run image with builtin testsuite:
make -f Makefile.test test