Makefile.include: introduce 'BOARDSDIR' for boards directory#12183

Merged

dylad merged 10 commits intoRIOT-OS:masterfrom cladmi:pr/boardsdir

Dec 16, 2019

+200-28

Commits on Dec 16, 2019

Makefile.include: allow directories that cannot be overridden

cladmi
authored and
aabadie
committed
Makefile.include: introduce 'BOARDSDIR' for boards directory

cladmi
authored and
aabadie
committed
makefiles: use 'BOARDSDIR' for the boards directory in compilation

cladmi
authored and
aabadie
committed
tools: use 'BOARDSDIR' for the boards directory

cladmi
authored and
aabadie
committed
makefiles/docker: handle mounting 'BOARDSDIR'

cladmi
authored and
aabadie
committed
makefiles/vars.inc.mk: document BOARDSDIR as external boards directory

cladmi
authored and
aabadie
committed
tests/external_board_native: show an example of external board

cladmi
authored and
aabadie
committed
examples: update documentation to use 'BOARDSDIR'

cladmi
authored and
aabadie
committed
makefiles: deprecate 'RIOTBOARD' for 'BOARDSDIR'

cladmi
authored and
aabadie
committed
tools/buildsystem_check: exclude tests/external_board_native path
aabadie
committed