Skip to content

Commit

Permalink
Convert project to Alire
Browse files Browse the repository at this point in the history
  • Loading branch information
Fabien-Chouteau committed Jan 7, 2021
1 parent 1c4c9a9 commit 0aa4afc
Show file tree
Hide file tree
Showing 4 changed files with 100 additions and 17 deletions.
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,5 @@
lib/*
obj/*
examples/*/obj
alire/
alire.lock
86 changes: 86 additions & 0 deletions ada_lua.gpr
Original file line number Diff line number Diff line change
@@ -0,0 +1,86 @@
project Ada_Lua is

for Library_Name use "Ada_Lua";
for Library_Version use "0.1.0";

for Source_Dirs use ("src");
for Object_Dir use "obj";
for Create_Missing_Dirs use "True";
for Library_Dir use "lib";

type Library_Type_Type is ("relocatable", "static", "static-pic");
Library_Type : Library_Type_Type :=
external ("ADA_LUA_LIBRARY_TYPE", external ("LIBRARY_TYPE", "static"));
for Library_Kind use Library_Type;

type Enabled_Kind is ("enabled", "disabled");
Compile_Checks : Enabled_Kind := External ("ADA_LUA_COMPILE_CHECKS", "disabled");
Runtime_Checks : Enabled_Kind := External ("ADA_LUA_RUNTIME_CHECKS", "disabled");
Style_Checks : Enabled_Kind := External ("ADA_LUA_STYLE_CHECKS", "disabled");
Contracts_Checks : Enabled_Kind := External ("ADA_LUA_CONTRACTS", "disabled");

type Build_Kind is ("debug", "optimize");
Build_Mode : Build_Kind := External ("ADA_LUA_BUILD_MODE", "debug");

Compile_Checks_Switches := ();
case Compile_Checks is
when "enabled" =>
Compile_Checks_Switches :=
("-gnatwa", -- All warnings
"-gnatVa", -- All validity checks
"-gnatwe"); -- Warnings as errors
when others => null;
end case;

Runtime_Checks_Switches := ();
case Runtime_Checks is
when "enabled" => null;
when others =>
Runtime_Checks_Switches :=
("-gnatp"); -- Supress checks
end case;

Style_Checks_Switches := ();
case Style_Checks is
when "enabled" => null;
Style_Checks_Switches :=
("-gnatyg", -- GNAT Style checks
"-gnaty-d", -- Disable no DOS line terminators
"-gnatyM80", -- Maximum line length
"-gnatyO"); -- Overriding subprograms explicitly marked as such
when others => null;
end case;

Contracts_Switches := ();
case Contracts_Checks is
when "enabled" => null;
Contracts_Switches :=
("-gnata"); -- Enable assertions and contracts
when others =>
end case;

Build_Switches := ();
case Build_Mode is
when "optimize" =>
Build_Switches := ("-O2", -- Optimization
"-gnatn"); -- Enable inlining
when "debug" =>
Build_Switches := ("-g", -- Debug info
"-Og"); -- No optimization
end case;

package Compiler is
for Default_Switches ("Ada") use
Compile_Checks_Switches &
Build_Switches &
Runtime_Checks_Switches &
Style_Checks_Switches &
Contracts_Switches &
("-gnatQ"); -- Don't quit. Generate ALI and tree files even if illegalities
end Compiler;

package Binder is
for Switches ("Ada") use ("-Es"); -- Symbolic traceback
end Binder;

end Ada_Lua;
12 changes: 12 additions & 0 deletions alire.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
name = "ada_lua"
description = "An Ada binding for lua"
version = "0.1.0"
authors = ["Nicolas Roche <[email protected]>"]
maintainers = ["Nicolas Roche <[email protected]>"]
maintainers-logins = ["Nikokrock", "Fabien-Chouteau"]
website = "An Ada binding for lua"
licenses = ["GMGPL 3.0"]
tags = ["lua", "binding", "script"]

[[depends-on]]
liblua = "~5.3"
17 changes: 0 additions & 17 deletions lua.gpr

This file was deleted.

0 comments on commit 0aa4afc

Please sign in to comment.