init

alire.toml

@@ -0,0 +1,10 @@
+name = "grl"
+description = "Spark verified Geo and Routing Library (GRL)"
+version = "0.1.0-dev"
+
+authors = ["Nina Reiss"]
+maintainers = ["Nina Reiss <nina.reiss@nickr.eu>"]
+maintainers-logins = ["nichkara"]
+licenses = "MIT"
+website = ""
+tags = ["routing", "geo", "coordinates", "geography", "graph", "pathfinding", "spark"]

grl.gpr

@@ -0,0 +1,29 @@
+with "config/grl_config.gpr";
+project Grl is
+
+   for Library_Name use "Grl";
+   for Library_Version use Project'Library_Name & ".so." & Grl_Config.Crate_Version;
+
+   for Source_Dirs use ("src/", "config/");
+   for Object_Dir use "obj/" & Grl_Config.Build_Profile;
+   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 ("GRL_LIBRARY_TYPE", external ("LIBRARY_TYPE", "static"));
+   for Library_Kind use Library_Type;
+
+   package Compiler is
+      for Default_Switches ("Ada") use Grl_Config.Ada_Compiler_Switches;
+   end Compiler;
+
+   package Binder is
+      for Switches ("Ada") use ("-Es"); --  Symbolic traceback
+   end Binder;
+
+   package Install is
+      for Artifacts (".") use ("share");
+   end Install;
+
+end Grl;

src/grl.ads

@@ -0,0 +1,3 @@
+package Grl is
+
+end Grl;