Issues with Cmdliner 1.1.0, revert to 1.0.4.

OCamlPro · Feb 15, 2022 · d25b3d9 · d25b3d9
1 parent 33c1abd
commit d25b3d9
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 7 deletions.
diff --git a/.github/workflows/build_make.yml b/.github/workflows/build_make.yml
@@ -56,9 +56,6 @@ jobs:
       - name: opam install deps
         run: opam install ./*.opam --deps-only
 
-      - name: test
-        run: opam list
-
       # make use `dune build` which update .opam file if the dune-project is updated
       - name: Make
         run: opam exec -- make

diff --git a/alt-ergo.opam b/alt-ergo.opam
@@ -17,7 +17,7 @@ depends: [
   "alt-ergo-lib" {= version}
   "alt-ergo-parsers" {= version}
   "menhir"
-  "cmdliner"
+  "cmdliner" {= "1.0.4"}
   "odoc" {with-doc}
 ]
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"

diff --git a/altgr-ergo.opam b/altgr-ergo.opam
@@ -20,7 +20,7 @@ depends: [
   "alt-ergo-parsers" {= version}
   "lablgtk"
   "conf-gtksourceview"
-  "cmdliner"
+  "cmdliner" {= "1.0.4"}
   "odoc" {with-doc}
 ]
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"

diff --git a/dune-project b/dune-project
@@ -29,7 +29,7 @@ See more details on https://alt-ergo.ocamlpro.com/")
   (alt-ergo-lib (= :version))
   (alt-ergo-parsers (= :version))
    menhir
-   cmdliner
+   (cmdliner (= 1.0.4))
   (odoc :with-doc)
   )
 )
@@ -55,7 +55,7 @@ See more details on https://alt-ergo.ocamlpro.com/"
   (alt-ergo-parsers (= :version))
   lablgtk
   conf-gtksourceview
-  cmdliner
+  (cmdliner (= 1.0.4)) 
   (odoc :with-doc)
 )
 )