Update github actions

.github/workflows/ada.yml

@@ -21,4 +21,6 @@ jobs:
         sudo apt-get install gnat gprbuild libzmq3-dev
 
     - name: Build
-      run: gprbuild -j0 -p
+      run: make
+    - name: Test
+      run: make test

examples/zmq-examples-multi_thread_server.adb

@@ -32,6 +32,7 @@ procedure ZMQ.Examples.Multi_Thread_Server is
    task type Server_Task (Ctx : not null access ZMQ.Contexts.Context;
                           Id  : Integer) is
    end Server_Task;
+   type Server_Task_Access is access all Server_Task;
 
    task body Server_Task is
       Msg : Ada.Strings.Unbounded.Unbounded_String;
@@ -49,7 +50,7 @@ procedure ZMQ.Examples.Multi_Thread_Server is
    Ctx              : aliased ZMQ.Contexts.Context;
 
    Number_Of_Servers : constant := 10;
-   Servers           : array (1 .. Number_Of_Servers) of access Server_Task;
+   Servers           : array (1 .. Number_Of_Servers) of Server_Task_Access;
 
    Workers          : aliased ZMQ.Sockets.Socket;
    Clients          : aliased ZMQ.Sockets.Socket;

zmq.gpr

@@ -31,7 +31,7 @@
 ------------------------------------------------------------------------------
 with "libzmq.gpr";
 project ZMQ is
-   for Languages use ("Ada", "Makefile", "Python");
+   for Languages use ("Ada", "Makefile", "Python", "Toml");
 
    type ZMQ_Kind_Type is ("static", "relocatable");
    ZMQ_Kind : ZMQ_Kind_Type := external ("LIBRARY_TYPE", "static");
@@ -65,8 +65,9 @@ project ZMQ is
    end Builder;
 
    package Compiler is
-      for Driver ("MAkefile") use "";
+      for Driver ("Makefile") use "";
       for Driver ("Python") use "";
+      for Driver ("Toml") use "";
 
       for Default_Switches ("ada") use
         ("-g", "-O2", "-gnatf", "-gnat12", "-gnatwa", "-gnaty");
@@ -90,6 +91,7 @@ project ZMQ is
       for Specification_Exceptions ("Makefile") use ("Makefile");
       for Spec_Suffix ("sed") use ".sed";
       for Body_Suffix ("Python") use ".py";
+      for Body_Suffix ("Toml") use ".toml";
       for Implementation_Exceptions ("Python") use ("configure");
    end Naming;
 end ZMQ;

zmq.ide.py

@@ -34,9 +34,8 @@ def do_load():
                 buffer = inf.read()
                 GPS.parse_xml(buffer)
 
-try:
-    if GPS.zmq_config_is_loaded:
-        pass
-except:
-    GPS.zmq_config_is_loaded = True
+
+if "zmq_config_is_loaded" not in dir(GPS):
     do_load()
+    GPS.zmq_config_is_loaded = True
+