diff options
author | Clyne Sullivan <clyne@bitgloo.com> | 2025-01-11 12:14:28 -0500 |
---|---|---|
committer | Clyne Sullivan <clyne@bitgloo.com> | 2025-01-11 12:14:28 -0500 |
commit | 8fa66b024f91e47d8b5273e8c85ec5f60fe42d5b (patch) | |
tree | 1e3da4ec5bdfbbcb36ebd30ab9c055c45f50f279 /config/ada_chip_config.ads | |
parent | cf8c3a51cb01b64ad2bc700fdd2b4906ef864877 (diff) |
initial upload
Diffstat (limited to 'config/ada_chip_config.ads')
-rw-r--r-- | config/ada_chip_config.ads | 20 |
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; |