From 1bd0c44fca6abb9d881b420b951ccac284a2c6cb Mon Sep 17 00:00:00 2001
From: Clyne Sullivan <clyne@bitgloo.com>
Date: Sat, 11 Jan 2025 17:21:48 -0500
Subject: fix build file naming
---
config/adachip_config.ads | 20 ------------------
config/adachip_config.gpr | 52 -----------------------------------------------
config/adachip_config.h | 20 ------------------
3 files changed, 92 deletions(-)
delete mode 100644 config/adachip_config.ads
delete mode 100644 config/adachip_config.gpr
delete mode 100644 config/adachip_config.h
(limited to 'config')
diff --git a/config/adachip_config.ads b/config/adachip_config.ads
deleted file mode 100644
index 1949cad..0000000
--- a/config/adachip_config.ads
+++ /dev/null
@@ -1,20 +0,0 @@
--- 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
deleted file mode 100644
index adaade1..0000000
--- a/config/adachip_config.gpr
+++ /dev/null
@@ -1,52 +0,0 @@
--- 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
deleted file mode 100644
index 1c5495e..0000000
--- a/config/adachip_config.h
+++ /dev/null
@@ -1,20 +0,0 @@
-/* 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