-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
91fdeb6
commit 453bf84
Showing
5 changed files
with
90 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,20 @@ | ||
-- Configuration for erina generated by Alire | ||
pragma Restrictions (No_Elaboration_Code); | ||
pragma Style_Checks (Off); | ||
|
||
package Erina_Config is | ||
pragma Pure; | ||
|
||
Crate_Version : constant String := "0.1.0-dev"; | ||
Crate_Name : constant String := "erina"; | ||
|
||
Alire_Host_OS : constant String := "linux"; | ||
|
||
Alire_Host_Arch : constant String := "x86_64"; | ||
|
||
Alire_Host_Distro : constant String := "ubuntu"; | ||
|
||
type Build_Profile_Kind is (release, validation, development); | ||
Build_Profile : constant Build_Profile_Kind := development; | ||
|
||
end Erina_Config; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,49 @@ | ||
-- Configuration for erina generated by Alire | ||
abstract project Erina_Config is | ||
Crate_Version := "0.1.0-dev"; | ||
Crate_Name := "erina"; | ||
|
||
Alire_Host_OS := "linux"; | ||
|
||
Alire_Host_Arch := "x86_64"; | ||
|
||
Alire_Host_Distro := "ubuntu"; | ||
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 | ||
); | ||
|
||
type Build_Profile_Kind is ("release", "validation", "development"); | ||
Build_Profile : Build_Profile_Kind := "development"; | ||
|
||
end Erina_Config; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,20 @@ | ||
/* Configuration for erina generated by Alire */ | ||
#ifndef ERINA_CONFIG_H | ||
#define ERINA_CONFIG_H | ||
|
||
#define CRATE_VERSION "0.1.0-dev" | ||
#define CRATE_NAME "erina" | ||
|
||
#define ALIRE_HOST_OS "linux" | ||
|
||
#define ALIRE_HOST_ARCH "x86_64" | ||
|
||
#define ALIRE_HOST_DISTRO "ubuntu" | ||
|
||
#define BUILD_PROFILE_RELEASE 1 | ||
#define BUILD_PROFILE_VALIDATION 2 | ||
#define BUILD_PROFILE_DEVELOPMENT 3 | ||
|
||
#define BUILD_PROFILE 3 | ||
|
||
#endif |
File renamed without changes.