From 8fa66b024f91e47d8b5273e8c85ec5f60fe42d5b Mon Sep 17 00:00:00 2001 From: Clyne Sullivan Date: Sat, 11 Jan 2025 12:14:28 -0500 Subject: initial upload --- config/ada_chip_config.ads | 20 ++++++++++++++++++ config/ada_chip_config.gpr | 51 +++++++++++++++++++++++++++++++++++++++++++++ config/ada_chip_config.h | 20 ++++++++++++++++++ config/adachip_config.ads | 20 ++++++++++++++++++ config/adachip_config.gpr | 52 ++++++++++++++++++++++++++++++++++++++++++++++ config/adachip_config.h | 20 ++++++++++++++++++ 6 files changed, 183 insertions(+) create mode 100644 config/ada_chip_config.ads create mode 100644 config/ada_chip_config.gpr create mode 100644 config/ada_chip_config.h create mode 100644 config/adachip_config.ads create mode 100644 config/adachip_config.gpr create mode 100644 config/adachip_config.h (limited to 'config') diff --git a/config/ada_chip_config.ads b/config/ada_chip_config.ads new file mode 100644 index 0000000..625aeb8 --- /dev/null +++ b/config/ada_chip_config.ads @@ -0,0 +1,20 @@ +-- Configuration for ada_chip generated by Alire +pragma Restrictions (No_Elaboration_Code); +pragma Style_Checks (Off); + +package Ada_Chip_Config is + pragma Pure; + + Crate_Version : constant String := "0.1.0-dev"; + Crate_Name : constant String := "ada_chip"; + + Alire_Host_OS : constant String := "linux"; + + Alire_Host_Arch : constant String := "x86_64"; + + Alire_Host_Distro : constant String := "debian"; + + type Build_Profile_Kind is (release, validation, development); + Build_Profile : constant Build_Profile_Kind := development; + +end Ada_Chip_Config; diff --git a/config/ada_chip_config.gpr b/config/ada_chip_config.gpr new file mode 100644 index 0000000..58d9276 --- /dev/null +++ b/config/ada_chip_config.gpr @@ -0,0 +1,51 @@ +-- Configuration for ada_chip generated by Alire +with "asfml.gpr"; +abstract project Ada_Chip_Config is + Crate_Version := "0.1.0-dev"; + Crate_Name := "ada_chip"; + + Alire_Host_OS := "linux"; + + Alire_Host_Arch := "x86_64"; + + Alire_Host_Distro := "debian"; + Ada_Compiler_Switches := External_As_List ("ADAFLAGS", " "); + Ada_Compiler_Switches := Ada_Compiler_Switches & + ( + "-Og" -- Optimize for debug + ,"-ffunction-sections" -- Separate ELF section for each function + ,"-fdata-sections" -- Separate ELF section for each variable + ,"-g" -- Generate debug info + ,"-gnatwa" -- Enable all warnings + ,"-gnatw.X" -- Disable warnings for No_Exception_Propagation + ,"-gnatVa" -- All validity checks + ,"-gnaty3" -- Specify indentation level of 3 + ,"-gnatya" -- Check attribute casing + ,"-gnatyA" -- Use of array index numbers in array attributes + ,"-gnatyB" -- Check Boolean operators + ,"-gnatyb" -- Blanks not allowed at statement end + ,"-gnatyc" -- Check comments + ,"-gnaty-d" -- Disable check no DOS line terminators present + ,"-gnatye" -- Check end/exit labels + ,"-gnatyf" -- No form feeds or vertical tabs + ,"-gnatyh" -- No horizontal tabs + ,"-gnatyi" -- Check if-then layout + ,"-gnatyI" -- check mode IN keywords + ,"-gnatyk" -- Check keyword casing + ,"-gnatyl" -- Check layout + ,"-gnatym" -- Check maximum line length + ,"-gnatyn" -- Check casing of entities in Standard + ,"-gnatyO" -- Check that overriding subprograms are explicitly marked as such + ,"-gnatyp" -- Check pragma casing + ,"-gnatyr" -- Check identifier references casing + ,"-gnatyS" -- Check no statements after THEN/ELSE + ,"-gnatyt" -- Check token spacing + ,"-gnatyu" -- Check unnecessary blank lines + ,"-gnatyx" -- Check extra parentheses + ,"-gnatW8" -- UTF-8 encoding for wide characters + ); + + type Build_Profile_Kind is ("release", "validation", "development"); + Build_Profile : Build_Profile_Kind := "development"; + +end Ada_Chip_Config; diff --git a/config/ada_chip_config.h b/config/ada_chip_config.h new file mode 100644 index 0000000..c0a1fa9 --- /dev/null +++ b/config/ada_chip_config.h @@ -0,0 +1,20 @@ +/* Configuration for ada_chip generated by Alire */ +#ifndef ADA_CHIP_CONFIG_H +#define ADA_CHIP_CONFIG_H + +#define CRATE_VERSION "0.1.0-dev" +#define CRATE_NAME "ada_chip" + +#define ALIRE_HOST_OS "linux" + +#define ALIRE_HOST_ARCH "x86_64" + +#define ALIRE_HOST_DISTRO "debian" + +#define BUILD_PROFILE_RELEASE 1 +#define BUILD_PROFILE_VALIDATION 2 +#define BUILD_PROFILE_DEVELOPMENT 3 + +#define BUILD_PROFILE 3 + +#endif diff --git a/config/adachip_config.ads b/config/adachip_config.ads new file mode 100644 index 0000000..1949cad --- /dev/null +++ b/config/adachip_config.ads @@ -0,0 +1,20 @@ +-- Configuration for adachip generated by Alire +pragma Restrictions (No_Elaboration_Code); +pragma Style_Checks (Off); + +package Adachip_Config is + pragma Pure; + + Crate_Version : constant String := "0.1.0-dev"; + Crate_Name : constant String := "adachip"; + + Alire_Host_OS : constant String := "linux"; + + Alire_Host_Arch : constant String := "x86_64"; + + Alire_Host_Distro : constant String := "debian"; + + type Build_Profile_Kind is (release, validation, development); + Build_Profile : constant Build_Profile_Kind := development; + +end Adachip_Config; diff --git a/config/adachip_config.gpr b/config/adachip_config.gpr new file mode 100644 index 0000000..adaade1 --- /dev/null +++ b/config/adachip_config.gpr @@ -0,0 +1,52 @@ +-- Configuration for adachip generated by Alire +with "asfml.gpr"; +abstract project Adachip_Config is + Crate_Version := "0.1.0-dev"; + Crate_Name := "adachip"; + + Alire_Host_OS := "linux"; + + Alire_Host_Arch := "x86_64"; + + Alire_Host_Distro := "debian"; + Ada_Compiler_Switches := External_As_List ("ADAFLAGS", " "); + Ada_Compiler_Switches := Ada_Compiler_Switches & + ( + "-Og" + ,"-gnat2022" + ,"-ffunction-sections" -- Separate ELF section for each function + ,"-fdata-sections" -- Separate ELF section for each variable + ,"-g" -- Generate debug info + ,"-gnatwa" -- Enable all warnings + ,"-gnatw.X" -- Disable warnings for No_Exception_Propagation + ,"-gnatVa" -- All validity checks + ,"-gnaty3" -- Specify indentation level of 3 + ,"-gnatya" -- Check attribute casing + ,"-gnatyA" -- Use of array index numbers in array attributes + ,"-gnatyB" -- Check Boolean operators + ,"-gnatyb" -- Blanks not allowed at statement end + ,"-gnatyc" -- Check comments + ,"-gnaty-d" -- Disable check no DOS line terminators present + ,"-gnatye" -- Check end/exit labels + ,"-gnatyf" -- No form feeds or vertical tabs + ,"-gnatyh" -- No horizontal tabs + ,"-gnatyi" -- Check if-then layout + ,"-gnatyI" -- check mode IN keywords + ,"-gnatyk" -- Check keyword casing + ,"-gnatyl" -- Check layout + ,"-gnatym" -- Check maximum line length + ,"-gnatyn" -- Check casing of entities in Standard + ,"-gnatyO" -- Check that overriding subprograms are explicitly marked as such + ,"-gnatyp" -- Check pragma casing + ,"-gnatyr" -- Check identifier references casing + ,"-gnatyS" -- Check no statements after THEN/ELSE + ,"-gnatyt" -- Check token spacing + ,"-gnatyu" -- Check unnecessary blank lines + ,"-gnatyx" -- Check extra parentheses + ,"-gnatW8" -- UTF-8 encoding for wide characters + ); + + type Build_Profile_Kind is ("release", "validation", "development"); + Build_Profile : Build_Profile_Kind := "development"; + +end Adachip_Config; diff --git a/config/adachip_config.h b/config/adachip_config.h new file mode 100644 index 0000000..1c5495e --- /dev/null +++ b/config/adachip_config.h @@ -0,0 +1,20 @@ +/* Configuration for adachip generated by Alire */ +#ifndef ADACHIP_CONFIG_H +#define ADACHIP_CONFIG_H + +#define CRATE_VERSION "0.1.0-dev" +#define CRATE_NAME "adachip" + +#define ALIRE_HOST_OS "linux" + +#define ALIRE_HOST_ARCH "x86_64" + +#define ALIRE_HOST_DISTRO "debian" + +#define BUILD_PROFILE_RELEASE 1 +#define BUILD_PROFILE_VALIDATION 2 +#define BUILD_PROFILE_DEVELOPMENT 3 + +#define BUILD_PROFILE 3 + +#endif -- cgit v1.2.3