From 68e9182483c2039b7b10b65156c8a49ee7b3b95f Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Thu, 8 Mar 2018 00:25:43 +0100 Subject: [PATCH] + ada_lua --- index/alire-index-ada_lua.ads | 36 +++++++++++++++++++++++++++++ index/alire-index-template.ads | 7 ++++-- index/native/alire-index-liblua.ads | 13 +++++++++++ 3 files changed, 54 insertions(+), 2 deletions(-) create mode 100644 index/alire-index-ada_lua.ads create mode 100644 index/native/alire-index-liblua.ads diff --git a/index/alire-index-ada_lua.ads b/index/alire-index-ada_lua.ads new file mode 100644 index 00000000..00d61ec3 --- /dev/null +++ b/index/alire-index-ada_lua.ads @@ -0,0 +1,36 @@ +with Alire.Index.Liblua; + +package Alire.Index.Ada_Lua is + + Prj_Name : constant Project_Name := "ada_lua"; + Prj_Desc : constant Project_Description := "An Ada binding for Lua"; + Prj_Repo : constant URL := "https://github.com/alire-project/ada-lua.git"; + + Prj_Maintainer : constant String := "AdaCore"; + Prj_Website : constant URL := "https://github.com/AdaCore/ada-lua"; + + V_0_0_0 : constant Release := + Register (Prj_Name, + V ("0.0.0-5.3"), + Prj_Desc, + Git (Prj_Repo, "ba2fcbf9f8d54d3f6362f20523deb4371371f658"), + + Dependencies => + Within_Major (Liblua.V_5_3), + + Properties => + Project_File ("lua.gpr") and + + Executable ("main") and + + Maintainer (Prj_Maintainer) and + Website (Prj_Website) and + License (GPL_3_0), + + Private_Properties => + GPR_File ("lua.gpr") and + GPR_File ("examples/example1/example1.gpr") and + GPR_File ("examples/example2/example2.gpr") + ); + +end Alire.Index.Ada_Lua; diff --git a/index/alire-index-template.ads b/index/alire-index-template.ads index 969f9048..3200b932 100644 --- a/index/alire-index-template.ads +++ b/index/alire-index-template.ads @@ -16,14 +16,17 @@ package Alire.Index.Template is -- Prj_Desc, -- Git (Prj_Repo, "commit"), -- Properties => --- GPR_File ("") and +-- Project_File ("") and -- -- Executable ("main") and -- -- Author (Prj_Author) and -- Maintainer (Prj_Maintainer) and -- Website (Prj_Website) and --- License (GMGPL_2_0) +-- License (GMGPL_2_0), +-- +-- Private_Properties => +-- GPR_File ("/") -- ); end Alire.Index.Template; diff --git a/index/native/alire-index-liblua.ads b/index/native/alire-index-liblua.ads new file mode 100644 index 00000000..aaf3f363 --- /dev/null +++ b/index/native/alire-index-liblua.ads @@ -0,0 +1,13 @@ +package Alire.Index.Liblua is + + Name : constant String := "liblua"; + Desc : constant String := "Development files for the Lua language"; + + V_5_3 : constant Release := + Register (Name, + V ("5.3"), + Desc, + Native ((Debian | Ubuntu => Packaged_As ("liblua5.3-dev"), + others => Unavailable))); + +end Alire.Index.Liblua;