Add Muen component build infrastructure

Signed-off-by: Adrian-Ken Rueegsegger <ken@codelabs.ch>

diff --git a/.gitignore b/.gitignore
index 69f68185465c353a639e79ec6583bfa101e9aa9c..4493555aae07cce743ee2e34611502f18761c93e 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,5 @@
-/proof-allconfigs/
-/build/
-/dest/
-/*.gpr
-/.config
+bin
+lib
+obj
+generated
+.*.swp

diff --git a/Makefile b/Makefile
index 45f47404272b2d936132aa1655eb0b122a95286c..ac51fb1730ce2bb3838e994d6cf81da22f350010 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,5 @@
-name := xhcdbc
+COMPONENT = libxhcidbg
 
-xhcdbc-deplibs := libhw
+COMPONENT_TARGETS = cspecs
 
-libhw-dir ?= ../libhwbase/dest
-include $(libhw-dir)/Makefile
+include ../library_ada.mk

diff --git a/libxhcidbg.gpr b/libxhcidbg.gpr
new file mode 100644 (file)
index 0000000..bc0b049
--- /dev/null
+++ b/libxhcidbg.gpr
@@ -0,0 +1,38 @@
+--
+--  Copyright (C) 2017  secunet Security Networks AG
+--
+--  This program is free software: you can redistribute it and/or modify
+--  it under the terms of the GNU General Public License as published by
+--  the Free Software Foundation, either version 3 of the License, or
+--  (at your option) any later version.
+--
+--  This program is distributed in the hope that it will be useful,
+--  but WITHOUT ANY WARRANTY; without even the implied warranty of
+--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+--  GNU General Public License for more details.
+--
+--  You should have received a copy of the GNU General Public License
+--  along with this program.  If not, see <http://www.gnu.org/licenses/>.
+--
+
+with "../../config/shared";
+with "libhwbase";
+
+library project Libxhcidbg extends "../library_ada" is
+
+   for Languages use ("Ada");
+   for Source_Dirs use ("generated", "src");
+   for Object_Dir use "obj";
+   for Library_Dir use "lib";
+   for Library_Name use "xhcidbg";
+   for Library_Kind use "static";
+
+   Extra_Switches := ("-gnatwH.W", "-gnatyN");
+
+   package Compiler is
+      for Default_Switches ("Ada") use Shared.Spark_Compiler_Switches
+        & Shared.Warning_Switches & Shared.Build_Warning_Switches
+        & Extra_Switches;
+   end Compiler;
+
+end Libxhcidbg;