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.
20 lines
498 B
Makefile
20 lines
498 B
Makefile
PROG ?= micropython-coverage
|
|
|
|
# Disable optimisations and enable assert() on coverage builds.
|
|
DEBUG ?= 1
|
|
|
|
CFLAGS += \
|
|
-fprofile-arcs -ftest-coverage \
|
|
-Wformat -Wmissing-declarations -Wmissing-prototypes \
|
|
-Wold-style-definition -Wpointer-arith -Wshadow -Wuninitialized -Wunused-parameter \
|
|
-DMICROPY_UNIX_COVERAGE
|
|
|
|
LDFLAGS += -fprofile-arcs -ftest-coverage
|
|
|
|
FROZEN_MANIFEST = manifest_coverage.py
|
|
|
|
MICROPY_ROM_TEXT_COMPRESSION = 1
|
|
MICROPY_VFS_FAT = 1
|
|
MICROPY_VFS_LFS1 = 1
|
|
MICROPY_VFS_LFS2 = 1
|