add list CI test

dhrun/all-tests.dh

@@ -15,17 +15,9 @@
   
   let idCmd = let id = λ(a : Type) → λ(x : a) → x in id types.Cmd
   
-  let makeExtended =
-          λ(daemonArg : argotypes.MkDaemon)
-        → λ(daemonOverrides : types.Cmd → types.Cmd)
-        → λ(runArg : argotypes.MkRun)
-        → λ(runOverrides : types.Cmd → types.Cmd)
-        → λ(extraCmds : List types.Cmd)
-        →   { cmds =
-                  [ daemonOverrides (argo.nrmd.mk daemonArg)
-                  , runOverrides (argo.run.mk runArg)
-                  ]
-                # extraCmds
+  let dhrunTemplate =
+          { cmds =
+              [] : List types.Cmd
           , verbose =
               True
           , cleaning =
@@ -39,6 +31,20 @@
           }
         : types.Config
   
+  let makeExtended =
+          λ(daemonArg : argotypes.MkDaemon)
+        → λ(daemonOverrides : types.Cmd → types.Cmd)
+        → λ(runArg : argotypes.MkRun)
+        → λ(runOverrides : types.Cmd → types.Cmd)
+        → λ(extraCmds : List types.Cmd)
+        →   dhrunTemplate
+          ⫽ { cmds =
+                  [ daemonOverrides (argo.nrmd.mk daemonArg)
+                  , runOverrides (argo.run.mk runArg)
+                  ]
+                # extraCmds
+            }
+  
   let manifests =
         { basic =
             manifestDir ++ "basic.yml"
@@ -117,7 +123,9 @@
   
   let singularityRun = mkrun manifests.singularity
   
-  in  { run =
+  in  { list =
+          dhrunTemplate ⫽ { cmds = [ argo.nrmd.default, argo.listen.default ] }
+      , run =
           withDaemonNoExtras (basicRun "true") idCmd
       , pwd =
           let somedir = "toto"

dhrun/argolib/list.dh

+let types = ../dhrunlib/types.dh
+
+let basicCommand = ./basicCommand.dh
+
+let list =
+          basicCommand
+          { name =
+              "nrm"
+          , outprefix =
+              "nrmlist"
+          , outavoids =
+              [] : List Text
+          , outwants =
+              [] : List Text
+          }
+        ⫽ { args = [ "list" ] }
+      : types.Cmd
+
+in  { default = list : types.Cmd }

dhrun/argolib/package.dh

-{basic = ./basicCommand.dh, nrmd = ./nrmd.dh, run = ./run.dh, listen = ./listen.dh }
+{ basic =
+    ./basicCommand.dh
+, nrmd =
+    ./nrmd.dh
+, run =
+    ./run.dh
+, listen =
+    ./listen.dh
+, list =
+    ./list.dh
+}

gitlab-ci/integration.yml

@@ -30,6 +30,11 @@ testHello:
   script:
     - "argonix test hello --argopkgs $ARGOPKGS $EXTRA --verbose"
 
+testHello:
+  extends: .test
+  script:
+    - "argonix test list --argopkgs $ARGOPKGS $EXTRA --verbose"
+
 testListen:
   extends: .test
   script: