From f30976816183e93e3cb8aa64ffaf6159ba91a256 Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Fri, 5 May 2017 18:55:21 +0200 Subject: [PATCH] Add Muen component build infrastructure Signed-off-by: Adrian-Ken Rueegsegger --- .gitignore | 10 +++++----- Makefile | 7 +++---- libxhcidbg.gpr | 38 ++++++++++++++++++++++++++++++++++++++ 3 files changed, 46 insertions(+), 9 deletions(-) create mode 100644 libxhcidbg.gpr diff --git a/.gitignore b/.gitignore index 69f6818..4493555 100644 --- 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 45f4740..ac51fb1 100644 --- 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 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 . +-- + +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; -- 2.30.2