aboutsummaryrefslogtreecommitdiffstats
path: root/config/ada_chip_config.ads
diff options
context:
space:
mode:
Diffstat (limited to 'config/ada_chip_config.ads')
-rw-r--r--config/ada_chip_config.ads20
1 files changed, 20 insertions, 0 deletions
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;