make: initial Rust language support

The idea is to integrate rust into the existing build system as well as
possible and to not use a separate buildsystem like cargo or xargo.

Makefile.base has been modified to include support for main.rs and
lib.rs files and a Makefile.rust has been added which sets a few rust
related variables.

This is very loosly based on RIOT-OS#5740

Makefile.base

@@ -28,6 +28,15 @@ endif
 ifeq ($(strip $(SRCXX)),)
     SRCXX := $(wildcard *.cpp)
 endif
+ifeq ($(strip $(RUSTSRC)),)
+    ifneq (,$(wildcard main.rs))
+        CRATE_TYPE = bin
+        RUSTSRC = main.rs
+    else ifneq (,$(wildcard lib.rs))
+        CRATE_TYPE = lib
+        RUSTSRC = lib.rs
+    endif
+endif
 ifeq ($(strip $(ASMSRC)),)
     ASMSRC := $(wildcard *.s)
 endif
@@ -39,6 +48,7 @@ OBJC_LTO    := $(SRC:%.c=$(BINDIR)/$(MODULE)/%.o)
 OBJC_NOLTO  := $(SRC_NOLTO:%.c=$(BINDIR)/$(MODULE)/%.o)
 OBJC        := $(OBJC_NOLTO) $(OBJC_LTO)
 OBJCXX      := $(SRCXX:%.cpp=$(BINDIR)/$(MODULE)/%.o)
+RUSTOBJ     := $(RUSTSRC:%.rs=$(BINDIR)/$(MODULE)/%.o)
 ASMOBJ      := $(ASMSRC:%.s=$(BINDIR)/$(MODULE)/%.o)
 ASSMOBJ     := $(ASSMSRC:%.S=$(BINDIR)/$(MODULE)/%.o)
 
@@ -48,12 +58,6 @@ DEP := $(OBJC:.o=.d) $(OBJCXX:.o=.d) $(ASSMOBJ:.o=.d)
 $(BINDIR)/$(MODULE)/:
 	$(AD)mkdir -p $@
 
-$(BINDIR)/$(MODULE).a $(OBJ): | $(BINDIR)/$(MODULE)/
-
-$(BINDIR)/$(MODULE).a: $(OBJ) | ${DIRS:%=ALL--%}
-	$(AD)$(AR) $(ARFLAGS) $@ $?
-
-
 CXXFLAGS = $(filter-out $(CXXUWFLAGS), $(CFLAGS)) $(CXXEXFLAGS)
 
 # compile and generate dependency info
@@ -72,6 +76,26 @@ $(OBJCXX): $(BINDIR)/$(MODULE)/%.o: %.cpp $(RIOTBUILD_CONFIG_HEADER_C)
 		-DRIOT_FILE_NOPATH=\"$(notdir $<)\" \
 		$(CXXFLAGS) $(INCLUDES) $(CXXINCLUDES) -MD -MP -c -o $@ $(abspath $<)
 
+ifdef CRATE_TYPE
+    include $(RIOTBASE)/Makefile.rust
+endif
+
+ifeq ($(CRATE_TYPE),bin)
+    $(RUSTOBJ): $(RUSTSRC) | $(BINDIR)/$(MODULE)/ ${DIRS:%=ALL--%}
+	$(AD)rustc $(RUSTC_FLAGS) --emit obj -o $@ $?
+    $(BINDIR)/$(MODULE).a: $(RUSTOBJ)
+	$(AD)$(AR) $(ARFLAGS) $@ $?
+else ifeq ($(CRATE_TYPE),lib)
+    $(BINDIR)/$(LIBNAME).rlib: $(RUSTSRC) | $(BINDIR)/$(MODULE)/ ${DIRS:%=ALL--%}
+	$(AD)rustc $(RUSTC_FLAGS) -o $@ $?
+    $(BINDIR)/$(MODULE).a: $(BINDIR)/$(LIBNAME).rlib
+	$(AD)ln -fs $^ $@
+else
+    $(BINDIR)/$(MODULE).a $(OBJ): | $(BINDIR)/$(MODULE)/
+    $(BINDIR)/$(MODULE).a: $(OBJ) | ${DIRS:%=ALL--%}
+	$(AD)$(AR) $(ARFLAGS) $@ $?
+endif
+
 $(ASMOBJ): $(BINDIR)/$(MODULE)/%.o: %.s
 	$(AD)$(AS) $(ASFLAGS) -o $@ $(abspath $<)
 

Makefile.rust

@@ -0,0 +1,37 @@
+# Function to get `lib*` name for a module. This is
+# needed because rustc expects files passed to
+# `--extern` to match the pattern `lib*.rlib`.
+define libname
+$(shell dirname $1)/lib$(shell basename $1)
+endef
+
+# Set module name and library name (see above).
+MODULE ?= $(shell basename $(CURDIR))
+ifeq (lib,$(CRATE_TYPE))
+	LIBNAME = $(call libname,$(MODULE))
+endif
+
+# Set crate metadata in case they aren't set.
+CRATE_TYPE ?= bin
+CRATE_NAME ?= $(shell basename $(MODULE))
+
+# Make our custom targets known to rustc.
+export RUST_TARGET_PATH ?= $(RIOTBASE)/dist/rust
+
+# Set the rust target accordingly.
+ifeq ($(BOARD),native)
+	RUST_TARGET=i586-unknown-linux-gnu
+else
+	RUST_TARGET=$(CPU_ARCH)
+endif
+
+# Flags to pass to the rust compiler.
+RUSTC_FLAGS += --crate-name $(CRATE_NAME) \
+	       --crate-type $(CRATE_TYPE) \
+	       --target $(RUST_TARGET) \
+	       --extern core=$(BINDIR)/libcore.rlib
+
+# Include dependencies in `RUSTC_FLAGS`.
+RUSTMODULE  ?= $(filter rust/%, $(USEMODULE))
+RUSTC_FLAGS += $(foreach dep,$(RUSTMODULE),--extern \
+	$(shell basename $(dep))=$(BINDIR)/$(call libname,$(dep)).rlib)

boards/native/Makefile.features

@@ -13,3 +13,6 @@ FEATURES_PROVIDED += ethernet
 
 # The board MPU family (used for grouping by the CI system)
 FEATURES_MCU_GROUP = x86
+
+# Native rust builds are supported
+FEATURES_PROVIDED += rust_support

cpu/Makefile.include.cortexm_common

@@ -95,6 +95,9 @@ include $(RIOTCPU)/cortexm_common/Makefile.include
 USEMODULE += newlib_nano
 export USE_NANO_SPECS = 1
 
+# all Cortex-M are supported by RIOT's Rust integration
+FEATURES_PROVIDED += rust_support
+
 # Avoid overriding the default rule:
 all:
 

dist/rust/cortex-m0.json

@@ -0,0 +1,13 @@
+{
+    "arch": "arm",
+    "cpu": "cortex-m0",
+    "data-layout": "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64",
+    "executables": true,
+    "llvm-target": "thumbv6m-none-eabi",
+    "no-compiler-rt": true,
+    "os": "none",
+    "pre-link-args": [],
+    "relocation-model": "static",
+    "target-endian": "little",
+    "target-pointer-width": "32"
+}

dist/rust/cortex-m0plus.json

@@ -0,0 +1,13 @@
+{
+    "arch": "arm",
+    "cpu": "cortex-m0plus",
+    "data-layout": "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64",
+    "executables": true,
+    "llvm-target": "thumbv6m-none-eabi",
+    "no-compiler-rt": true,
+    "os": "none",
+    "pre-link-args": [],
+    "relocation-model": "static",
+    "target-endian": "little",
+    "target-pointer-width": "32"
+}

dist/rust/cortex-m1.json

@@ -0,0 +1,13 @@
+{
+    "arch": "arm",
+    "cpu": "cortex-m1",
+    "data-layout": "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64",
+    "executables": true,
+    "llvm-target": "thumbv6m-none-eabi",
+    "no-compiler-rt": true,
+    "os": "none",
+    "pre-link-args": [],
+    "relocation-model": "static",
+    "target-endian": "little",
+    "target-pointer-width": "32"
+}

dist/rust/cortex-m3.json

@@ -0,0 +1,13 @@
+{
+    "arch": "arm",
+    "cpu": "cortex-m3",
+    "data-layout": "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64",
+    "executables": true,
+    "llvm-target": "thumbv7m-none-eabi",
+    "no-compiler-rt": true,
+    "os": "none",
+    "pre-link-args": [],
+    "relocation-model": "static",
+    "target-endian": "little",
+    "target-pointer-width": "32"
+}

dist/rust/cortex-m4.json

@@ -0,0 +1,14 @@
+{
+    "arch": "arm",
+    "cpu": "cortex-m4",
+    "data-layout": "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64",
+    "executables": true,
+    "features": "+soft-float",
+    "llvm-target": "thumbv7em-none-eabi",
+    "no-compiler-rt": true,
+    "os": "none",
+    "pre-link-args": [],
+    "relocation-model": "static",
+    "target-endian": "little",
+    "target-pointer-width": "32"
+}

dist/rust/cortex-m4f.json

@@ -0,0 +1,13 @@
+{
+    "arch": "arm",
+    "cpu": "cortex-m4",
+    "data-layout": "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64",
+    "executables": true,
+    "llvm-target": "thumbv7em-none-eabi",
+    "no-compiler-rt": true,
+    "os": "none",
+    "pre-link-args": [],
+    "relocation-model": "static",
+    "target-endian": "little",
+    "target-pointer-width": "32"
+}

dist/rust/cortex-m7.json

@@ -0,0 +1,14 @@
+{
+    "arch": "arm",
+    "cpu": "cortex-m7",
+    "data-layout": "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64",
+    "executables": true,
+    "features": "+soft-float",
+    "llvm-target": "thumbv7em-none-eabi",
+    "no-compiler-rt": true,
+    "os": "none",
+    "pre-link-args": [],
+    "relocation-model": "static",
+    "target-endian": "little",
+    "target-pointer-width": "32"
+}

dist/rust/cortex-m7f-sp.json

@@ -0,0 +1,14 @@
+{
+    "arch": "arm",
+    "cpu": "cortex-m7",
+    "data-layout": "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64",
+    "executables": true,
+    "features": "+fp-only-sp",
+    "llvm-target": "thumbv7em-none-eabi",
+    "no-compiler-rt": true,
+    "os": "none",
+    "pre-link-args": [],
+    "relocation-model": "static",
+    "target-endian": "little",
+    "target-pointer-width": "32"
+}

dist/rust/cortex-m7f.json

@@ -0,0 +1,13 @@
+{
+    "arch": "arm",
+    "cpu": "cortex-m7",
+    "data-layout": "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64",
+    "executables": true,
+    "llvm-target": "thumbv7em-none-eabi",
+    "no-compiler-rt": true,
+    "os": "none",
+    "pre-link-args": [],
+    "relocation-model": "static",
+    "target-endian": "little",
+    "target-pointer-width": "32"
+}

dist/tools/genconfigheader/genconfigheader.sh

@@ -50,6 +50,8 @@ for arg in "$@"; do
     -D*)
       # Strip leading -D
       d=${arg#-D}
+      # Replace '/' with '_'
+      d=$(echo $d | tr '/' '_')
       if [ -z "${d##*=*}" ]; then
         # key=value pairs
         key=${d%%=*}