Build ARM elf with libcomponent

ref #97

Author: jklmnn

cement

@@ -94,6 +94,43 @@ def get_component_files(xml_file):
     return (set([c_tag.get("implementation") for c_tag in ET.parse(xml_file).getroot().findall("component")]))
 
 def gpr_compile(config, gneiss_root, build_dir, root_dir, paths, platform, logger, verbose):
+    if platform == "nRF52832":
+        gpr_compile_nrf52832(config, gneiss_root, build_dir, paths, platform, logger, verbose)
+    else:
+        gpr_compile_linux(config, gneiss_root, build_dir, root_dir, paths, platform, logger, verbose)
+
+def gpr_compile_nrf52832(config, gneiss_root, build_dir, paths, platform, logger, verbose):
+    logger.info("Creating project...")
+    project_dir = os.path.join(build_dir, "nRF52832")
+    try:
+        os.mkdir(build_dir)
+        os.mkdir(project_dir)
+    except FileExistsError:
+        pass
+    args = ["-p",
+            "-P", "core",
+            "-XGNEISS_PLATFORM=" + platform,
+            "-XGCC_VERSION=" + get_gcc_version(),
+            "-XGNEISS_ROOT=" + gneiss_root,
+            "-XCEMENT_OBJECT_DIR=" + os.path.join(project_dir, "obj/"),
+            "-XCEMENT_LIB_OBJECT_DIR=" + os.path.join(project_dir, "libobj/"),
+            "-XCEMENT_LIBRARY_DIR=" + os.path.join(project_dir, "lib/"),
+            "-XCEMENT_COMPONENT_DIR=" + os.path.join(project_dir, "libcomponents/"),
+            "--db", os.path.join(gneiss_root, "gprconfig_db"),
+            "-aP", project_dir]
+    for p in paths:
+        args.extend(["-aP", p])
+    with open(os.path.join(project_dir, "core.gpr"), "w") as core_gpr:
+        core_gpr.write("\n".join([f"with \"{c}\";" for c in get_component_files(config)]))
+        core_gpr.write("\n\n")
+        with open(os.path.join(gneiss_root, f"src/core/{platform}/core.gpr"), "r") as core_template:
+            core_gpr.write(core_template.read())
+    for step in ["prepare", "compile"]:
+        args += ["-XCEMENT_BUILD_STEP=" + step]
+        logger.debug("gprbuild " + " ".join(args))
+        gprbuild(args)
+
+def gpr_compile_linux(config, gneiss_root, build_dir, root_dir, paths, platform, logger, verbose):
     logger.info("Compiling...")
     components = get_component_files(config)
     logger.info("Preparing init...")

src/core/nRF52832/core.gpr

@@ -35,7 +35,8 @@ project Core is
    end Compiler;
 
    package Linker is
-      for Default_Switches ("Ada") use ("-Wl,--gc-sections", "-Wl,--print-memory-usage", "-T", "link.ld");
+      for Default_Switches ("Ada") use ("-Wl,--gc-sections", "-Wl,--print-memory-usage", "-T",
+                                        Gneiss_Root & "/src/core/nRF52832/link.ld");
    end Linker;
 
    package Binder is

test/empty.gpr

@@ -0,0 +1,25 @@
+
+project Empty extends "gneiss_component" is
+
+   Src_Dirs := ("empty");
+
+   case Build_Step is
+      when "compile" =>
+         for Runtime ("Ada") use Gneiss_Runtime;
+         for Source_Dirs use Src_Dirs;
+         for Object_Dir use external ("CEMENT_OBJECT_DIR");
+         for Library_Name use Gneiss_Component_Prefix & "empty";
+         case Platform is
+            when "nRF52832" =>
+               for Library_Kind use "static";
+            when others =>
+               for Library_Kind use "dynamic";
+               for Library_Standalone use "encapsulated";
+               for Library_Interface use ("component");
+         end case;
+         for Library_Dir use external ("CEMENT_COMPONENT_DIR");
+      when others =>
+         for Languages use ();
+   end case;
+
+end Empty;

test/empty/empty-component.adb

@@ -0,0 +1,22 @@
+
+package body Empty.Component with
+   SPARK_Mode
+is
+
+   I : Integer;
+
+   procedure Construct (Capability : Gneiss.Capability)
+   is
+   begin
+      null;
+   end Construct;
+
+   procedure Destruct
+   is
+   begin
+      null;
+   end Destruct;
+
+begin
+   I := 42;
+end Empty.Component;

test/empty/empty-component.ads

@@ -0,0 +1,15 @@
+
+with Gneiss;
+with Gneiss.Component;
+
+package Empty.Component with
+   SPARK_Mode
+is
+
+   procedure Construct (Capability : Gneiss.Capability);
+
+   procedure Destruct;
+
+   package Main is new Gneiss.Component (Construct, Destruct);
+
+end Empty.Component;

test/empty/empty.ads

@@ -0,0 +1,4 @@
+
+package Empty is
+   
+end Empty;

test/empty/empty.xml

@@ -0,0 +1,3 @@
+<config>
+    <component name="empty" implementation="empty"/>
+</config>